何谓 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