std::vector自定义排序比较函数为何用const引用？A、B写法有何区别？

你给出的两种比较函数的核心差异集中在参数传递机制、安全性、泛用性三个维度，对于int这类小型内置类型而言运行效果没有区别，但放到更通用的场景下差异会非常明显：

• 传递开销差异
  写法A：bool cmp(const int &a, const int &b)采用常量左值引用传参，直接绑定vector中的原元素，不会产生任何拷贝动作；
  写法B：bool cmp(int a, int b)采用值传递，每次调用cmp时都会把vector中的元素拷贝一份作为形参。
  对于占4字节的int类型，拷贝开销和引用的寻址开销几乎一致，因此你测试时感知不到差异；如果vector存储的是大结构体、长字符串、嵌套容器这类大对象，值传递的拷贝开销会比引用高几十甚至上百倍，直接大幅降低排序效率。
• 安全约束差异
  写法A的参数加了const修饰，从语法层面强制约定了函数内部不能修改参数值，完全符合std::sort对比较函数的要求（比较函数必须是不会修改比较对象的纯函数），如果不小心在函数内写了修改参数的代码，编译器会直接报错，避免出现不可预期的排序错误；
  写法B的参数是可修改的局部变量，就算你误写了修改逻辑也不会触发编译报错，虽然不会影响原数组的元素，但如果后续维护时把参数改成引用又忘了加const，就可能出现修改原数组元素的严重问题。
• 泛用性差异
  如果后续你把vector的元素类型换成不可拷贝的类型（比如std::unique_ptr、自定义的不可拷贝类），写法B会直接编译失败，因为值传递要求参数类型支持拷贝构造；而写法A采用引用传参，不需要触发拷贝逻辑，兼容所有可比较的类型，泛用性更强。

本质上是为了写出通用、高效、安全的比较函数，不需要针对不同元素类型调整参数写法：

1. 性能普适：不管元素是小类型还是大对象，都不会产生不必要的拷贝开销，性能表现始终最优
2. 语法安全：const约束强制符合std::sort对比较函数的要求，避免人为写出错误逻辑
3. 兼容性强：兼容可拷贝、不可拷贝、可移动的所有可比较类型，后续容器元素类型变更时不需要修改比较函数代码

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