C++，函数指针和成员函数指针之间的等价性？

Question

我习惯于认为成员函数只是普通函数的特例，其中成员函数在其参数列表的开头有一个额外的参数用于“this”指针，即成员函数应该起作用。我过去以这种方式使用过 boost::function 并且从未遇到过任何问题:

boost::function f<(void)(MyObject*, int, int)> = &MyObject::method_that_takes_two_ints;

但我见过成员函数指针的这种语法:

void (MyObject::*f)( int, int ) = &MyObject::method_that_takes_two_ints;

在此语法中，“this”参数不可见。这让我想知道在引擎盖下指向成员函数的指针是否真的是一个单独的野兽，而这种 boost 正在为我处理细节。

标准对“this”参数的放置有何规定？也许只是在我的编译器上额外的“this”参数排在第一位，也许在其他编译器上它可能在最后？我只是很幸运，我的思维方式与我的编译器(GCC4、VS2005)处理它的方式一致吗？指向成员函数的指针是否始终只是带有额外参数的指向函数指针的特例，还是编译器可以以不同的方式实现它们？

Answer 1

标准几乎没有说明 this 指针应该放在哪里，事实上，对成员函数使用不同的调用约定是相当普遍的。 (所以“this”指针不仅仅是一个额外的第一个参数，它实际上存储在与第一个参数通常不同的位置)

特别是，MSVC 对成员函数使用 thiscall 调用约定，在其他地方使用 stdcall。 http://www.hackcraft.net/cpp/MSCallingConventions/#thiscall描述了它们之间的区别，但是注意thiscall将this指针存储在ECX寄存器中，而stdcall存储堆栈上的所有参数。

您最好将它们视为完全不同的类型。指向成员函数的指针不只是指向带有额外参数的函数的指针。