c - C中逻辑或执行的顺序

Question

想知道如果 next 的值为 NULL(节点是链表)，next 语句是否会导致保护错误和其他可怕的事情。

if (!node->next || node->next->some_field != some_value) {

我假设一旦第一部分为真，就不会评估 OR 的第二部分。我的假设是错误的吗？这个编译器是特定的吗？

Answer 1

在 ISO-IEC-9899-1999 标准 (C99) 中，第 6.5.14 节:

The || operator shall yield 1 if either of its operands compare unequal to 0; otherwise, it yields 0. The result has type int. 4 Unlike the bitwise | 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 unequal to 0, the second operand is not evaluated.

这不是特定于编译器的。如果 node->next 为 NULL，则条件的其余部分从不 求值。