运算符member_function_pointer_type()没有typedef？

Question

是否可以在operator member_function_pointer_type()不使用typedef 的情况下(即通过指定内联的成员函数指针的类型)？

例如,在实施Safe Bool Idiom时:

class Foo
{
    typedef void (Foo::*bool_type)() const;
public:
    operator bool_type() const;
};

bool_type在声明运算符时是否可以直接写出类型？如果是这样,怎么样？

Answer 1

似乎这是唯一一种在operator不使用 a 的情况下无法声明 a （类型转换）的情况typedef。

如果它是另一个函数名称或另一个operator x，那么它可以正常工作：

class Foo 
{
    typedef void (Foo::*bool_type)() const;
public:
    operator bool_type() const;

// other syntax
    void (Foo::* some_func () const) () const;  // ok! named function
    void (Foo::* operator * () const) () const;  // ok! operator *
    void (Foo::* operator () const) () const;  // error! typecasting operator
};

演示。