将匿名命名空间内前向声明的类设为友元是否违反ODR规则？

你的写法是明确的未定义行为（UB），实打实地违反了C++单一定义规则（ODR）。过去六年所有主流编译器能正常编译运行，纯粹是实现细节刚好没触发可见故障，和代码是否符合标准没有关系。

这东西为什么是UB #

• 头文件里写匿名命名空间本身就是ODR高发坑：匿名命名空间里的所有实体默认带内部链接，只要包含这个头文件，每个翻译单元（也就是每个编译的cpp文件）都会生成一套完全独立、和其他TU没关系的实体。说白了A.cpp匿名命名空间里的register_test和B.cpp里的同名类，从标准层面看是八竿子打不着的两个类型，只是凑巧名字写得一样。
• 友元声明的查找规则比你想的严格：你定义在全局作用域的context是带外部链接的类，它内部写的friend class register_test;是未限定友元声明，名字查找只会匹配全局作用域下的同名类型，根本不会钻到每个TU自己的匿名命名空间里找内部链接的类。这个友元声明实际只是在全局作用域注入了个从来没被定义过的::register_test的空声明，和你在各个cpp匿名命名空间里写的register_test半毛钱关系都没有。
• 外部链接类的ODR要求是硬约束：整个程序里所有带外部链接的类，在所有TU里的定义必须完全等价。你现在的代码里，每个TU看到的context，其友元声明实际对应的实体语义根本不一样，这已经踩了ODR红线。你之所以能在各个TU的register_test成员函数里调用context的私有方法add_test，只是因为编译器的访问控制检查是单TU独立做的，只看当前TU里名字能不能对上，不会跨TU校验友元到底绑定了哪个实体，属于编译器“误给了权限”，不是标准允许的操作。
• 额外提个你没注意到的坑：你在匿名命名空间里写extern context file_context;也不合规。匿名命名空间里的声明默认是内部链接，加extern也改不了这个属性，也就是说每个TU里的file_context也是各是各的，如果你没在每个TU里单独定义这个变量，同样是UB。

为什么编译器没报错还能跑 #

完全是实现层面的巧合：

• 访问控制检查不跨TU，当前TU里名字对上了就给权限，不会管这个类是不是真的是友元声明绑定的那个；
• 你所有TU里写的register_test内存布局、成员函数逻辑完全一模一样，哪怕语义上友元绑定错了，生成的机器码跑起来也不会出内存错误；
• 大部分默认配置的链接器不会做这么细粒度的ODR校验，不会检查类的友元绑定是否一致，自然不会报链接错误。

符合标准的改法 #

要实现每个TU自动注册测试用例的需求，根本不需要走这种取巧的歪路：

• 别在头文件的匿名命名空间里前向声明那几个辅助类，直接把context_check、context_block、register_test定义在头文件的专用命名空间（比如test_detail）下，做成整个程序唯一的、带外部链接的类型，这样context的友元声明会稳定绑定到这个唯一类型，完全符合ODR要求；
• 每个cpp里直接用这个公共的register_test类定义静态注册对象就行，不需要每个TU都重写一遍类定义；
• 如果你需要每个TU持有独立的测试上下文，直接通过register_test构造函数传参、或者绑定TU内的静态变量就行，不需要靠在匿名命名空间里重定义同名类来做差异化。

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