Two-Phase Lookup将模板名称查找分为两阶段：第一阶段在定义时解析非依赖名称，如std::cout和全局函数；第二阶段在实例化时解析依赖名称，如依赖模板参数的成员函数调用，并结合ADL查找关联命名空间中的函数，确保正确解析。
Two-Phase Lookup 是 C++ 模板编译过程中一个关键的名称查找机制，主要应用于类模板和函数模板中涉及的标识符解析。它决定了在模板定义时和模板实例化时，如何查找变量、函数、类型等名称。这个机制在处理依赖于模板参数的表达式（dependent expressions）和非依赖表达式（non-dependent expressions）时尤为重要。
什么是 Two-Phase Lookup
Two-Phase Lookup 指的是 C++ 编译器在处理模板时，将名称查找分为两个阶段进行：
- 第一阶段（定义期查找）：在模板定义时，对所有非依赖名称（non-dependent names）进行查找。这些名称不依赖于模板参数，因此可以在模板被声明时就确定其含义。
- 第二阶段（实例化期查找）：在模板被具体实例化时，对依赖名称（dependent names）进行查找。这些名称依赖于模板参数，必须等到模板被调用并传入具体类型后才能确定。
这种分阶段的查找策略使得模板既能保持灵活性，又能在编译期尽可能早地发现错误。
非依赖名称与依赖名称的区别
理解 Two-Phase Lookup 的核心在于区分“依赖”与“非依赖”名称。
立即学习“C++免费学习笔记（深入）”；
非依赖名称示例：以下代码中的 std::cout 和全局函数 func() 属于非依赖名称：
#includevoid func() { } template void foo() { std::cout << "Hello"; // 非依赖：std::cout 不依赖 T func(); // 非依赖：func 是全局函数，与 T 无关 }
这些名称在模板定义时就会被查找和绑定，即使之后定义了同名但更匹配的函数，也不会被选用。
依赖名称示例：下面的例子中，t.bar() 中的 bar 是依赖名称，因为它依赖于模板参数 T 的类型：
templatevoid call_bar(T& t) { t.bar(); // 依赖名称：bar 是否存在、如何解析，取决于 T 的实际类型 }
这个调用将在模板实例化时才进行查找，比如当 T = MyClass 且 MyClass 有 bar() 成员函数时才会成功。
Two-Phase Lookup 在不同编译器中的实现差异
虽然 C++ 标准规定了 Two-Phase Lookup 的行为，但早期 GCC 和 MSVC 对此支持不一致，导致跨平台开发时可能出现问题。
- GCC 较早严格执行两阶段查找，若在第一阶段发现非依赖名称无法解析，会直接报错。
- 旧版 MSVC 曾采用“延迟查找”策略，把大部分查找推迟到实例化阶段，这可能导致某些本应出错的代码被误接受。
现代标准要求严格遵循两阶段规则，尤其是 C++11 及以后版本，建议开发者编写符合标准的代码，避免依赖编译器宽松行为。
模板中的作用域与 using 声明
有时我们需要让某个基类中的名称在派生类模板中可见，这时需要用到 using 声明来引入依赖名称。
templatestruct Base { void func() { } }; template struct Derived : Base { void call() { // func(); // 错误！func 是依赖名称，但未通过 using 引入 this->func(); // 正确：通过 this-> 显式表明是依赖查找 // 或者使用： // using Base ::func; // func(); } };
由于 Base 是依赖基类，其成员不会自动注入到 Derived 的作用域中。必须通过 this->、using 或显式限定来触发第二阶段查找。
ADL（Argument-Dependent Lookup）在第二阶段的作用
对于函数调用，如果参数类型属于某个命名空间，C++ 会在该命名空间中查找匹配的函数，这就是 ADL。ADL 主要在第二阶段起作用，尤其适用于操作符重载或自由函数模板。
namespace MyNS {
struct MyType {};
void swap(MyType&, MyType&) { }
}
template
void my_swap(T& a, T& b) {
swap(a, b); // 实例化时，若 T=MyType，则通过 ADL 找到 MyNS::swap
}
这里 swap(a,b) 是依赖调用，ADL 允许在实例化时找到与 T 相关的正确 swap 函数。
基本上就这些。Two-Phase Lookup 虽然细节复杂，但掌握后能帮助你写出更清晰、可移植的模板代码，也能更好理解为什么某些看似正确的调用会编译失败。关键是分清哪些名字依赖模板参数，哪些不依赖，并确保在合适的时间点能被正确查找到。
