1. 两阶段名称查找是什么？
1.1 概念与背景
在 C++ 模板的名字解析中，存在一个核心机制叫做两阶段名称查找，它将名称解析分成定义时查找与实例化时查找两个阶段。定义时查找负责在模板定义时对非依赖模板参数的名称进行解析，确定哪些名字来自模板所在的作用域。实例化时查找则在模板被实际实例化时进行，对依赖模板参数的名字进行解析，并可能结合ADL（Argument-Dependent Lookup）扩展查找范围。
namespace N { void f(int); }template
void g(T t) {f(t); // 依赖与模板参数的函数名，在定义时可能找不到，需要在实例化时通过 ADL 扩展查找
}
int main() { g(1); } 该机制的核心点在于：非依赖名在定义时就确定，而 依赖名要等到实例化阶段才能解析，以确保模板参数的实际类型可以影响名字的绑定结果。与此同时，ADL 在实例化阶段发挥作用，通过参数类型所在的命名空间来扩充可查找的函数集合。总之，两阶段名称查找把名字绑定的时机与上下文分离，从而支持模板的通用性与正确性。定义阶段的作用域与实例化阶段的参数相关性是这一定律的核心。
1.2 机制要点
下面的要点帮助理解该机制的实际表现：依赖名只有在模板被实例化时才会被解析，非依赖名在模板定义时就已经绑定。typename和 template 关键字的正确使用，是正确实现两阶段名称查找的关键工具。为了避免歧义，编译器在遇到依赖类型名或依赖模板名时，会要求程序员显式地标注，例如 typename 表示一个依赖的嵌套类型，template 则在需要引用依赖模板时显式使用。下面的示例展示了这种行为的典型场景。
template
struct Holder {typedef typename T::value_type value_type; // 依赖类型，需要使用 'typename'value_type v;
};template
void call(T t) {t.template foo(); // 需要 'template' 来指示依赖模板名
} 在上面的代码中，typename 用于告知编译器 T::value_type 是一个类型名，而不是静态成员等其他实体；template 则用于指示对 T::foo 为依赖模板时的正确语义。这样的处理保证了模板定义阶段与实例化阶段之间的语义清晰且可预测。两阶段名称查找因此成为理解模板行为的基石。
2. 模板实例化中的名称解析规则全解
2.1 规则总览
本文聚焦于 模板实例化中的名称解析规则，也就是当模板被实际实例化时，哪些名字会被绑定，哪些名称会因为依赖关系而延迟解析。非依赖名在定义时绑定，依赖名在实例化时绑定，并且在实例化阶段还要进行 ADL 的额外查找。通过这样的规则，C++ 能在保持模板泛化能力的同时，确保名称的正确绑定。下列要点尤为重要：依赖名、非依赖名、typename、template、ADL 的相互作用。
namespace Lib {struct X {};void f(X);
}template
void h(T t) {f(t); // 可能通过 ADL 在实例化阶段找到 Lib::f
}
int main() {Lib::X x;h(x);
} 通过上面的示例可以看到：实例化阶段的 ADL 在函数调用中的作用尤为显著，只有在实例化阶段才会把参数类型所在命名空间中符合条件的函数加入搜索集合。模板实例化中的名称解析规则还要求对嵌套类型、依赖模板名进行明确标记，以避免在编译期产生二义性或错误。ADL 的作用域由参数类型决定，而非仅靠当前可见的作用域。
2.2 依赖名称的显式处理与关键语法
对于依赖的嵌套类型，必须使用 typename 进行显式声明；对于依赖的模板名，必须在需要时使用 template 进行标识。这样的写法明确了名称解析的阶段与范围，避免在模板定义阶段就进行不必要的绑定，从而提升编译期的鲁棒性。下面的代码示例展示了这两个场景的标准写法。
template
struct Wrapper {typedef typename T::value_type value_type; // 依赖嵌套类型value_type v;
};template
void call(T t) {t.template foo(); // 依赖模板名，需使用 'template'
} 除了上述两点之外，模板实例化还涉及对 命名空间关联 与 显式作用域 的正确处理。通过结合 typename、template、以及 ADL 的结合使用，可以确保在复杂模板场景中的名称解析是一致且可预测的。
2.3 ADL 与实例化阶段的细节
ADL 的核心在于：当对一个未限定的名字进行调用时，编译器不仅要进行通常的普通查找，还要在参数类型所在的命名空间进行额外的查找。ADL 仅在实例化阶段生效，因此在模板定义阶段，若某个函数名不在当前作用域中，只有在实例化后且参数类型的命名空间可把该函数作为候选才会被绑定。下列示例展示了 ADL 在模板实例化中的典型用法。
namespace N {struct X {};void g(X);
}
template
void f(T t) { g(t); } // 依赖于 T 的类型，ADL 会在实例化时查找命名空间 N
int main() {N::X x;f(x);
} 在上面的代码中，N::g 只有在模板实例化时且参数类型为 N::X 时才通过 ADL 被发现。这个示例明确说明了 实例化阶段的名称解析与 ADL 的配合对模板行为的影响。若没有正确的机制，编译器将报错说找不到名称。
2.4 常见错误与注意事项
在实际编写模板时，以下错误点是高发且需要特别注意的：缺少 typename 会导致对嵌套类型的错误解析；缺少 template 在引用依赖模板名时会产生编译失败；未正确利用 ADL 可能导致在某些类型上找不到期望的函数。对这些问题进行提前判断，可以显著降低模板实现中的调试成本。
// 错误示例：未使用 typename
template
struct Bad {typedef T::value_type value_type; // 这里缺少 'typename'
};// 错误示例：未在依赖模板名处使用 template
template
void bad(T t) {t.template foo(); // 如果 foo 不是模板，使用 template 会报错
} 通过这些对照，可以更清晰地理解在模板实例化中的名称解析过程是如何被严格约束和正确执行的。这也是为何正确使用 typename、template 以及对 ADL 的理解与掌握如此重要。本文围绕 C++两阶段名称查找是什么？模板实例化中的名称解析规则全解，揭示了两阶段查找的核心机制以及模板实例化时的名称解析细则。
