为什么成员函数的符号很弱？

Question

我用g++(7.3.0)编译了这个 C++ 代码。

struct C {
  __attribute__((noinline)) int foo() { return 0; };
};

int bar(C &c) { return c.foo(); }

使用nm我发现它foo很弱。这是由于 C++ 规范还是 GCC 的决定？

实验流程：

$ g++ test.cpp -c -Og  
$ nm test.o  
0000000000000000 T _Z3barR1C  
0000000000000000 W _ZN1C3fooEv

Answer 1

那是 C++ 规范还是 GCC 的决定？

两者都有。并不是说 C++ 规范处理强符号或弱符号（它没有）。但它确实会影响 GCC 的行为，因为通常扩展试图建立在标准的强制行为之上。

当您在类体中定义成员函数时，它自动成为内联函数。在 C++ 语言中，内联函数是可以有多个定义的函数，只要它们出现在不同的翻译单元中即可。这不是问题，因为在 C++ 中，内联函数必须在每个翻译单元（直到标记序列）中具有完全相同的定义。因此，即使它们是“不同”的定义，它们也是相同的，因此在某些时候可以简化为一个。

该函数实际上不必在调用站点内联。就 C++ 而言，inline是关于一个定义规则和链接。所以你有那个，C::foo根据规范可以有多个定义。

然后您指定__attribute__((noinline))，因此该函数不能物理内联，因此每个 TU 必须包含该函数的符号。

这样就只剩下一种选择了。符号一定要弱，否则不同翻译单元的不同符号会相互干扰。通过使符号变弱，您可以拥有强制定义并避免物理内联函数，同时支持 C++ 规范。这些不同的符号代表完全相同的功能，因此它们中的任何一个都可以在链接时“获胜”。