关于函数模板匹配规则：为何std::cout<<字符串调用全局函数而非成员函数？

场景1：基础类型与普通指针的调用行为 #

int a = 123;

std::cout << a;
/* 调用 std::ostream& std::ostream::operator<<(int val) */

std::cout << &a;
/* 调用 std::ostream::operator<<(const void* val) */

场景2：字符串字面量的调用行为 #

std::cout << "hello\n";
/* 调用 std::ostream& std::operator<< <std::char_traits<char>>(
    std::ostream& ostr, const char* val) */

核心疑问 #

为什么这里不调用std::ostream& std::ostream::operator<<(const void* val)？

我原本以为直接调用成员函数std::cout.operator<<("hello\n");会输出字符串内容，但实际打印的是地址。测试代码及输出如下：

int main()
{
    std::cout << "hello\n";
    std::operator<<(std::cout, "hello\n");
    std::cout.operator<<("hello\n");
    /* 输出：
        hello
        hello
        000E9B30
    */
    return 0;
}

原因解析 #

这完全是C++重载决议的优先级规则在起作用：

• 当使用std::cout << "hello\n"这种表达式形式调用时，编译器会在所有可用的重载（包括成员版和全局版）中挑选最匹配的：

  • 全局版的std::operator<<(ostream&, const char*)是专门为C风格字符串设计的重载，字符串字面量"hello\n"的类型是const char[6]，可以直接隐式转换为const char*，和这个重载的参数完全匹配。
  • 成员版的std::ostream::operator<<(const void*)需要把const char*转换为const void*，属于派生类型到基类型的隐式转换，匹配优先级低于完全匹配的全局重载。因此编译器会选择全局重载，输出字符串内容。

• 当直接调用std::cout.operator<<("hello\n")时，只能访问std::ostream类的成员重载：

  • std::ostream的成员函数中没有针对const char*的专门重载，只有接受const void*的版本。所以编译器会把const char*隐式转换为const void*，调用这个成员函数，最终输出字符串的内存地址。

• 而std::operator<<(std::cout, "hello\n")是直接指定调用全局版的字符串重载，因此自然输出字符串内容。

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