在 C 中，此表达式的计算结果是真还是假（1 或 0）？

Question

#include<stdio.h>
int main()
{
    int a=4;
    int b=4;
    int c= a++ < ++b? 1 : 0;
    
    printf ("%d",c);
}

已知在?处有一个序列点。 ，这意味着前缀和后缀操作都必须在该点完成。 还知道（？） b在比较之前递增。 但是， a是在比较之前还是之后递增的？

如果它在<测试之前递增，则 Boolean 评估为 false， c设置为 0，否则为 true， c设置为 1。在我的编译器中，它评估为 true，这意味着a++在比较操作之后执行c被设置为 1。

这种行为是规范的一部分吗？

我修改为

#include<stdio.h>
int main()
{
    int a=4;
    int b=4;
    int d=2;
    int c= a++ + d < ++b + d? 1 : 0;
    
    printf ("%d",c);
}

它仍然评估为 1。后缀必须在?之前完成。 ，但这真的能确保它发生在比较<之后吗？

Answer 1

a++返回增量前a的值。 ++b返回b递增后的值。 因此，这评估为1 。

由于在表达式中a和b都没有被多次使用，因此不存在未定义的行为。

Answer 2

还知道（？） b 在比较之前递增。 但是，a是在比较之前还是之后递增的？

这是一个微妙的点，但重要的是要了解这里到底发生了什么。

子表达式a++和++b都做两件事。 他们计算一个新值用于周围的表达式，并更新他们正在操作的变量的存储值。

所以a++这样做：

1. 它将a (4) 的旧值输出给周围的表达式
2. 它将新值 (5) 存储到a中。

++b这样做：

1. 它向周围的表达式产生b的新值（4+1 或 5）
2. 它将新值 (5) 存储到b中。

请注意，在这两种情况下， <运算符关心的都是第一件事。 而且，在这两种情况下，事情 1 都是绝对定义，它不依赖于时间。

或者，换句话说，问“ a / b是在比较之前还是之后递增？” 这不是真正正确的问题。 值a和b+1参与比较，仅此而已。

时间到a的地方是事情 2。我们不知道，确切地说，新值何时被存储回 . 我们也不知道新值何时被存储回b中。 我们所知道的是，这些存储将在下一个序列点之前的某个时间发生（正如您正确注意到的那样，在这种情况下是三元运算符的?部分）。

但是没有什么取决于这些时间，所以这里没有未定义的行为。

未定义的行为出现在

1. 被修改的变量（ a或b ）也有它的值在表达式的其他地方独立使用，这意味着我们不知道该使用是使用旧值还是新值
2. 同一个变量被修改了两次，这意味着我们不知道两次修改中的哪一个“获胜”

但是，这里同样没有出现这些问题，因此表达式定义明确。

Answer 3

这是 C11 对两者的评价：

后缀++ ：

后缀 ++ 运算符的结果是操作数的值。 作为副作用，操作数 object 的值递增（即，将适当类型的值 1 添加到它）......结果的值计算在更新存储的副作用之前排序操作数的值。

前缀++：

前缀 ++ 运算符的操作数的值递增。 结果是递增后操作数的新值。 表达式++E 等价于(E+=1)。

---

在旁边：

int c= a++ < ++b? 1 : 0;

运算符<返回1或0 ，或者true或false 。 所以上面的语句也可以写成：

int c = a++ < ++b;

Answer 4

来自 C 标准（6.5.2.4 后缀递增和递减运算符）

2后缀++ 运算符的结果是操作数的值。 作为副作用，操作数 object 的值会增加（即，将适当类型的值 1 添加到它）。

所以在这个声明中

int c= a++ < ++b? 1 : 0;

初始化器中使用的子表达式a++的值是操作数a在其递增之前的值。

另一方面（The C Standard (6.5.3.1 Prefix increment and decrement operators) ）

2 前缀++运算符的操作数的值递增。 结果是操作数递增后的新值。

所以子表达式++b的值是递增b后的值。

因此你实际上有

int c = 4 < 5 ? 1 : 0;

至于序列点然后为了证明它你可以写例如

int c = a++ < b++ ? a : b;

在这种情况下，变量c在对其应用递增的副作用后将具有变量b的值，即增加到5 。