operator+不能是函数模板，但可通过非模板重载函数调用私有函数模板、返回泛型代理对象或借助模板友元声明配合decltype推导实现跨类型运算。
operator+ 不能直接带模板参数，得用函数模板包装
你没法写 template<typename t typename u> T operator+(const T&, const U&)</typename> 这种全局重载——编译器会拒绝：运算符重载函数本身不允许是函数模板。这是 C++ 标准硬性限制（C++17 §12.5.1），不是编译器 bug。
但你可以把模板逻辑“藏”在普通重载函数里：
- 写一个非模板的
operator+，内部调用一个私有或友元的函数模板（比如detail::add_impl） - 或者让
operator+成员函数返回一个泛型代理对象（如SumProxy<t u></t>），延迟到后续操作（如赋值或转换）再实例化模板 - 更常见的是：把多模板参数逻辑移到类设计层——比如定义
template<typename l typename r> struct BinaryOp</typename>，再让operator+返回它
二元运算符重载中，两个操作数类型不同时怎么传参
当你要支持 MyVec<int> + MyVec<double></double></int> 或 MyVec<int> + std::vector<float></float></int> 这类跨类型运算时，operator+ 的参数不能只写 const MyVec<t>&</t> ——那只能匹配同类型。
正确做法是用模板友元声明（在类内）或非成员模板函数（配合 ADL）：
立即学习“C++免费学习笔记（深入）”；
- 在类定义内加：
template<typename u> friend MyVec<decltype>() + std::declval<u>())> operator+(const MyVec<t>&, const U&);</t></u></decltype></typename> - 注意返回类型要用
decltype推导，避免硬编码；否则int + double返回int就丢精度 - 如果模板参数太多导致 SFINAE 失败，可加
std::enable_if_t约束：比如只允许U是算术类型或兼容容器
为什么 operator
operator 必须是非成员函数，因为左操作数是 <code>std::ostream&，你没法把它塞进自定义类的成员函数里（this 永远是第一个隐式参数，而这里需要 ostream 在左边）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
对模板类如 template<typename t> class Box</typename>，你要写：
template<typename T>
std::ostream& operator<<(std::ostream& os, const Box<T>& b) {
return os << "[" << b.value << "]";
}
关键点：
- 这个函数本身是函数模板，不是运算符重载模板——它合法，因为没违反“运算符重载不能是模板”的规则（它是普通函数模板，只是名字叫
operator） - 必须声明为
friend才能访问Box<t></t>的私有成员，或把访问逻辑抽成公有to_string()方法 - 别忘了在头文件里定义（非 inline 会导致 ODR 多定义错误），且避免在 .cpp 里只定义不导出
operator[] 和 operator() 支持模板参数的边界情况
operator[] 和 operator() 只能是类成员函数，且标准规定它们**不能是模板成员函数**（C++17 §12.5.2）。也就是说，你不能写：
template<typename Index> T& operator[](Index i); // ❌ 编译错误
但你可以绕过：
- 用非模板
operator[]接收通用类型（如std::any、variant或自定义 tag 类型），内部再 dispatch 到模板辅助函数 - 提供命名模板方法替代：比如
at<indextype>(i)</indextype>、get_as<t>()</t>，比强行塞进[]更清晰 -
operator()同理——它支持多个参数，但每个参数类型必须在声明时固定；想支持变参？得用template<typename... args> auto operator()(Args&&...)</typename...>，这是合法的（C++11 起允许模板化的operator()）
真正容易被忽略的是：模板化 operator() 一旦存在，它就参与重载决议，可能意外屏蔽掉你写的非模板版本，尤其当参数能隐式转换时——务必显式禁用或用 requires（C++20）约束。
