C++运算符重载不能改变操作数个数，+必须且只能有两个参数；operator+(a,b,c)非法，因+是固定二元运算符，多参数视为普通函数而非重载。
不能重载“带有多个参数的运算符”——因为所有 C++ 运算符本身就有固定的操作数个数，所谓“多个参数”其实是误解。真正要解决的是：如何为含多个模板参数的类重载运算符，或如何让二元运算符（如 +、==）正确处理不同组合的左右操作数类型。
为什么 operator+ 不能写成 operator+(a, b, c)
所有内置运算符的语法结构是固定的：+ 是二元运算符，只接受两个操作数；++ 是一元运算符，只接受一个。重载时不能改变操作数个数，否则编译器直接报错：error: wrong number of parameters。试图添加第三个参数，就不再是运算符重载，而是普通函数，名字也不能叫 operator+。
常见误写：
Box<int> operator+(Box<int> a, Box<int> b, int scale); // ❌ 非法：+ 只能有两个参数
正确做法是把额外参数移入函数体或作为成员变量参与计算。
立即学习“C++免费学习笔记（深入）”；
多模板参数类的 operator
当类模板带多个参数（如 template<typename T, size_t N> class Array），重载 << 时容易漏掉模板参数声明，导致链接错误或“undefined reference”。关键点是：友元声明必须在类内完整写出模板形参，并在类外定义时显式指定模板实参或使用模板声明。
常见错误现象：
- 编译通过但链接失败，提示
undefined reference to operator<<(std::ostream&, Array<int, 3> const&) - 类内只写
friend std::ostream& operator<<(std::ostream&, const Array&);—— 缺少模板上下文，编译器无法推导
正确写法（推荐）：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename T, size_t N>
class Array {
T data[N];
public:
friend std::ostream& operator<<<T, N>(std::ostream& os, const Array& a); // 显式绑定模板实例
};
<p>template<typename T, size_t N>
std::ostream& operator<<<T, N>(std::ostream& os, const Array<T, N>& a) {
os << "[";
for (size_t i = 0; i < N; ++i) os << a.data[i] << (i == N-1 ? "" : ", ");
return os << "]";
}二元运算符重载该用成员函数还是非成员函数
取决于是否需要左操作数隐式转换。比如 Array<int, 3> + int 要合法，operator+ 必须是非成员函数（或友元），否则 int + Array 中的 int 无法调用 Array::operator+（this 指针只能绑定左侧对象）。
要点：
- 成员版
Array::operator+(const Array& other)：左侧必须是Array实例，右侧可自动转换 - 非成员版
operator+(const Array& a, const Array& b)：两侧都支持用户定义的隐式转换（如Array + std::vector，前提是提供了对应构造） - 若运算符需访问私有成员，非成员版必须声明为
friend -
==、!=、<<、>>等几乎都应是非成员函数
后置递增/递减必须带 int 参数，但别真用它传值
后置版本（如 a++）的重载函数签名强制要求第二个参数为 int，这是 C++ 的语法约定，不是让你传入有意义的整数。编译器会自动传入 0，你只需把它当占位符看待。
错误写法：
Array<int, 3> operator++(int step) { /* step 是编译器塞的 0，不是用户传的 */ }正确写法：
Array<int, 3> operator++(int) { // 参数名可省略
Array<int, 3> old = *this;
for (auto& x : data) ++x;
return old;
}这个 int 参数唯一作用是和前置版本（operator++()）构成重载区分，它不参与逻辑，也不该被命名或使用。
最容易被忽略的一点：模板类的运算符重载一旦涉及友元，就必须在类定义内完成声明，且模板参数必须显式关联；否则编译器根本看不到那个函数的存在，链接时必然失败。这不是语法糖问题，是模板实例化时机决定的硬约束。
