4

我编写了这个非常简单的 C++ 程序，我想知道为什么编译器会跨两个指针取消引用来布置 vtable。这是 C++ 程序：

class Foo {
 public:
  virtual void bar() {
  }
};

int main(int argc, char *arv[]) {
  Foo foo;
  Foo *foo_p(&foo);
  foo_p->bar();
}

现在，我可以查看编译器生成的程序集：

$ g++ -ggdb -Wall -O0 -S test.cpp

以下是相关部分：

    .loc 1 9 0 
    leaq    -16(%rbp), %rax  # put the address of 'foo' in %rax
    movq    %rax, %rdi       # use it as the first argument of the following function
    call    _ZN3FooC1Ev      # call the Foo constructor
    .loc 1 10 0
    leaq    -16(%rbp), %rax  # put the address of 'foo' in %rax
    movq    %rax, -24(%rbp)  # create 'foo_p' on the stack
    .loc 1 11 0
    movq    -24(%rbp), %rax  # load 'foo_p' into %rax
    movq    (%rax), %rax     # dereference the pointer, put it in %rax
                             # %rax now holds the hidden pointer in 'foo', which is the vtable pointer
    movq    (%rax), %rdx     # dereference the pointer ::again:: (with an offset of 0), put it in %rdx
                             # %rdx now holds a function pointer from the vtable
    movq    -24(%rbp), %rax  # create the 'this' pointer (== foo_p) and put it in %rax
    movq    %rax, %rdi       # use the 'this' pointer as the first argument to the following function
    call    *%rdx            # call Foo::bar (via the vtable)

为什么第二个指针取消引用是必要的？为什么对象中的“隐藏”vtable 指针不直接指向 vtable？

编辑：它 ::is:: 直接指向 vtable。我只是对我的指针感到困惑:-P

4

2 回答 2

6 
movq    -24(%rbp), %rax  # load 'foo_p' into %rax
movq    (%rax), %rax     # fetch VTABLE
movq    (%rax), %rdx     # fetch function `bar` from VTABLE.

如果您将baz（或kerflunk）函数作为第二个函数添加到您的类中，您会更好地看到它，您会看到第二个提取位于8VTABLE 中。

您可以看到类内部的结构是这样的（注意这是“出于说明目的，并非旨在成为现实”）

struct VTABLE
{
    void (*bar)();
};

struct Foo
{
    VTABLE *vtable;
};

在 Foo [即使您没有声明它也存在] 的构造函数中，有一段代码可以执行以下操作：

this->vtable = &VTABLE_Foo;

以及编译器已经完成的某处（再次，为了说明目的，名称肯定不同）：

VTABLE VTABLE_Foo = { foo::bar };

所以打电话bar，我们会这样做：

foo_p->vtable->bar(foo_p);

编译器显示的是：

void (*temp)() = foo_p->vtable->bar;
temp(foo_p);

这几乎可以肯定是 using 的结果-O0，如果您使用优化进行编译，编译器会更直接地进行编译（包括可能意识到在这种情况下它不需要 vtable 并内联不做任何事情的函数，因此完全消除呼叫）。

于 2013-04-17T08:14:50.833 回答
2

第一个将vtable指针放入%rax，第二个将函数指针放入%rdx。

于 2013-04-17T08:11:49.393 回答