静态比较函数用>=引发堆缓冲区溢出，为何需改为>？

先看这段代码：

class Solution {
private:
    static bool cmp(const int& a, const int& b)
    {
        return a >= b;
    }
public:
    long long function(vector<int>& nums) {
        sort(nums.begin(), nums.end(), cmp);
        return 0;
    }
};

这段代码在处理如下全1长数组时会触发堆缓冲区溢出：

[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

但处理较短的相同元素数组时却能正常运行：

[1,1,1,1,1,1,1,1,1,1,1,1,1]

将cmp函数改为return a > b;后，问题就解决了。

核心原因：违反了sort要求的严格弱序规则 #

C++标准库的sort算法要求自定义比较函数必须满足严格弱序，其中最关键的一条是：对于任意元素x，比较x和自身时必须返回false。

用a >= b作为比较逻辑时，当a和b相等（比如都是1），cmp(x, x)会返回true，直接违反了严格弱序的要求。sort的底层实现（比如快速排序的分区逻辑）依赖这个规则来正确划分元素、判断递归边界，一旦规则被打破，算法会出现逻辑混乱——比如陷入无限递归、错误地访问数组之外的内存区域，最终触发堆缓冲区溢出。

为什么短数组能正常运行？ #

这只是巧合。sort针对短数组通常会切换到插入排序实现，插入排序对比较函数的错误容忍度更高，不会立刻触发内存错误，但这并不代表代码是正确的——本质上这依然是未定义行为，换个环境、换个编译器版本都可能出问题。

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