两阶段查找指模板中非依赖名称在定义时查找，依赖名称在实例化时查找。例如，func()作为非依赖名称在第一阶段绑定，而helper(T{})因依赖类型需在第二阶段通过ADL查找，若声明晚于模板定义则可能失败。使用typename和template可显式指示依赖类型中的嵌套类型或模板，避免解析错误。该机制确保模板正确解析与灵活实例化。
在C++模板编程中，两阶段查找（Two-Phase Lookup）是针对模板中出现的名称进行解析的一种机制，主要用于决定哪些名称在模板定义时查找，哪些在实例化时查找。这个机制主要适用于支持依赖类型（dependent types）和非依赖名称（non-dependent names）的区分。
什么是两阶段查找
两阶段查找指的是在处理类模板或函数模板时，编译器将模板内部使用的名称分为两类，并在两个不同阶段进行查找：
- 第一阶段（定义时）：在模板被定义时，编译器查找所有“非依赖名称”（non-dependent names），即那些不依赖于模板参数的名称。
-
第二阶段（实例化时）：当模板被具体实例化时，编译器查找“依赖名称”（dependent names），即那些依赖于模板参数的名称，包括通过
typename或template关键字修饰的名称。
非依赖名称 vs 依赖名称
理解这两类名称是掌握两阶段查找的关键。
- 非依赖名称：指在模板定义中不依赖任何模板参数的标识符。例如全局函数、全局变量、外围作用域中的类型等。这些名称在第一阶段就完成查找，此时不会考虑特化或后续定义的内容。
-
依赖名称：指涉及模板参数的表达式中的名称，比如
T::value、std::vector<T>、t.func()等。这些名称的含义可能随模板参数变化，在实例化时才确定，因此推迟到第二阶段查找。
查找规则示例
以下代码说明了两阶段查找的行为：
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
#include <iostream>
void func() { std::cout << "global func\n"; }
template<typename T>
void call_func() {
func(); // 非依赖名称，第一阶段查找
helper(T{}); // 非依赖名称，第一阶段查找（即使ADL可能延后）
}
struct MyType {};
void helper(MyType) { std::cout << "helper for MyType\n"; }
int main() {
call_func<MyType>(); // 输出？结果可能不符合预期
}
上面的例子中，func()在定义时就能找到，没问题；但helper(T{})虽然是对特定类型的调用，但由于它被视为非依赖名称（未使用typename或上下文未明确为依赖），编译器在第一阶段查找，而那时helper还未声明，导致链接错误或编译失败。
修正方法之一是让调用依赖于类型：
template<typename T>
void call_helper(T t) {
helper(t); // ADL 可以起作用，且在实例化时查找
}
依赖上下文中的 typename 和 template
在模板中访问嵌套类型或嵌套模板时，必须使用typename和template关键字显式说明，否则会被当作非类型名称处理。
template<typename T>
struct Wrapper {
typedef int type;
};
template<typename T>
void foo() {
typename Wrapper<T>::type value; // 必须加 typename
std::vector<T>::template iterator it; // 必须加 template
}
如果不写typename，编译器默认认为Wrapper<T>::type是一个静态值或对象，而不是类型，从而导致错误。
基本上就这些。两阶段查找的核心在于：模板中不依赖模板参数的部分尽早解析，依赖的部分延迟到实例化时，结合ADL（参数依赖查找）和显式关键字控制，确保正确性和灵活性。虽然规则复杂，但理解后能更好避免常见陷阱。
