cpp【运算符重载机制】
运算符重载也是编译期完成解析的。它和函数重载非常像，因为：
重载运算符本质上就是一个特殊名字的函数调用。
例如：
a + b
如果 a 或 b 是类类型，编译器会尝试把它解释成类似：
a.operator+(b)
或者：
operator+(a, b)
1. 运算符重载的本质
比如你写：
struct Vec {
int x;
Vec operator+(const Vec& other) const {
return Vec{x + other.x};
}
};
使用：
Vec a{1};
Vec b{2};
Vec c = a + b;
编译器会在编译期把：
a + b
解析成：
a.operator+(b)
也就是普通函数调用。
所以它不是运行期动态决定的。
2. 它发生在编译流程哪个阶段？
和普通函数重载一样，主要发生在语义分析阶段。
更精确流程是：
词法分析
↓
语法分析：看到 a + b，构建一个“二元 + 表达式”的 AST
↓
语义分析：
1. 确定 a 和 b 的类型
2. 如果都是内置类型，用内置 +
3. 如果至少一个是类类型或枚举类型，启动运算符重载解析
4. 收集候选函数
5. 做重载决议
6. 选出最佳 operator+
7. 把 a + b 绑定到具体函数调用
↓
优化
↓
生成目标代码
关键是：语法分析阶段只知道这是：
BinaryOperator '+'
它还不知道最终是整数加法，浮点加法，还是某个 operator+ 函数。
3. 举个完整例子
struct Vec {
int x;
Vec operator+(const Vec& rhs) const {
return Vec{x + rhs.x};
}
};
int main() {
Vec a{1}, b{2};
Vec c = a + b;
}
编译器处理：
Vec c = a + b;
时：
第一步：语法分析
构建 AST，大概是：
BinaryOperator '+'
├── DeclRefExpr a
└── DeclRefExpr b
此时还只是一个 + 表达式。
第二步：语义分析，确定类型
a : Vec
b : Vec
发现操作数是类类型。
所以不能直接用 CPU 的整数加法。
于是进入运算符重载解析。
第三步：查找候选函数
编译器会找：
a.operator+(b)
也就是成员运算符：
Vec Vec::operator+(const Vec& rhs) const
也会找非成员运算符：
operator+(a, b)
比如：
Vec operator+(const Vec& lhs, const Vec& rhs);
第四步：重载决议
如果候选有多个，编译器会判断哪个最匹配。
例如：
struct Vec {
Vec operator+(const Vec& rhs) const;
};
Vec operator+(Vec lhs, Vec rhs);
那么：
a + b
可能出现候选竞争。
编译器会根据标准的重载决议规则选择最佳的那个；如果选不出来，就报二义性错误。
第五步：绑定成具体函数调用
如果最终选中成员函数：
Vec Vec::operator+(const Vec&) const
那么：
Vec c = a + b;
语义上就等价于：
Vec c = a.operator+(b);
后面就是普通函数调用流程：
可能内联 → 优化 → 生成机器码
4. 和 name mangling 的关系
你说函数重载和 name mangling，这里要稍微校正一下：
重载决议不是靠 name mangling 完成的。
更准确是：
| 机制 | 发生时间 | 作用 |
|---|---|---|
| 重载决议 | 编译期语义分析 | 从多个同名函数中选一个 |
| name mangling | 编译后端/目标文件符号生成 | 给不同函数生成不同链接符号名 |
例如：
void f(int);
void f(double);
编译期先决定：
f(1) -> f(int)
之后生成符号时，才可能变成类似：
_Z1fi
_Z1fd
name mangling 是为了链接器区分它们，不是为了编译器选择它们。
运算符重载也一样。
例如：
Vec Vec::operator+(const Vec&) const
最后也会被 mangling 成某个符号名，但“选择它”这个动作早在语义分析阶段就完成了。
5. 运算符重载和模板的关系
如果 operator+ 本身是模板：
template<class T>
T operator+(const Box<T>& a, const Box<T>& b);
那么流程就和前面模板那套结合起来：
看到 a + b
↓
发现需要运算符重载
↓
收集 operator+ 候选
↓
如果候选里有函数模板：
做模板参数推导
实例化候选
↓
重载决议
↓
选中具体 operator+
↓
语义检查实例化结果
所以对于模板运算符，两个机制会叠加：
运算符重载解析 + 模板实例化
6. 最核心总结
a + b 在 C++ 里有两条路：
情况一：内置类型
int a, b;
a + b;
编译器直接绑定到内置加法，后面生成类似 CPU add 指令。
情况二：类类型
Vec a, b;
a + b;
编译器在语义分析阶段把它解析成：
a.operator+(b)
或：
operator+(a, b)
然后像普通函数一样处理。
一句话：
运算符重载是在编译期语义分析阶段完成解析的；它的本质是把运算符表达式绑定到一个具体的
operator函数调用，之后再参与优化和代码生成。
总结
词法分析
↓
语法分析：看到 a + b，构建一个“二元 + 表达式”的 AST
↓
语义分析：
1. 确定 a 和 b 的类型
2. 如果都是内置类型，用内置 +
3. 如果至少一个是类类型或枚举类型，启动运算符重载解析
4. 收集候选函数
5. 做重载决议
6. 选出最佳 operator+
7. 把 a + b 绑定到具体函数调用
↓
优化
↓
生成目标代码
浙公网安备 33010602011771号