C++中非成员模板operator<=语法正确却未被调用的原因

核心原因：内置类型的运算符查找规则限制 #

你的代码里操作数是int这类内置基本类型，C++对这类类型的运算符处理有特殊规则：

• 编译器会直接使用语言原生的<=运算符，不会去查找用户定义的运算符重载（包括模板版本）。原生运算符是语言内置的逻辑，优先级远高于任何用户自定义实现。
• 参数依赖查找（ADL）机制无法生效：ADL会在操作数类型所属的命名空间中查找运算符，但int没有关联的命名空间，因此全局命名空间里的这个模板运算符不会被ADL找到。
• 即使编译器尝试匹配，原生运算符属于非模板的精确匹配，而你的模板需要实例化出对应版本，编译器会优先选择非模板的重载实现，所以还是不会选中你的模板。

验证方法（自定义类型即可触发模板） #

如果换成自定义类型，模板就能被正常调用，比如：

#include <iostream>
using namespace std;

template<class T> bool operator<= (const T& left, const T& right)
{
  cout<<"overloaded"<<endl;
  return left.val <= right.val; // 适配自定义类型的成员访问
}

struct MyInt {
    int val;
    MyInt(int v) : val(v) {}
};

int main()
{
    MyInt a(10), b(5);
    cout<<(a <= b)<<endl; // 此时会调用重载的模板operator<=
    return 0;
}

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