为什么一个指向函数的大小是一个指向成员函数的大小不同？(Why the size of a poin

不是指针只是一个地址？或者我失去了一些东西？

我有几个类型的指针测试：

指针的变量是相同的（8B我的平台上）
函数指针具有相同的尺寸，因为指针变量（8B再次）
指针具有不同参数的函数 - 仍然是相同的（图8B）

但指向成员函数是更大的 - 我的平台上16B。

三件事：

为什么指针成员函数更大？他们需要哪些信息？
据我所知，标准只字未提指针的大小，除了 void*必须能够“包含”任何指针类型。换句话说，任何指针必须能够被强制转换为void* ，对不对？如果是这样，那么，为什么sizeof( void* )为8个，而sizeof指针成员函数是16？
是否还有其他的例子为指针，与不同大小（我的意思是，对于标准的平台，而不是一些罕见和特殊的）？

Answer 1:

编辑：所以我发现我还是在这个月获得选票后，即使我原来的答复是坏的和误导性的（我甚至不能记得我当时想，这不会使一个很大的意义！），所以我想我会尝试和澄清的情况下，人们仍然必须通过搜索到达这里。

在最正常的情况下，你几乎可以想到的

struct A {
    int i;
    int foo() { return i; }
};

A a;
a.foo();

如

struct A {
    int i;
};
int A_foo( A* this ) { return this->i; };

A a;
A_foo(&a);

（开始看起来像C吧？）所以，你会觉得指针&A::foo也只是同一个正常的函数指针。但也有一对夫妇的并发症：多重继承和虚拟功能。

所以，想象一下，我们有：

struct A {int a;};
struct B {int b;};
struct C : A, B {int c;};

这可能是布局是这样的：

正如你所看到的，如果你想指向与对象A*或C* ，你点开始，但如果你想指向其与B*您必须在中间的某个点。

所以，如果C继承了一些成员函数B ，你想指向它，然后调用一个函数C* ，它需要知道洗牌this指针。这些信息需要存储在某个地方。因此，它被与函数指针集中英寸

现在对每一个有类virtual函数，编译器创建它们的列表称为虚拟表 。然后，它增加了一个额外的指针此表到类（vptr的 ）。因此，对于这个类的结构：

struct A
{
    int a;
    virtual void foo(){};
};
struct B : A
{
    int b;
    virtual void foo(){};
    virtual void bar(){};
};

编译器可能会最终作出这样的：

所以一个成员函数指针到一个虚拟函数实际上需要是一个指数到虚拟表。所以一个成员函数指针实际上需要1）可能是一个函数指针，2）可能是一个调整this指针，和3）可能是一个虚函数表索引。要一致，每一个成员函数指针需要能够所有这些的。所以，这8个字节的指针， 4字节用于调整， 4个字节的索引，对于16字节总。

我认为这是一件真正改变编译器之间的很多，而且有很多可能的优化。也许没有真正实现它我所描述的方式。

对于很多的细节，请参见本（滚动到“成员函数指针的实现”）。

Answer 2:

Basicly因为他们需要支持多态行为。见一个很好的文章由雷蒙德陈。

Answer 3:

一些解释可以在这里找到：成员函数指针的底层表示

虽然成员指针行为像普通指针，在幕后他们的表现是完全不同的。事实上，一个指针构件通常包括最多含在某些情况下四个字段struct的。这是因为成员指针必须支持不仅普通成员函数，而且虚拟成员函数中，具有多个基类的对象的成员函数，和虚拟基类的成员函数。因此，最简单的成员函数可以被表示为一组两个指针：一个保持所述成员函数的物理存储器地址，和保持该指针的第二指示器。然而，在像一个虚拟成员函数，多重继承和虚拟继承的情况下，指针构件必须存储额外的信息。因此，你不能施放成员指针普通指针也无法将安全地转换到不同类型的成员指针之间。大段引用