同名同命名空间类引发析构函数调用错误导致段错误
问题描述
我有两个独立定义在各自头文件中、方法实现于各自翻译单元(TUs/.cpp文件)的类。这两个类名称和命名空间完全相同,但位于代码库的不同目录,功能也不同,具体定义如下:
core1/abc1.h
namespace ns { class abc { .... std::map<std::string,int> m; }; }
core1/abc1.cpp
namespace ns { abc::~abc() { }; }
core2/abc2.h
namespace ns { class abc { std::unordered_map<std::string,int> m; }; }
core2/abc2.cpp
namespace ns { abc::~abc() { }; }
当我运行同时使用这两个类的程序时,程序结束调用析构函数阶段,通过gdb调试发现,来自abc2.h的类实例调用了abc1.h对应的析构函数,进而导致段错误。该问题在g++和clang下均会出现,请问这属于undefined behavior(未定义行为)问题,还是可能属于gold链接器的bug?
链接器生成symbol name(符号名称)时,是否会考虑文件名?还是仅以命名空间、类名、方法名作为唯一依据?
问题解答
1. 这是未定义行为,并非链接器bug
你遇到的情况属于违反C++的ODR(单一定义规则),是标准明确规定的未定义行为,和gold链接器或其他链接器无关。
C++标准要求,在整个程序范围内,同一个命名空间下的同一个类必须只有一个合法定义。你在两个独立的头文件中定义了同名同命名空间的ns::abc类,但它们的成员结构完全不同(一个包含std::map成员,另一个是std::unordered_map),这直接违反了ODR。
违反ODR后,编译器和链接器没有义务给出警告或错误,程序的行为完全不可预测——析构函数调用混乱导致段错误,只是未定义行为的一种具体表现。不管使用g++还是clang,出现这类问题都是代码本身不符合规范导致的,和工具无关。
2. 链接器生成符号名不考虑文件名
链接器生成符号名称时,不会将文件名或文件所在目录纳入考量,仅依据符号的语义信息生成:
- 对于类成员函数(比如
~abc析构函数),符号名由编译器的name mangling规则生成,包含命名空间、类名、函数名及函数签名(析构函数这类特殊函数有对应的签名规则)。 - 你写的两个
ns::abc::~abc(),经过name mangling后会生成完全相同的符号名。链接器遇到同名符号时,会按照默认规则(比如选取第一个遇到的符号)进行解析,这就导致了错误的析构函数被调用。
内容的提问来源于stack exchange,提问作者NariPDev
相关产品推荐
相关产品推荐

