使用longjmp跳出qsort是否合法？是否属于未定义行为？

核心结论：属于未定义行为，并非隐式允许 #

C语言规范仅对qsort()的比较函数做出了返回结果必须一致的要求——即对同一组元素的比较，每次调用比较函数都要返回相同的判定值，但完全没有提及通过setjmp/longjmp跳出qsort()执行流程的场景。这种标准未明确覆盖的操作，属于未定义行为，编译器和标准库没有义务保证其安全性或可预测性。

可能带来的影响 #

• 数组状态混乱：这是最直接的结果，数组会处于部分排序的不确定状态，后续使用该数组的逻辑会完全不可控。
• 资源泄漏或内部状态异常：不同标准库的qsort()实现逻辑不同（比如递归式快排、迭代式快排、甚至混合其他排序算法），执行过程中可能在栈上创建临时变量、维护内部排序状态。用longjmp直接跳出会跳过正常的函数退出流程，导致这些内部资源无法被正确清理，甚至可能破坏后续库函数的正常执行。
• 跨实现行为不一致：不同libc（如glibc、musl）的qsort实现细节差异极大，longjmp后的具体表现没有统一标准，代码完全不具备可移植性。

替代方案 #

如果需要中途终止排序逻辑，建议自行实现可控的排序算法（比如在排序循环中加入终止条件判断），而非依赖这种破坏标准流程的hack手段，既能保证资源正常清理，也能对数组状态做可控处理。

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