如何重载std::vector<int>的operator<供std::sort使用及相关作用域问题

namespace std {
  bool operator<(const vector<int>& v1, const vector<int>& v2)
  {
      if (v1[0] < v2[0] && v1[1] < v2[1])
          return false;
      else
          return true;
  }
}

int main() {
  vector<vector<int>> a1{ {1,2},{3,4} };
  sort(a1.begin(), a1.end());
  for (auto num : a1)
      cout << num[0] << num[1] << endl;
  return 0;
}

1. 移除namespace std包裹后代码无法运行的原因 #

该现象确实和C++的名字查找规则直接相关：

• std::sort本身定义在std命名空间内，它内部调用operator<执行比较时，会触发参数依赖查找（ADL）：由于被比较的两个对象都是std::vector<int>类型，该类型所属的命名空间是std，所以查找范围会优先覆盖std命名空间。
• 标准库本身已经提供了通用的std::vector的operator<模板实现，如果你把自定义的operator<放在全局命名空间，重载决议时会优先匹配std命名空间内的默认版本，不会检索到你写的全局重载，要么排序逻辑不符合预期，要么直接触发编译冲突。

注意：你当前的写法存在两个风险：

1. 把自定义operator<放入std命名空间属于C++标准未定义行为，标准仅允许用户向std命名空间添加标准库模板的用户自定义类型特化，不允许添加新的重载/声明，实际运行可能出现不可预期的问题。更推荐的做法是自定义比较函数直接传给std::sort，无需修改operator<。
2. 你实现的operator<逻辑不满足std::sort要求的严格弱序规则，就算编译通过，也可能出现排序结果异常、运行时崩溃等问题。

2. 不需要模板特化的原因 #

这是因为你当前的写法是运算符重载，而非模板特化，两者的适用场景和匹配规则完全不同：

• 标准库提供的std::vector的operator<是一个模板函数，你写的是针对std::vector<int>的非模板重载函数，C++重载决议规则中，同等匹配度下非模板函数的优先级高于模板函数，所以只要你的重载能被检索到，就会优先被调用，不需要做模板特化。
• 你提到的std::pair的特化场景，通常是需要为某一类通用的pair模板实例修改比较逻辑，才需要用到模板特化的写法，和你当前针对特定完全实例化类型写重载的场景并不一致。

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