c++ - 为什么会有注入(inject)的类名？

Question

最近看到一个奇怪的C++特性:注入(inject)类名。

class X { };
X x1;
class X::X x2; // class X::X is equal to X
class X::X::X x3; // ...and so on...

但我不明白为什么这个功能是必要的。有没有需要这个功能的练习？

而且我听说旧 C++ 中不存在此功能。那么，它是什么时候推出的呢？ C++03？ C++11？

Answer 1

注入(inject)的类名意味着X被声明为 X 的成员, 以便在 X 中查找名称总是找到当前类，而不是另一个 X可能在相同的封闭范围内声明，例如

void X() { }
class X {
public:
  static X create() { return X(); }
};

是create()创建临时 X 的函数对象或调用函数X ?在命名空间范围内它会调用函数，因此注入(inject)类名的目的是确保在 X 的主体内名称总是会找到类本身(因为名称查找从类自己的范围开始，然后再查找封闭范围)。

在类模板中也很有用，注入(inject)的类名可以在没有模板参数列表的情况下使用，例如简单地使用 Foo而不是完整的模板 ID Foo<blah, blah, blah> ，所以很容易引用当前的实例化。见 DR 176 C++98 和 C++03 之间的更改澄清了这一点。

注入(inject)类名的想法出现在 C++98 中，但术语对于 C++03 来说是新的。

C++98 说:

A class-name is inserted into the scope in which it is declared immediately after the class-name is seen. The class-name is also inserted into the scope of the class itself.

第二句被 DR 147 修改所以 C++03 在 [class]/2 中说:

A class-name is inserted into the scope in which it is declared immediately after the class-name is seen. The class-name is also inserted into the scope of the class itself; this is known as the injected-class-name.

即使在 C++98 之前，ARM 也有大致相同的措辞，这意味着类的名称始终可以在类主体中用来指代类本身:

The name of a class can be used as a class-name even within the member-list of the class specifier itself.

• For example,

  class link { link* next; };