变态的C++函数指针

考虑一下在一个文件中只有下面的一段代码，这段代码是合法的:

class SomeClass;
typedef void (SomeClass::* SomeClassFunction)(void);
void Invoke(SomeClass *pClass, SomeClassFunction funcptr) 
{
  (pClass->*funcptr)(); 
};

注意到编译器必须生成汇编代码来调用成员函数指针，其实编译器对SomeClass类一无所知。显然，除非链接器进行了一些极端精细的优化措施，否则代码会忽视类的实际定义而能够正确地运行。而这造成的直接后果是，你可以安全地调用从完全不同的其他类中转换过来的成员函数指针。