c - Cでは、1/2 == 0が保証されていますか?

Question

それは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;
        }
    }
}

Answer 1

はい、これは保証されています。C ISO 仕様、§6.5.5/5 によると:

/ 演算子の結果は、最初のオペランドを 2 番目のオペランドで割った商です。

1/2 の商は 0 なので、1 / 2 == 0C では true であることが保証されています。

お役に立てれば！