是否存在绝对需要typedef的情况？

Question

请考虑安全bool习语的以下摘录:

typedef void (Testable::*bool_type)() const;
operator bool_type() const;

是否可以在没有typedef的情况下声明转换函数？以下内容无法编译:

operator (void (Testable::*)() const)() const;

Answer 1

啊,我只记得identity元功能.可以写

operator typename identity<void (Testable::*)() const>::type() const;

具有以下定义identity:

template <typename T>
struct identity
{
    typedef T type;
};

你可以说identity仍然使用a typedef,但这个解决方案对我来说足够"好".