C++成员函数外部链接机制及相关链接报错原因解析

你的认知有两个核心误区导致对链接错误的判断偏差：

• 你误解了C标准中“名称”的范围：你引用的外部链接定义里的“名称”，是包含所属作用域的限定名称，不是单纯的未限定短名称f。struct A的成员函数f属于类作用域，和翻译单元B声明的全局作用域下的f只是短名相同，二者是完全独立的两个实体。C的名称查找规则会优先匹配当前上下文的作用域，你在main中直接调用f(4)只会查找全局作用域的f，根本不会关联到A的成员函数。
• 符号名存在修饰（Name Mangling）：C++编译器会对不同作用域、不同签名的函数生成不同的全局符号名，例如GCC环境下，全局f(int)的符号为_Z1fi，A::f(int)的符号为_ZN1A1fEi，链接器只会按符号名匹配定义和声明，全局f只有声明没有定义，自然会报链接错误。

类的非静态成员函数的外部链接，指的是该成员函数的实体可以在其他翻译单元被引用，前提是引用处能看到该成员函数的声明，且明确指定所属的类作用域。
举个可正常链接的例子，修改翻译单元B的代码即可：

//Translation Unit B
struct A {
    void f(int a); // 仅声明成员函数，不提供定义
};
int main()
{
    A obj;
    obj.f(4); // 明确调用A类作用域下的f(int)
}

此时链接器会在翻译单元A中匹配到A::f(int)的符号，完成链接，这就是成员函数外部链接的实际生效场景。

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