什么是两阶段名称查找
C++中的两阶段名称查找是编译器处理模板代码时采用的名称解析机制，它将模板中名称的查找过程分为两个阶段完成，分别是模板定义阶段和模板实例化阶段。这个机制是为了解决模板中依赖上下文名称的解析问题，避免模板定义时无法确定所有名称的绑定关系。
模板中的名称可以分为两类，一类是非依赖名称，也就是不依赖于模板参数的名称；另一类是依赖名称，也就是其含义或存在性依赖于模板参数类型的名称。两阶段名称查找会对这两类名称分别在不同的阶段进行处理。
两阶段名称查找的具体过程
第一阶段：模板定义阶段
在模板被定义的时候，编译器会先处理模板的非依赖名称，完成这类名称的绑定和检查。这个阶段编译器只会检查模板本身的语法是否正确，同时解析所有不依赖于模板参数的名称。
比如模板中直接使用的全局函数、全局变量、不依赖模板参数的类型名称，都会在这个阶段被查找和绑定。如果在这个阶段找不到非依赖名称的对应声明，编译器就会直接报错。
以下是一个简单的示例，展示第一阶段的处理逻辑：
#include <iostream>
// 全局函数，非依赖名称
void print_value() {
std::cout << "global print" << std::endl;
}
template <typename T>
void test_template() {
// print_value 是非依赖名称，在模板定义阶段查找
print_value();
// 以下语句会报错，因为 unknown_func 是非依赖名称，定义阶段找不到
// unknown_func();
}
int main() {
test_template<int>();
return 0;
}
第二阶段：模板实例化阶段
当模板被实际使用，也就是进行实例化的时候，编译器会进入第二阶段，处理模板中的依赖名称。依赖名称的查找会结合模板实例化的具体类型上下文，同时还会进行参数依赖查找（ADL）。
参数依赖查找是指如果依赖名称是函数调用，编译器除了在常规作用域查找之外，还会在被调用参数所属的类型所在的命名空间中查找对应的函数声明。
来看一个展示第二阶段依赖名称查找的示例：
#include <iostream>
namespace my_space {
struct MyType {};
// 属于 my_space 命名空间的函数
void show(const MyType& t) {
std::cout << "my_space show" << std::endl;
}
}
template <typename T>
void call_show(T t) {
// show 是依赖名称，依赖于模板参数 T，在实例化阶段查找
// 这里会触发 ADL，在 T 所在的 my_space 命名空间找到 show 函数
show(t);
}
int main() {
my_space::MyType obj;
call_show(obj); // 实例化 call_show<my_space::MyType>，第二阶段查找 show
return 0;
}
模板实例化时的名称解析规则
模板实例化时的名称解析完全遵循两阶段名称查找的规则，总结起来主要有以下几点：
- 非依赖名称在模板定义阶段完成解析，实例化时不会再次查找这类名称，定义阶段找不到就会报错。
- 依赖名称在模板实例化阶段完成解析，查找范围包括模板定义所在的作用域、模板实例化所在的作用域，以及参数依赖的命名空间（如果函数调用触发ADL）。
- 如果依赖名称在实例化阶段仍然找不到对应的声明，编译器会报名称未找到的错误。
- 对于依赖类型的成员名称，需要在模板中显式使用
typename关键字声明其为类型，否则编译器会在第一阶段将其当作非依赖名称处理，导致解析错误。
以下是一个依赖类型成员名称解析的示例：
#include <iostream>
template <typename T>
void print_type() {
// T::value_type 是依赖名称，需要加 typename 声明是类型
typename T::value_type val = 0;
std::cout << val << std::endl;
}
struct MyContainer {
using value_type = int;
};
int main() {
print_type<MyContainer>(); // 实例化时解析 T::value_type 为 int
return 0;
}
常见误区与注意事项
很多开发者容易混淆两阶段名称查找的阶段划分，认为所有名称都会在实例化阶段才查找，这会导致在模板定义阶段使用未声明的非依赖名称而不报错，直到实例化时才暴露问题，增加调试难度。
另外需要注意，当模板的声明和定义分离时，非依赖名称的查找以定义处的作用域为准，而依赖名称的查找会结合实例化处的作用域，因此如果模板定义和使用不在同一个作用域，可能会出现名称查找结果不一致的情况。
如果需要在模板中强制让某个名称在实例化阶段查找，可以将其改为依赖名称，比如通过添加一个假的模板参数依赖，不过这种方式需要谨慎使用，避免降低代码的可读性。