Question

假设我们有一个A类

class A;

和这些typedef

typedef void (A::*a_func_ptr)(void);
typedef void (*func_ptr)(void);

我的问题是为什么sizeof（a_func_ptr）返回16，而sizeof（func_ptr）返回4（对于x86系统上的任何指针）？

例如

int main(int argc, char *argv[])
{
  int a = sizeof(a_func_ptr);
  int b = sizeof(func_ptr);
}

Answer 1

我的问题是为什么sizeof（a_func_ptr）返回16，而sizeof（func_ptr）返回4（对于x86系统上的任何指针）？

因为指向成员的指针的实现方式不同。他们在引擎盖下是不是指针。某些编译器（如MSVC）将它们实现为struct，其中包含多个成员。

阅读这篇有趣的文章：

Pointers to member functions are very strange animals

请注意，在某些编译器中，它们可能具有相同的大小。底线是：它们依赖于编译器。

Answer 2

请考虑以下事项：

#include <iostream>

class A {
public:
    virtual void foo(){ std::cout << "A::foo" << std::endl; }
    void bar(){ std::cout << "A::bar" << std::endl; }
};

class B : public A {
public:
     void foo(){  std::cout << "B::foo" << std::endl; }
     void bar(){ std::cout << "B::bar" << std::endl; }
};

typedef void (A::*a_func_ptr)(void);

int main() {
   a_func_ptr f = &A::foo;
   a_func_ptr g = &A::bar;
   B b;
   A a;
   (b.*f)();
   (b.*g)();
   (a.*f)();
   (a.*g)();
}

输出：