Question

我目前正在尝试理解G ++如何从一个小例子C ++程序生成程序集。所以我正在使用各种优化测试以下程序：

#define noinline __attribute__ ((noinline))

class Test_Base {
public:
    noinline Test_Base() {}
    virtual noinline ~Test_Base() {}
    void noinline method() { v_method(); }
private:
    virtual void v_method()=0;
};

class Test1
   : public Test_Base
{
public:
    noinline Test1() {}
    noinline ~Test1() {}
private:
    void noinline v_method() {}
};

class Test2
   : public Test_Base
{
public:
    noinline Test2() {}
    ~Test2() {}
private:
    void noinline v_method() {}
};

int main() {
    volatile int x = 0;
    Test_Base * b;
    Test1 t1;
    Test2 t2;
    if( x )
        b = &t1;
    else
        b = &t2;
    b->method();
    return 0;
}

然而，查看此代码（使用-Os为ARMv7平台编译），我发现构造函数和析构函数的所有定义都已包含多次。以下是Test1的符号表的相关部分：

00008730  w    F .text  00000004              Test1::v_method()
000088d8  w    O .rodata        00000014              vtable for Test1
000087d0  w    F .text  00000020              Test1::Test1()
00008774  w    F .text  0000001c              Test1::~Test1()
00008710  w    F .text  00000020              Test1::~Test1()
000088a4  w    O .rodata        00000007              typeinfo name for Test1
00008898  w    O .rodata        0000000c              typeinfo for Test1
000087d0  w    F .text  00000020              Test1::Test1()
00008710  w    F .text  00000020              Test1::~Test1()

所以我有一个构造函数和两个析构函数（最后两个调用只是重复，与之前的位置相同）。看着组件，我观察到以下内容：

首先是构造函数

000087d0 <Test1::Test1()>:
    87d0:       e92d4010        push    {r4, lr}
    87d4:       e1a04000        mov     r4, r0
    87d8:       ebfffff3        bl      87ac <Test_Base::Test_Base()>
    87dc:       e1a00004        mov     r0, r4
    87e0:       e59f3004        ldr     r3, [pc, #4]    ; 87ec <Test1::Test1()+0x1c>
    87e4:       e5843000        str     r3, [r4]
    87e8:       e8bd8010        pop     {r4, pc}
    87ec:       000088e0        .word   0x000088e0

我想这就是我告诉它的事情。

现在析构函数位于0x8710：

00008710 <Test1::~Test1()>:
    8710:       e59f3014        ldr     r3, [pc, #20]   ; 872c <Test1::~Test1()+0x1c>
    8714:       e92d4010        push    {r4, lr}
    8718:       e1a04000        mov     r4, r0
    871c:       e5803000        str     r3, [r0]
    8720:       ebfffff6        bl      8700 <Test_Base::~Test_Base()>
    8724:       e1a00004        mov     r0, r4
    8728:       e8bd8010        pop     {r4, pc}
    872c:       000088e0        .word   0x000088e0

这里再没有什么可疑的。

现在析构函数位于0x8774：

00008774 <Test1::~Test1()>:
    8774:       e92d4010        push    {r4, lr}
    8778:       e1a04000        mov     r4, r0
    877c:       ebffffe3        bl      8710 <Test1::~Test1()>
    8780:       e1a00004        mov     r0, r4
    8784:       ebffff69        bl      8530 <_init+0x44>
    8788:       e1a00004        mov     r0, r4
    878c:       e8bd8010        pop     {r4, pc}

我不能真正说出这是做什么的，因为我对ABI并不熟悉。我猜这与静态初始化有关。

这个额外的析构函数的目的是什么？

如果我为x86_64编译相同的内容，我也会得到重复的析构函数，所以这似乎不是系统特定的。

Answer 1

第一个是非虚拟析构函数，用于在编译时知道动态类型时销毁自动或静态对象。

第二个是用于多态删除的虚拟“thunk”。它调用非虚拟析构函数来驱逐对象，然后调用operator delete来释放内存。

C ++汇编程序输出中的重复析构函数

1 个答案: