语句'int val =（++ i> ++ j）吗？++ i：++ j;`调用未定义的行为？

Question

给定以下程序：

#include <stdio.h>
int main(void)
{
    int i = 1, j = 2;
    int val = (++i > ++j) ? ++i : ++j;
    printf("%d\n", val); // prints 4
    return 0;
}

的初始化val似乎可能隐藏了一些未定义的行为，但是我看不到对象被多次修改或在其间没有序列点的情况下被修改和使用的任何地方。有人可以对此进行纠正或证实吗？

Answer 1

这段代码的行为已明确定义。

确保条件表达式中的第一个表达式先于第二个表达式或第三个表达式被求值，并且仅第二个或第三个表达式中的一个将被求值。C标准的 6.5.15p4节对此进行了描述：

第一个操作数被求值；在它的评估与第二个或第三个操作数的评估（无论哪个被评估）之间都有一个序列点。仅当第一个操作数不等于0时，才对第二个操作数求值；仅当第一个操作数等于0时，才计算第三个操作数；结果是第二个或第三个操作数的值（以所评估的为准），转换为以下所述的类型。

对于您的表情：

int val = (++i > ++j) ? ++i : ++j;

++i > ++j首先评估。的递增值i和j在比较中使用的，所以它成为2 > 3。结果为假，因此将++j评估结果为假++i。因此，（再次）递增的值j（即4）然后分配给val。

Answer 2

为时已晚，但可能有用。

(++i > ++j) ? ++i : ++j;

在条件？：运算符的第一个操作数的求值与第二个和第三个操作数中的任一个的求值之间

为了获得良好定义的行为，一个对象不得在2个序列点之间修改2次（通过副作用）同一对象。

在您的表达中，唯一可能出现的冲突将出现在第一个和第二个++i或之间++j。

在每个序列点，最后存储在对象中的值应与抽象机规定的值一致（这是您在纸上（如在图灵机上）要计算的值）。

引用来自 5.1.2.3p3 Program execution

在表达式A和B的求值之间存在序列点意味着，与A关联的每个值计算和副作用都要在与B关联的每个值计算和副作用之前进行排序。

当您的代码中有副作用时，它们将按不同的表达式排序。该规则说，您可以根据需要在2个序列点之间置换这些表达式。

例如。i = i++。由于此表达式中涉及的所有运算符都不表示序列点，因此您可以根据需要置换副作用的表达式。C语言允许您使用任何这些序列

i = i; i = i+1;或i = i+1; i=i;或tmp=i; i = i+1 ; i = tmp;或tmp=i; i = tmp; i = i+1;提供与计算的抽象语义相同的结果的任何内容都要求对此计算进行解释。ISO9899标准将C语言定义为抽象语义。

Answer 3

您的程序中可能没有UB，但存在以下问题：语句是否int val = (++i > ++j) ? ++i : ++j;调用未定义的行为？

答案是肯定的。由于i和j签名，两个或两个增量操作都可能溢出，在这种情况下，所有投注均关闭。

当然，在您的完整示例中不会发生这种情况，因为您已将值指定为小整数。

语句'int val =（++ i&gt; ++ j）吗？++ i：++ j;`调用未定义的行为？