0

在 C 中可以保证1/2 == 0吗?我需要它来实现二进制搜索:

/*
 * len is the array length
 * ary is an array of ptrs
 * f is a compare function
 * found is a ptr to the found element in the array
 * both i and offset are unsigned integers, used as indexes
 */

for(i = len/2; !found && i < len; i += offset) {
    res = f(c->ary[i]);

    if (res == 0) {
        found = c->ary[i];
    }
    else {
        offset = (res < 0 ? -1 : 1) * (i/2);
        if (!offset) {
            i = len+1;
        }
    }
}
4

1 回答 1

10

是的,这是有保证的。根据 C ISO 规范,§6.5.5/5:

/ 运算符的结果是第一个操作数除以第二个操作数的商;

1 / 2 的商为 0,因此1 / 2 == 0在 C 中保证为真。

希望这可以帮助!

于 2013-10-25T20:10:28.917 回答