C++语言学习(2): name lookup 的概念
何谓 name lookup
C++ 中很重要的一个概念：name lookup。
当编译器在遇到一个 name 的时候， 会做查找（lookup），会把引入这个 name 的声明和它关联起来，具体来说，又包含两种类型的 lookup：
- qualified lookup: 带限定的查找
- unqualified lookup：不带限定的查找
对于 std::cout << std::endl ，编译器做了这些 name lookup：
- 非限定查找，找到了
iostream文件里的std命名空间 - 限定查找，在
ostream文件中找到了std::cout变量的声明 - 限定查找，在
ostream文件中找到了std::endl函数 的定义
scope resolution operator
两个冒号挨着出现 :: 叫做 scope resolution operator， 中文意思是作用于解析操作符。
对于 name lookup：
- 如果 name 不出现在 scope resolution operator 右侧， 那么就是执行 unqualified lookup，即
<name>或<name>::<blablabla>的 name - 如果 name 出现在 scope resolution operator 右侧，那么就是 qualified lookup
具体规则又很多， 举一个最近遇到的：
class MemoryManager {
public:...void free(void *buffer) {if (buffer_info.find(buffer) == buffer_info.end()) {printf("Error: invalid address, not allocated from MemoryManager\n");return;}allocated_size -= buffer_info[buffer];buffer_info.erase(buffer);::free(buffer); // 这一行使用了 scope resolution operator}
};
为什么 MemoryManager::free() 内要使用 ::free() 而不是 free() ？ 因为如果用 free() 会做 unqualified lookup，查询到当前函数本身，产生无限递归，这显然不是我们预期的。
Ref
https://en.cppreference.com/w/cpp/language/unqualified_lookup