int(*T::*)(long)的真正类型是什么？
这是示例代码：
typedef int (T::*t1)(long);
typedef int (*T::*t2)(long);
t1 p1 = NULL;
t2 p2 = NULL;
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;
我很好奇，t2的真正类型是什么？我如何使用t2？
回答
消除语法中的指针成员位（通过应用螺旋规则启发式），一个特定的类型脱颖而出：
int (* /* T::*t2 */)(long)-> int (*)(long).
所以t2是一个指向的成员T，它本身就是一个指向免费功能。
int bar(long) { return 0; }
struct T
{
int (*func) (long) = &bar;
};
t2 p2 = &T::func;
