0

ISO/IEC 9899:202x (E) 工作草案 — 2020 年 2 月 5 日 C17..C2x N2479：

6.5.14 逻辑或运算符：

  1. 如果第一个操作数比较不等于 0，则不计算第二个操作数。

上下文：有一个 C 编译器，它会condition is always true / false为涉及逻辑运算符的表达式生成警告。例如，如果表达式中的a || b变量b是unequal to 0，则编译器生成condition is always true（提到b源代码中的位置）。

问题：产生这种警告的事实是否可以解释为违反6.5.14.4？请提供解释/论证/参考。

注意：（gcc / clang / cl配置为最高警告级别）不会为上面的示例生成任何警告。

UPD。MRE：

int main(void)
{
    int c1 = 1, c2 = 1, r = 0;
    if ( c1 || c2 ) { r = 1; }
    return r;
}
$ cc x.c
x.c:4:10: warning: condition is always true
x.c:4:16: warning: condition is always true
4

1 回答 1

1

虽然有人可能会争辩说编译器知道第二个操作数的值的唯一方法||是对其进行评估，这违反了 C 2018 6.5.14 4 中禁止评估的规定（“……如果 an 的第一个操作数||比较不相等为 0，则不计算第二个操作数”）如果第一个操作数比较不等于 0，则可以理解“计算”是指在程序执行期间进行的计算，而不是翻译。C 2018 5.1 中描述的 C 概念模型将翻译和执行分开。6.5.14 4 禁止在程序执行期间进行评估，而不是在翻译期间。

于 2020-11-24T00:03:45.973 回答