18

考虑这个文件，first.cpp包含一个类定义并使用：

#include <iostream>

struct Foo
{
    Foo(){ std::cout << "Foo()" << std::endl; }
    ~Foo(){ std::cout << "~Foo()" << std::endl; }
};

int main(){
    Foo f;
    return 0;
}

另一个，second.cpp，包含一个冲突的类定义：

#include <iostream>

struct Foo
{
    Foo();
    ~Foo();
};

Foo::~Foo(){ std::cout << "wrong ~Foo()" << std::endl; }

当定义了两个具有相同名称的函数时，链接器会抱怨重复符号，但是这些具有重复类方法的文件编译时不会出错。

我用这些命令编译：

$ g++ -c second.cpp -o second
$ g++ second first.cpp -o first

对第二次调用的参数重新排序g++不会改变输出。

运行时first，这是输出：

$ ./first
Foo()
wrong ~Foo()

为什么链接器允许重复的类方法？如果显然允许，为什么要wrong ~Foo()打印？

4

1 回答 1

16

再次，未定义的行为。您的程序对 的析构函数有多个定义Foo，这意味着它违反了 ODR。程序是错误的，任何事情都可能发生。

为什么链接器不接它？在类定义中定义函数时，它是隐式的inline。编译器通常将这些函数标记为“弱符号”。然后链接器获取所有翻译单元并尝试解析符号。如果需要，链接器将删除弱符号（即，如果符号已在其他地方定义）。

在程序的实际输出中，看起来编译器实际上并没有内联对构造函数的调用，因此在运行时将其分派给链接器留下的符号（非弱符号）

为什么链接器允许有重复的方法？

因为所有（但最多一个）都是弱符号（即inline）

为什么在这种情况下会打印错误的 ~Foo() ？

因为调用没有内联，并且链接器丢弃了弱符号

于 2012-05-25T13:51:00.553 回答