C语言qsort排序结构体指针数组结果异常及内存错误排查

核心问题排查方向 #

这类问题90%以上出在两个位置：比较函数的指针强转逻辑错误、qsort传入的元素大小参数错误，刚好和遇到的valgrind 8字节读取报错、排序结果不符的现象完全匹配。

• 指针强转错误：qsort传入比较函数的两个参数，永远是数组中元素的地址，不是元素本身。如果数组存的是结构体，参数就是结构体*；如果数组存的是结构体指针，参数就是结构体**，搞反一层解引用就会把内存里的值当地址读，8字节刚好是64位系统下指针、double类型的长度，和报错完全对应。
• 元素大小参数错误：qsort第三个参数要求传入单元素的字节长度，如果传错值（比如结构体数组传了指针的sizeof），qsort遍历数组的步长就会错，读元素时完全错位，既会触发越界内存访问，也会导致排序结果完全混乱。
• 比较逻辑错误：浮点数比较时直接做减法转int返回，会因为精度截断、溢出导致返回值不符合qsort的要求，排序顺序错乱。

对应错误写法与修正 #

先给出通用复数结构体定义：

// 注意要在包含math.h前定义宏才会启用M_PI，否则自己定义即可
#define _USE_MATH_DEFINES
#define M_PI 3.14159265358979323846
#include <stdlib.h>
#include <math.h>

typedef struct {
    double re;  // 第一列：实部
    double im;  // 第二列：虚部
    double r;   // 第三列：极径
    double arg; // 第四列：极角
} Complex;

比较函数修正 #

比较函数的写法必须和数组存储类型严格对应：

1. 数组存储结构体本体（定义为Complex arr[N]或Complex *arr = malloc(n * sizeof(Complex))）时，正确比较函数：

int comparador(const void *a, const void *b) {
    // a、b直接是指向Complex结构体的指针，不需要额外解引用
    const Complex *ca = (const Complex *)a;
    const Complex *cb = (const Complex *)b;
    // 先比极径，极径相等再比极角
    if (ca->r != cb->r) {
        return ca->r < cb->r ? -1 : 1;
    }
    if (ca->arg < cb->arg) return -1;
    if (ca->arg > cb->arg) return 1;
    return 0;
}

常见错误：多写一层解引用，写成const Complex *ca = *(const Complex **)a，会把结构体前8字节的内容当内存地址读取，直接触发valgrind的非法读报错。

2. 数组存储结构体指针（定义为Complex *arr[N]或Complex **arr = malloc(n * sizeof(Complex*))）时，正确比较函数：

int comparador(const void *a, const void *b) {
    // a、b是指向数组元素的指针，数组元素是Complex*，所以要先解引用拿到真正的结构体地址
    const Complex *ca = *(const Complex **)a;
    const Complex *cb = *(const Complex **)b;
    if (ca->r != cb->r) {
        return ca->r < cb->r ? -1 : 1;
    }
    if (ca->arg < cb->arg) return -1;
    if (ca->arg > cb->arg) return 1;
    return 0;
}

常见错误：少写一层解引用，直接把const void*强转成Complex*，会把存储指针的内存块当结构体读，触发非法访问。

qsort调用参数修正 #

qsort调用时第三个参数必须和数组元素的实际大小完全匹配：

• 结构体本体数组：qsort(arr, n, sizeof(Complex), comparador);
  错误写法：第三个参数传sizeof(Complex*)，步长为8字节，遍历数组时完全错位。
• 结构体指针数组：qsort(arr, n, sizeof(Complex*), comparador);
  错误写法：第三个参数传sizeof(Complex)，步长为32字节，遍历数组时越界。

比较逻辑避坑 #

禁止写return ca->r - cb->r;这种返回逻辑：

• double转int会截断小数部分，两个值差小于1时会被判定为相等
• 差值超过int取值范围时会整数溢出，返回值完全不可预期
  用明确的大小判断返回-1/0/1是最稳妥的写法。

快速验证步骤 #

1. 编译时加-Wall -Wextra -g参数开启所有警告，指针强转类型不匹配的问题大部分会直接触发编译警告
2. 先写一个3-5个元素的最小测试用例，gdb断点进比较函数，打印ca、cb的值，看是否和数组里元素的地址一致，就能快速定位是不是指针强转错误
3. 核对qsort第三个参数的sizeof值，和数组定义时的元素类型做对比，排除步长错误

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