在无名命名空间外定义类成员函数：链接可见性与ODR合规性问题

代码示例 #

A.hpp

namespace {
    struct A{
        A();
    };
}

A1.cpp

A::A()
{
    std::cout << "hello from A1";
}

A2.cpp

A::A()
{
    std::cout << "hello from A2";
}

问题 #

• 这些定义的函数在链接阶段对其他翻译单元是否可见？
• 将A1.o与A2.o链接为一个可执行文件是否违反ODR（单定义规则）？

解答 #

1. 链接可见性分析
   匿名命名空间的核心特性是：其中的实体在每个包含它的翻译单元中都是独有的，且具备内部链接属性。当A.hpp被分别包含进A1.cpp和A2.cpp后，两个翻译单元会各自生成完全独立的struct A类型——它们只是名字相同，实际属于不同翻译单元的匿名命名空间，是毫无关联的实体。对应的构造函数A::A()也分别隶属于这两个不同的类型，因此都拥有内部链接，链接阶段不会被其他翻译单元识别或访问。

2. ODR合规性判断
   不违反ODR。ODR的核心要求是同一个实体在程序中只能有一个定义，但这里A1.cpp和A2.cpp中的A::A()属于两个完全不同的实体：它们分别对应各自翻译单元匿名命名空间内的struct A，本质是两个不同类型的构造函数，并非同一实体的重复定义。因此将A1.o和A2.o链接为可执行文件完全符合ODR规则。

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