C++类成员函数中调用foo()和::foo()有什么区别

前置的双冒号是C++的全局作用域解析运算符，两种写法的本质差异是编译器查找目标函数的范围、顺序完全不同：

• 对于不带前缀的foo()调用：编译器会从当前最内层作用域开始，由内向外逐层查找匹配的函数，查找顺序为：
  1. 当前ClassYaba类的成员函数
  2. ClassYaba所有父类的成员函数
  3. 类所在命名空间内的自由函数
  4. 逐层向外查找所有外层嵌套命名空间内的自由函数
  5. 最后才会查找全局命名空间内的函数
     只要在某一层找到签名匹配的foo，编译器就会停止查找，直接使用该版本。
• 对于带全局作用域前缀的::foo()调用：开头的::会明确告知编译器，直接跳过所有类、局部、嵌套命名空间的查找流程，仅在全局命名空间范围内查找匹配的foo函数，不会匹配任何内层作用域的同名函数。

实际编码中的影响 #

哪怕你确认当前类、类所在命名空间都不存在同名foo，两种写法当下运行结果一致，二者依然有明确差异：

1. 代码意图更清晰：::foo()直接表达了「我要调用的是全局作用域下的foo」的设计意图，读代码的人不需要逐层确认有没有内层同名函数。
2. 避免后续迭代的意外bug：如果后续有人在类内、类所在命名空间新增了同名foo函数，不带前缀的foo()调用会自动匹配到新增的内层版本，导致逻辑不符合预期；而::foo()会始终调用全局版本，不会被内层新增的同名函数干扰。

举个直观的代码示例：

#include <iostream>
void foo() {
    std::cout << "调用全局foo函数" << std::endl;
}

namespace MyNS {
    // 命名空间内的同名foo
    void foo() {
        std::cout << "调用MyNS命名空间内的foo函数" << std::endl;
    }

    class ClassYaba {
    public:
        // 类内同名成员函数
        void foo() {
            std::cout << "调用ClassYaba类成员foo函数" << std::endl;
        }

        void funcname() {
            foo();      // 会优先匹配类内的成员foo，输出「调用ClassYaba类成员foo函数」
            ::foo();    // 直接找全局foo，输出「调用全局foo函数」
        }
    };
}

内容的提问来源于stack exchange，提问作者Ed.