通用小于函数失效原因咨询及泛型实现探讨

为什么原通用比较函数失效？ #

你写的这个函数：

int le_generic(const void* a, const void* b){
return *(long long*)a < *(long long*)b;
}

核心问题出在强制类型转换的逻辑错误：

• 不管传入的是什么类型指针，你都将其强制转为long long*解引用，这相当于直接把指针指向的内存区域，按long long的字节长度和整数编码规则来解读数据。
• 对于浮点数（float/double），它们遵循IEEE 754标准存储，符号位、指数位、尾部分开编码，直接转成long long后的数值和原浮点数的大小逻辑完全不匹配。比如0.1的二进制转成long long是一个极大的整数，但实际它远小于1。
• 就算是整数类型，若原类型长度小于long long（比如int），解引用long long*会读取超出原变量内存的区域，属于未定义行为，可能读出随机值导致比较结果完全不可靠。

你尝试的宏方案问题在哪？ #

你用的宏：

#define le_generic(a,b) ((a)<(b))

结合这段调用代码：

void *a = &m->data[m->heap[i]];
void *b = &m->data[m->heap[j]];
double c = m->data[m->heap[i]];
double d = m->data[m->heap[j]];
printf("%d, %d\n", le_generic(a, b), c < d);

这里的错误是比较对象完全错误：

• a和b是void*类型，用<比较时，实际是对比两个指针的内存地址大小，而非它们指向的m->data里的数值。
• 所以你看到的le_generic(a,b)结果和c < d毫无关联，一个是比地址，一个是比实际数据值。

如何实现真正通用的比较函数？ #

C语言里实现通用比较，标准做法是让调用者传入对应类型的比较函数，这也是qsort等标准库函数的设计思路：

1. 定义函数指针类型：

typedef int (*CompareFunc)(const void*, const void*);

2. 为每种类型单独编写比较函数：

// 比较long long
int compare_long_long(const void* a, const void* b) {
    const long long* x = (const long long*)a;
    const long long* y = (const long long*)b;
    return (*x < *y) ? -1 : ((*x > *y) ? 1 : 0);
}

// 比较double
int compare_double(const void* a, const void* b) {
    const double* x = (const double*)a;
    const double* y = (const double*)b;
    return (*x < *y) ? -1 : ((*x > *y) ? 1 : 0);
}

3. 使用时传入对应类型的比较函数：
   比如在堆排序等场景中，调用时指定用compare_double还是compare_long_long，就能保证类型匹配，比较结果正确。

如果想用宏实现类型安全的通用比较（C11及以上支持），可以写带类型参数的宏：

#define LE_GENERIC(type, a, b) (*((const type*)a) < *((const type*)b))

调用时明确指定类型：

printf("%d, %d\n", LE_GENERIC(double, a, b), c < d);

这种方式既保证了解引用的类型正确，又能复用比较逻辑，缺点是需要手动指定类型，灵活性不如函数指针。

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