macOS与Linux下qsort()排序结果异常差异的原因探究

这个问题的核心在于你写的比较函数没有遵守C标准中qsort对比较函数的返回值规范，不同平台的qsort实现对这种不规范的返回值处理方式不同，才导致了跨平台的差异。

1. qsort对比较函数的硬性要求 #

C标准明确规定，qsort的比较函数（compar）需要满足：

• 当第一个参数指向的元素小于第二个参数指向的元素时，返回小于0的整数
• 当两个元素相等时，返回0
• 当第一个参数指向的元素大于第二个参数指向的元素时，返回大于0的整数

而你最初的代码：

return indexp->index > indexq->index;

在C语言中，关系运算符>的结果是int类型的0（不成立）或1（成立）。这意味着你的比较函数永远不会返回负数——当indexp->index小于indexq->index时，它返回0而不是预期的负数，这完全违反了qsort的规范，属于未定义行为。

2. 不同平台qsort实现的差异 #

• Ubuntu 16.04（glibc）：glibc的qsort实现（通常是快速排序的变种）对这种不规范的返回值有一定的容错性。它可能将非零值都视为“大于”的信号，或者在排序逻辑中能部分兼容这种返回值，所以碰巧能正常排序。但这只是巧合，不是标准行为。
• macOS（BSD系libc）：macOS使用的是BSD风格的qsort实现，它的排序算法（比如可能是更严格的快速排序或归并排序）依赖比较函数返回正确的正负值来区分“小于”和“大于”的情况。当你的函数返回0表示“小于”时，算法无法正确判断元素的相对顺序，自然就排序失败了。

3. 为什么改成减号就正常了？ #

当你把代码改成：

return indexp->index - indexq->index;

这个表达式的结果完全符合qsort的要求：

• 若indexp->index < indexq->index，结果为负数
• 若两者相等，结果为0
• 若indexp->index > indexq->index，结果为正数

这样的返回值严格遵守了标准，所以无论是glibc还是BSD的qsort实现都能正确处理，跨平台自然就正常了。

额外提醒 #

虽然用减法看起来简单，但要注意整数溢出的问题：如果indexp->index和indexq->index是较大的整数，相减可能会溢出，导致返回值错误。更安全的写法是显式判断并返回对应的正负值：

if (indexp->index < indexq->index) {
    return -1;
} else if (indexp->index > indexq->index) {
    return 1;
} else {
    return 0;
}

这种写法完全避免了溢出问题，也更清晰易懂。

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