C++全局命名空间内两个同名函数为何未产生链接冲突？

核心原因：C++ 名字修饰（Name Mangling） 机制 #

C++为了支持函数重载特性，和C语言的符号生成规则存在明显差异：

• 全局变量的链接符号仅由变量名本身决定，因此不同翻译单元的同名全局变量会生成相同符号，触发重复定义的链接错误。
• 函数的链接符号会将函数签名（参数类型、参数个数、所属命名空间等）编码进去，只有签名完全一致的函数才会生成相同的链接符号，签名不同的函数即使名字相同，对链接器来说也是完全独立的符号。

代码场景分析 #

两个翻译单元中的Log函数签名完全不同：

• Linkage.cpp中的Log签名为 void Log(int)，其中的默认参数x=5仅属于当前翻译单元的语法糖，不参与函数签名计算，也不会被编码到链接符号中。
• External.cpp中的Log签名为 void Log(const char*)。

以GCC编译器为例，两个函数最终生成的链接符号分别为_Z3Logi和_Z3LogPKc，本质是两个完全无关的全局符号，自然不会触发链接冲突。

冲突触发条件 #

如果在两个翻译单元中定义签名完全相同的全局Log函数，比如将External.cpp的函数也改为void Log(int x)的实现，此时两个函数会生成完全一致的链接符号，就会触发典型的multiple definition链接错误。

内容的提问来源于stack exchange，提问作者Abhinav Jha