注入类名是c++中类（含模板）在自身作用域内自动可见的隐式声明，既可作当前特化类型名，也可作模板名；普通类与类模板均支持，影响adl与查找规则，是类型系统底层机制。
注入类名（Injected-class-name）是 C++ 中一个看似隐蔽、实则关键的语言特性，它让类模板（或普通类）的名称在自身作用域内“自动可见”，无需额外限定或 typedef，就能直接用作类型名或模板名。
什么是注入类名？
当定义一个类（包括类模板）时，编译器会把该类的名字“注入”到它自己的作用域中，这个被注入的名字就叫注入类名。它不是别名，也不是 typedef，而是语言层面的隐式声明。
例如：
template<typename T>
struct X {
X* p; // ✅ 合法：X 是注入类名，等价于 X<T>
X<int> q; // ✅ 显式特化也合法
using type = X; // ✅ X 在此处就是 X<T> 的同义名（但不是 typedef）
};
注意：这里的 X 不需要写成 X
立即学习“C++免费学习笔记（深入）”；
注入类名在模板中的行为规则
对类模板而言，注入类名具有双重身份：它既可以作为“当前特化”的类型名（非限定使用），也可以作为“类模板名”（用于后续特化或偏特化）。
- 在类模板内部，未限定的 X 默认指代 X
（即当前实例化类型） - 在需要模板名的上下文中（如继承、别名模板、显式特化声明），X 可被当作模板名使用，等价于 template X
- 若类模板有多个参数，注入类名仍代表整个模板，不绑定默认参数（除非显式指定）
典型例子：
template<typename A, typename B = int>
struct Y {
Y* y1; // → Y<A,B>
Y<double> y2; // → Y<double, int>
using T = Y; // T 是 Y<A,B> 的同义名
using U = Y<char>; // U 是 Y<char, int>
};
注入类名与作用域查找的关系
注入类名会影响 ADL（Argument-Dependent Lookup）和 name lookup 的结果，尤其在嵌套类、继承和模板推导中容易引发意外行为。
- 派生类中若未重定义基类名，基类的注入类名仍可在派生类作用域中被查找到
- 若派生类自己定义了同名成员（比如函数或类型），可能遮蔽（hide）注入类名，此时需用 Base::Base 显式访问
- 在模板参数推导中，注入类名可参与类型匹配，但不会自动触发模板实参推导（除非用作模板参数本身）
常见陷阱：
template<typename T>
struct Base {
void f() { }
};
<p>template<typename T>
struct Derived : Base<T> {
void g() {
f(); // ❌ 错误：Base<T>::f 不在当前作用域，未注入到 Derived 中
this->f(); // ✅ 正确：通过 this 查找
Base<T>::f(); // ✅ 显式调用
}
};</p>普通类也有注入类名
不只是模板，普通 class/struct/union 同样有注入类名——只是效果更直观：
struct S {
S* ptr; // ✅ 合法：S 是注入类名，指当前类型
S(int); // 构造函数名也是注入类名的一种体现
};
这也是为什么你能在类内部直接写 S* 而不用提前声明或加作用域；它不是前向声明的功劳，而是注入机制保障的。
基本上就这些。注入类名不是语法糖，而是 C++ 类型系统与作用域模型协同工作的底层设计，理解它，才能避开模板继承、CRTP、SFINAE 等场景中的隐性错误。
