Why does the ld linker allow multiple class defini

2019-02-08 07:19发布

问题:

Consider this file, first.cpp, containing a class definition and use:

#include <iostream>

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

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

and another, second.cpp, containing a conflicting class definition:

#include <iostream>

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

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

The linker complains about duplicate symbols when there are two functions with the same names defined, but these files with duplicate class methods compile without an error.

I compiled with these commands:

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

Reordering the arguments to the second g++ call doesn't change the output.

And when first is run, this is the output:

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

Why does the linker allow duplicate class methods? If it's apparently allowed, why is wrong ~Foo() printed?

回答1:

Again, Undefined Behavior. Your program has multiple definitions for the destructor of Foo, which means that it is in violation of the ODR. The program is wrong and anything can happend.

Why does the linker not pick it up? When a function is defined inside the class definition, it is implicitly inline. Compilers usually mark those functions as 'weak symbols'. The linker then gets all translation units and tries to resolve the symbols. Weak symbols will be dropped by the linker if needed (i.e. if the symbol is already defined somewhere else).

As of the actual output of the program, it looks like the compiler did not actually inline the call to the constructor and thus dispatched at runtime to the symbol that was left by the linker (the non-weak one)


Why linker allows to have duplicate methods?

Because all (but at most one) are weak symbols (i.e. inline)

Why, in this case, wrong ~Foo() is printed?

Because the call was not inlined, and the linker dropped the weak symbol



标签: c++ linker g++ ld