使用std::sort+lambda排序近乎同值vector时为何触发核心转储？

你遇到的core dump本质是传给std::sort的比较谓词违反了C++标准对排序算法的严格弱序要求。

std::sort要求比较函数必须满足严格弱序，其中关键规则包括：

• 自反性：任意元素x，comp(x, x)必须返回false
• 不对称性：若comp(x, y)返回true，则comp(y, x)必须返回false

你写的lambdareturn a.value <= b.value完全不满足这两条：当a和b的value相等时，comp(a,b)和comp(b,a)都会返回true，同时comp(a,a)也会返回true。这种非法谓词会导致std::sort内部的排序逻辑（比如快速排序的分区、递归过程）出现逻辑错误，比如无限递归、内存访问越界，最终触发core dump。

你提到“至少4种不同值才不会崩溃”是偶然现象——这只是特定数据分布下，非法谓词刚好没触发致命错误，但这属于未定义行为，标准不保证任何结果，换个编译器、版本或数据量，随时可能崩溃。

只需要把比较谓词改成严格小于，就能满足严格弱序要求：

auto comp = [](const SItem& a, const SItem& b)
{
    return a.value < b.value;
};

如果需要降序排序，使用a.value > b.value即可，同样符合严格弱序要求。

所有C++标准库中的排序类算法（如std::sort、std::stable_sort），以及关联容器（如std::set、std::map）的比较函数，都要求满足严格弱序。违反该规则的代码会导致未定义行为，必须避免。

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