c - 编译器会在每个语句的多个比较中检查 UB 优先级吗？

Question

如果数组中只有 0，这段代码会导致未定义的行为吗？或者编译器可以对不太重要的条件进行一些检查，即“首先检查自动非指针值”

uiaDigit[10];

for (sizeIndexI = 0; sizeIndexI < 10 && uiaDigit[sizeIndexI] == 0; sizeIndexI++)
    ;

我猜好像是阅读方向之类的东西

“AND 比较总是从左到右读取，并在第一个 false 处中断”

至多是实现定义的行为，不是吗？

如果 sizeIndexI 得到 10，那么编译器是否会得到它无论如何都必须中断，或者他会比较 'uiaDigit[10] == 0' 吗？

Answer 1

对于 && 运算符，计算是从左到右进行的。所以如果你想跳过指针操作，把它放在表达式的最右边。

C 标准“6.5.13 逻辑与运算符”

4 Unlike the bitwise binary & operator, the && operator guarantees left-to-right evaluation; there is a sequence point after the evaluation of the first operand. If the first operand compares equal to 0, the second operand is not evaluated.