答案：名称解析从内层作用域向外查找，局部声明遮蔽外层同名声明，如局部变量x遮蔽全局x。
在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 这样的表达式无需写成 operator 也能找到正确的重载运算符。
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 显式指定。
template基本上就这些。C++的名字查找机制虽然复杂，但只要记住“作用域由内向外”、“ADL看参数类型”、“继承中会隐藏”、“模板分两阶段”，就能应对大多数情况。关键是理解查找顺序和遮蔽规则，避免意外绑定。struct Derived : Base { void foo() { // this->value 或 Base ::value 才能访问基类成员 value = 100; // 错误！value 是依赖性名字，不能直接查 } };
