c++汇编输出中的重复析构函数

我目前正在尝试理解c++如何从一个小示例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;
}

但是查看这段代码(在ARMv7平台上使用-Os编译)，我发现构造函数和析构函数的所有定义都被包含了多次。下面是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编译相同的代码，我也会得到重复的析构函数，所以这似乎不是特定于系统的