// Returns 0 if a == b, a negative number if a < b or a positive otherwise.
int cmp(const void *a, const void*b) {
return *(int *)a - *(int *)b;
}
这是一个非常常见地使用在 qsort 等排序里的比较函数,然后这个函数本身却是存在 bug 的 —— 溢出的危险。
FAILURE TEST CASE:
</pre><p></p><pre name="code" class="cpp">int a = INT_MIN, b = 1; // INT_MIN defined in limits.h
int result = cmp(&a, &b); // result = INT_MAX, 这显然与 a < b 的事实不符合。
那么正确的写法是怎样的呢:
// Returns 0 if a <= b, or non-zero value otherwise.
int cmp(const void *a, const void*b) {
return *(int *)a > *(int *)b;
}
据说《程序设计实践》一书有提到,另此书评价甚高,有空可以拜读一下。