C++中运算符如何选择重载版本？以std::string与字符串字面量相加为例

核心原理 #

你猜测的方向是对的，"hello " + s确实调用了std::string对应的+运算符重载，只不过它调用的不是std::string的成员运算符重载，而是标准库专门提供的非成员全局运算符重载。

我们逐一拆解三种场景的底层逻辑：

1. 两个字符串字面量相加报错
   C中双引号包裹的字符串字面量类型是const char[N]（N为字符串长度+1，用于存储末尾的'\0'结束符），使用+运算符时会自动退化成为const char*指针类型。而C内置的指针加法规则不支持两个指针直接相加，因此编译直接报错。

#include <iostream>

int main() {
  std::cout << "hello " + "world";
}
// Error

2. s + "world" 正常运行
   这里调用的是std::string的成员运算符重载：std::string std::string::operator+(const char* rhs)，左操作数是std::string对象，右操作数是const char*类型，参数完全匹配，直接执行字符串拼接逻辑。

#include <iostream>

int main() {
  std::string s = "hello ";
  std::cout << s + "world";
}
// Fine, prints hello world

3. "hello " + s 正常运行
   为了支持左操作数为C风格字符串的拼接场景，标准库为std::string额外定义了一组非成员的+运算符重载，其中就包含：

std::string operator+(const char* lhs, const std::string& rhs);

这个重载的实现逻辑非常直接：内部先将lhs指向的C风格字符串拷贝构造为一个临时std::string对象，再调用+=运算符把rhs的内容拼接到临时对象末尾，最终返回拼接完成的临时std::string对象。

#include <iostream>

int main() {
  std::string s = "world";
  std::cout << "hello " + s;
}
// Fine, prints hello world

运算符重载的选择规则 #

C++编译器处理运算符表达式时，遵循标准的重载决议机制选择要调用的实现，流程如下：

• 第一步收集所有候选：同时查找三类实现：类的成员运算符重载、全局/对应命名空间下的非成员运算符重载、内置的运算符实现。
• 第二步筛选可行候选：逐一判断每个候选的参数是否能通过隐式转换匹配当前的操作数类型，过滤掉完全无法匹配的候选。
• 第三步选择最优候选：对所有可行候选的隐式转换代价做排序，选择转换代价最低的实现；如果存在多个相同代价的候选则报歧义编译错误。

放到"hello " + s的场景中：

• 内置指针加法：右操作数是std::string，无法转换为指针或整数类型，直接排除。
• 成员运算符重载：std::string的成员+运算符要求左操作数必须是std::string类型，当前左操作数是const char*，无法匹配，排除。
• 非成员operator+(const char*, const std::string&)：左操作数const char[N]退化为const char*是无代价的完美匹配，右操作数std::string绑定到const引用也是无代价的完美匹配，因此被选为唯一最优实现执行调用。

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