在c++中，名称解析（Name Resolution）或命名查找（Name Lookup）是编译器根据标识符（如变量、函数、类名等）确定其含义的过程。这个过程遵循一系列规则和顺序，确保程序中的每个名字都能正确地绑定到其定义。理解这些规则对于避免歧义、模板编程和使用继承时尤其重要。
1. 作用域查找：从内到外逐层搜索
当一个名字出现在代码中时，编译器首先在最内层作用域开始查找，逐步向外扩展，直到找到匹配的声明为止。
一旦在某一层作用域中找到该名称的声明，查找就停止，不再继续向外搜索——这就是所谓的“作用域遮蔽”（Shadowing）。
示例：
int x = 10; void func() { int x = 20; // 遮蔽了全局x cout << x; // 输出20 }
2. 类作用域中的名字查找
在类成员函数中使用的名字，编译器会先在局部作用域查找，然后在类作用域中查找成员变量或成员函数。
立即学习“C++免费学习笔记（深入）”；
注意：类作用域不跨越基类自动展开，除非显式引入。
示例：
class Base { protected: int value; }; class Derived : public Base { public: void print() { cout << value; // OK: value 是 Base 的 protected 成员 } };
但如果基类成员被派生类中的名字遮蔽，就会出问题：
class Base { public: void foo(); }; class Derived : public Base { int foo; // 遮蔽了 Base::foo() public: void bar() { foo(); // 错误！foo 是 int 类型，不是函数 } };
此时必须用 Base::foo() 显式调用。
3. 参数依赖查找（ADL, Argument-Dependent Lookup）
又称“Koenig查找”，用于函数调用时，除了常规作用域查找外，还会在函数参数类型所在的命名空间中查找函数。
这使得像 std::cout << x; 这样的表达式无需写成 operator<<(std::cout, x) 也能找到正确的重载运算符。
示例：
namespace NS { struct A {}; void func(A); } NS::A a; func(a); // 即使没 using namespace NS，也能找到 NS::func —— 因为 ADL
ADL 只适用于非限定函数调用（即不带作用域前缀的函数名）。
4. 派生类中的名字隐藏（Name Hiding）
在继承体系中，如果派生类声明了一个与基类同名的函数（无论参数是否相同），那么基类中所有同名函数都会被隐藏。
示例：
class Base { public: void display(); void display(int); }; class Derived : public Base { public: void display(double); // 隐藏了 Base 中所有的 display }; Derived d; d.display(10); // 错误！Base::display(int) 被隐藏 d.display(3.14); // OK d.Base::display(10); // 显式调用基类版本
若要恢复所有重载，需使用 using Base::display; 引入基类函数。
5. 依赖于实参的名字查找（模板中的两阶段查找）
- 非依赖性名字：在模板定义时查找，只考虑模板定义点可见的声明。
- 依赖性名字：与模板参数相关的名字，在实例化时查找，结合实参类型进行 ADL。
注意：依赖性名字不会在基类中自动查找，必要时需用 this->name 或 Base<T>::name 显式指定。
示例：
template<typename T> struct Derived : Base<T> { void foo() { // this->value 或 Base<T>::value 才能访问基类成员 value = 100; // 错误！value 是依赖性名字，不能直接查 } };
基本上就这些。C++的名字查找机制虽然复杂，但只要记住“作用域由内向外”、“ADL看参数类型”、“继承中会隐藏”、“模板分两阶段”，就能应对大多数情况。关键是理解查找顺序和遮蔽规则，避免意外绑定。