两阶段名称查找指模板中非依赖名称在定义时解析，依赖名称在实例化时解析。例如，函数g()和变量x在模板定义时查找；而T::iterator或obj.process()等依赖模板参数的名称则延迟到实例化时确定。使用typename可解决依赖类型解析错误，ADL可能影响函数调用匹配。掌握该机制可避免常见编译问题，提升模板代码健壮性。
在C++模板编程中，两阶段名称查找（Two-Phase Name Lookup）是理解模板实例化行为的关键机制。它决定了模板中出现的符号是在哪个阶段被解析——是在模板定义时，还是在模板实例化时。掌握这个机制，有助于避免编译错误、理解依赖名称（dependent names）与非依赖名称（non-dependent names）的区别。
什么是两阶段名称查找
当编译器处理类模板或函数模板时，会将名称的查找分为两个阶段：
- 第一阶段：模板定义时 —— 编译器检查模板语法，并对其中的非依赖名称进行查找。
- 第二阶段：模板实例化时 —— 当模板被具体类型实例化时，编译器再对依赖名称进行查找。
所谓“依赖名称”，是指其含义依赖于模板参数的名称；反之，不依赖模板参数的就是非依赖名称。
非依赖名称 vs 依赖名称
区分这两类名称是理解两阶段查找的核心。
立即学习“C++免费学习笔记（深入）”；
非依赖名称示例：
以下代码中的 g() 和全局变量 x 不依赖模板参数，因此在模板定义时就查找：
int x = 10;
<p>void g() { }</p><p>template<typename T>
void foo() {
g(); // 非依赖名称：在定义时查找
cout << x; // 非依赖名称：在定义时查找
}
即使之后定义另一个更匹配的 g() 或 x，也不会影响模板中的调用。
依赖名称示例：
依赖名称通常涉及模板参数，比如 T::value、t.member() 或 std::vector<t></t> 等。
template<typename T>
void bar() {
typename T::iterator it; // 依赖名称：T::iterator 依赖 T
T obj;
obj.process(); // 依赖名称：process() 是否存在取决于 T
}
这类名称的查找推迟到实例化阶段，根据实际传入的类型来确定。
为什么需要两阶段查找
两阶段查找的设计是为了平衡编译效率和语义正确性。
- 在定义阶段检查语法和非依赖名称，可以尽早发现明显错误。
- 将依赖名称的查找推迟到实例化，使得模板能适配各种类型，实现泛型编程。
例如，你可以在模板定义时尚未定义某个具体类型，只要在实例化时该类型满足要求即可。
常见陷阱与解决方法
由于两阶段查找的规则，一些看似合理的代码会出错。
陷阱1：未使用 typename 声明依赖类型
template<typename T>
void func() {
T::iterator* ptr; // 错误！编译器不知道 iterator 是类型
}
应改为：
template<typename T>
void func() {
typename T::iterator* ptr; // 正确：告诉编译器这是个类型
}
陷阱2：函数未在正确作用域声明
ADL（参数依赖查找）会影响函数调用的解析：
template<typename T>
void call_foo(T t) {
foo(t); // 查找分两阶段：非依赖函数在定义时查找，但可能通过ADL在实例化时补全
}
如果 foo 是针对特定类型 T 的重载函数，必须确保它在调用点可见，或依赖 ADL 找到。
总结
两阶段名称查找是C++模板系统的基础行为。简单来说：
- 非依赖名称在模板定义时查找。
- 依赖名称在模板实例化时查找。
- 使用
typename明确指出依赖类型。 - 函数调用可能受ADL影响，在实例化上下文中查找匹配函数。
理解这一点，能帮助你写出更健壮的模板代码，避免链接错误或意外的函数绑定。
基本上就这些。掌握两阶段查找，你就跨过了C++模板编程的一道重要门槛。
