qsort比较器函数运行时错误排查：自定义奇偶排序逻辑问题

你的cmp函数引发运行时错误的核心原因是有符号整数左移导致的未定义行为，同时存在逻辑冗余的瑕疵：

1. 未定义行为的根源 #

代码中(p_number1 & 1) << 31这一行，当p_number1是奇数时，1是有符号int类型，在32位系统中左移31位会直接触发有符号整数溢出。根据C标准，有符号整数溢出属于未定义行为——编译器可以生成任意代码，包括导致程序崩溃、输出异常结果等，这就是测试系统抛出运行时错误的直接原因。

2. 逻辑冗余与优化 #

你想用异或符号位的方式反转奇数比较时的返回值符号，但这个操作完全没必要，反而引入了风险。实际上，只需要直接反转diff_flag的符号就能实现奇数的非递增排序，逻辑更清晰，也更安全。

修复后的代码 #

替换位运算部分，用条件判断实现需求，同时避免未定义行为：

int cmp(const void *elem1, const void *elem2) {
    int num1 = *(const int *)elem1;
    int num2 = *(const int *)elem2;
    int diff_flag = 0;

    if (num1 > num2) {
        diff_flag = 1;
    } else if (num1 < num2) {
        diff_flag = -1;
    }

    int parity1 = num1 & 1;
    int parity2 = num2 & 1;

    if (parity1 == parity2) {
        // 同奇偶：偶数按非降序返回diff_flag，奇数按非递增返回-diff_flag
        return parity1 ? -diff_flag : diff_flag;
    }

    // 偶数在前，奇数在后：num1是奇数则返回正数（让num2靠前），反之返回负数
    return parity1 - parity2;
}

或者更简洁的写法（避免diff_flag，直接通过数值比较返回）：

int cmp(const void *elem1, const void *elem2) {
    int num1 = *(const int *)elem1;
    int num2 = *(const int *)elem2;
    int parity1 = num1 & 1;
    int parity2 = num2 & 1;

    if (parity1 != parity2) {
        // 偶数优先级高于奇数，奇数的parity为1，偶数为0
        return parity1 - parity2;
    }

    // 同奇偶处理
    if (parity1 == 0) {
        // 偶数非降序：用比较判断避免溢出风险
        return (num1 > num2) ? 1 : (num1 < num2) ? -1 : 0;
    } else {
        // 奇数非递增：反转比较结果
        return (num1 > num2) ? -1 : (num1 < num2) ? 1 : 0;
    }
}

额外说明 #

如果直接使用num1 - num2来生成返回值，要注意存在溢出风险（比如num1为INT_MAX，num2为INT_MIN时），因此用比较判断的方式更稳妥，也符合你最初的代码思路。

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