c++ - int (*T::*)(long) 的真正类型是什么？

Question

这是示例代码:

typedef int (T::*t1)(long);
typedef int (*T::*t2)(long);

t1 p1 = NULL;
t2 p2 = NULL;

类型 t2 get's extra * (错误地)，但此代码编译并运行正常。
但是当 t2 不是 NULL 时，它会出错:

struct T
{
    int func(long)   {return 0;}
};
t2 p2 = &T::func;

error: cannot convert ‘int (T::*)(long int)’ to ‘t2’ {aka ‘int (* T::*)(long int)’} in initialization

我很好奇，t2的真正类型是什么？
我如何使用t2？

Answer 1

消除指向成员的指针位语法(通过应用螺旋规则启发式)，并突出特定类型:int (* /* T::*t2 */)(long) -> int (*)(long) .
所以t2是指向 T 成员的指针，它本身就是一个指向自由函数的指针。

int bar(long) { return 0; }

struct T
{
    int (*func) (long) = &bar;
};
t2 p2 = &T::func;