c++ - a 匿名命名空间结构是否唯一

Question

我想我明白匿名命名空间可用于使符号成为当前翻译单元的本地符号。但是结构定义呢，我可以假设它们确实引用相同的类型吗？

我的类.h:

namespace {
  class MyClass {};
}

嗯:

#include "MyClass.h"

class A {
    MyClass* impl;
    void op();
}

A.cpp 翻译单元 1:

#include "A.h"
void A::op() {
  // Let *this->impl refer to a type X.
}

B.cpp 翻译单元 2:

#include "A.h"
void global_op(const A& a) {
  // Can I assume that *a->impl refer to same type X ?
}

Answer 1

不，它们指的不是同一类型。 header MyClass.h 包含未命名命名空间内的类类型 MyClass 的定义。一个未命名的命名空间基本上使其中的所有内容(是的，类型也是)具有内部链接 [basic.link]/6 .你有两个翻译单元，每个(间接)包含 MyClass.h，每个都有自己的未命名命名空间和它自己的 MyClass [basic.link]/11 .

将未命名的命名空间视为每个翻译单元都有不同名称的命名空间。所以翻译单元A中的MyClass实际上是$somerandomstringA$::MyClass，而翻译单元B中的MyClass实际上是$ somerandomstringB$::MyClass...

正如在此答案的评论中所讨论的那样，请注意您上面描述的程序将包含 ODR 违规(特别是 [basic.def.odr]/12.2 )作为您的类 A 的结果定义为包含MyClass*类型的成员，在不同的翻译单元中有不同的含义。