std::sort比较器反自反性的必要性：是否会引发程序崩溃？

违反严格弱序的反自反性要求，不仅会降低排序效率，还可能引发程序崩溃、无限循环等未定义行为，原因如下：

• 标准库的std::sort实现（通常是内省排序introsort的变体）完全依赖严格弱序的所有规则，包括反自反性（即comp(a,a)必须返回false）。当你用<=这类不满足反自反性的比较器时，算法的划分、递归终止等逻辑会被打乱：比如快速排序的划分阶段，会错误地认为元素需要和自身交换，或者递归深度无法收敛，最终导致栈溢出（崩溃）或无限循环。
• 你在Godbolt上用简易qsort未复现问题，是因为简易实现的逻辑相对粗糙，没有标准库实现里的深度检测、边界优化等复杂逻辑。这些优化逻辑对比较器的正确性依赖极强，一旦违反规则，就可能触发未定义行为——而未定义行为的表现是不可预测的：这次运行只是交换次数增加，换个编译器、优化等级或数据集合，就可能直接崩溃。
• 从标准层面来说，违反严格弱序的要求会直接导致std::sort的行为未定义，标准不保证任何安全的运行结果，效率降低只是最温和的一种表现。

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