构造符号的双重发射

今天，我发现了一个非常有趣的事情，关于 g++或 nm... ... 构造函数定义似乎在库中有两个条目。

我有一个标题 thing.hpp:

class Thing
{
Thing();


Thing(int x);


void foo();
};

And thing.cpp:

#include "thing.hpp"


Thing::Thing()
{ }


Thing::Thing(int x)
{ }


void Thing::foo()
{ }

我用以下方法编译:

g++ thing.cpp -c -o libthing.a

然后，我在上面运行 nm:

%> nm -gC libthing.a
0000000000000030 T Thing::foo()
0000000000000022 T Thing::Thing(int)
000000000000000a T Thing::Thing()
0000000000000014 T Thing::Thing(int)
0000000000000000 T Thing::Thing()
U __gxx_personality_v0

As you can see, both of the constructors for Thing are listed with two entries in the generated static library. My g++ is 4.4.3, but the same behavior happens in clang, so it isn't just a gcc issue.

这没有引起任何明显的问题，但我想知道:

• 为什么定义的构造函数被列出两次？
• 为什么这不会导致“符号的多重定义 _ _”问题？

编辑 : 对于卡尔来说，没有 C参数的输出:

%> nm -g libthing.a
0000000000000030 T _ZN5Thing3fooEv
0000000000000022 T _ZN5ThingC1Ei
000000000000000a T _ZN5ThingC1Ev
0000000000000014 T _ZN5ThingC2Ei
0000000000000000 T _ZN5ThingC2Ev
U __gxx_personality_v0

正如你所看到的，同一个函数正在生成多个符号，这仍然很奇怪。

当我们在这里的时候，这里是一个生成的组装部分:

.globl _ZN5ThingC2Ev
.type   _ZN5ThingC2Ev, @function
_ZN5ThingC2Ev:
.LFB1:
.cfi_startproc
.cfi_personality 0x3,__gxx_personality_v0
pushq   %rbp
.cfi_def_cfa_offset 16
movq    %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
movq    %rdi, -8(%rbp)
leave
ret
.cfi_endproc
.LFE1:
.size   _ZN5ThingC2Ev, .-_ZN5ThingC2Ev
.align 2
.globl _ZN5ThingC1Ev
.type   _ZN5ThingC1Ev, @function
_ZN5ThingC1Ev:
.LFB2:
.cfi_startproc
.cfi_personality 0x3,__gxx_personality_v0
pushq   %rbp
.cfi_def_cfa_offset 16
movq    %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
movq    %rdi, -8(%rbp)
leave
ret
.cfi_endproc

所以生成的代码是一样的。

编辑 : 为了查看实际调用了什么构造函数，我将 Thing::foo()更改为:

void Thing::foo()
{
Thing t;
}

生成的程序集是:

.globl _ZN5Thing3fooEv
.type   _ZN5Thing3fooEv, @function
_ZN5Thing3fooEv:
.LFB550:
.cfi_startproc
.cfi_personality 0x3,__gxx_personality_v0
pushq   %rbp
.cfi_def_cfa_offset 16
movq    %rsp, %rbp
.cfi_offset 6, -16
.cfi_def_cfa_register 6
subq    $48, %rsp
movq    %rdi, -40(%rbp)
leaq    -32(%rbp), %rax
movq    %rax, %rdi
call    _ZN5ThingC1Ev
leaq    -32(%rbp), %rax
movq    %rax, %rdi
call    _ZN5ThingD1Ev
leave
ret
.cfi_endproc

因此它正在调用完整的对象构造函数。