Question

为什么指向虚函数表的指针会影响类的大小，但是这个指针不会影响类的大小？在哪里放置这个指针和什么时候分配内存？

Answer 1

它作为隐式参数传递，因此它不存储在对象内部。当你写：

struct X
{
    void f( int i );
};

X x;
x.f( 42 );

你可以这样想：

void f( X* const this, int i ); // of course this would be illegal as "this" is a keyword

f( &x, 42 );

所以this - 指针来自调用方法的位置。

Answer 2

指向虚函数表的指针存储在对象中，但this实际上是成员函数的隐藏参数。实际上，当你有这个：

class X
{
  void foo(int bar) const;
};

int main()
{
  X x;
  x.foo(7);
}

然后编译器将隐式地将其转换为类似的东西（伪代码）：

class X
{
  static void foo(const X * const this, int bar);
};

int main()
{
  X x;
  X::foo(&x, 7);
}

请注意，我仅显示伪代码以用于说明目的。你可以在概念上想象它，但它并不是实际发生的事情。

Answer 3

this指针隐式放在堆栈上（它就像是方法的参数）。因此，当您调用obj->foo()时，您隐式将obj传递给方法foo。编译器允许您通过this访问该参数。

通常，无论如何都不需要将此指针存储在对象中。这将是多余的（即，如果你能抓住对象，它的地址已经可用）。

vTable然而却是另一回事。在编译时无法知道对象指向哪个vtable，也没有单独的隐式参数。这需要对象本身的专用空间。

Answer 4

与'this'指针类似，vptr取决于实例而不是类。

Answer 5

无处。 this指针不是左值，不占用记忆本身。这有点像问问结果在哪里 x + y驻留（x和y为int）。取决于实现，它真正驻留的地方会有所不同：VC ++，for 倾向于将其保留在ECX寄存器中（尽管可能会这样）使用优化时会有所不同）; Sun CC for Sparc将其列入注册i0等等。不是成员，甚至是隐含的成员类。它可能最好被认为是一个论据功能，虽然许多编译器会特别对待它，并且与普通参数不同，它不是左值。

在哪里放置这个指针，并在为它分配内存时？

5 个答案: