此表达式在 C 中的计算结果为 true 还是 false（1 或 0）？-解网

问：

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

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

如果它在测试之前递增，则布尔值的计算结果为 false 并设置为 0，否则为 true，设置为 1。在我的编译器中，它的计算结果为 true，这意味着在设置为 1 的比较操作之后执行。<cca++c

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

我把它修改成

#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。后缀必须在之前完成，但这真的能确保它在比较之后发生吗？?<

c 一元序列点后缀运算符

这篇关于序列点的维基百科文章说 2.在三元条件运算符的第一个操作数的计算与其第二个或第三个操作数之间。例如，在表达式 a = （*p++）？（*p++）： 0 在第一个 *p++ 之后有一个序列点，这意味着在执行第二个实例时它已经递增。但是，在读取您的之前，它仍然不会发生：这将是预增量。c

1赞 Steve Summit 1/12/2023

@user2277550 请担心序列点，即更新的值将存储到和中，以及何时存储。但是序列点与运算符看到的值无关。就运算符而言，表达式也可以是。另请参阅我的答案。ab<<c = a + d < (b+1) + d? 1 : 0

6赞 Steve Summit 1/12/2023 #2

此外，已知（？） b 在比较之前递增。但是，在比较之前还是之后递增？

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

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

这也是这样做的：a++

它将（4）的旧值输出到周围的表达式中a
它将一个新值（5）存储到中。a

并这样做：++b

它将（4+1 或 5）的新值输出到周围的表达式中b
它将一个新值（5）存储到中。b

请注意，在这两种情况下，操作员关心的是事情 1。而且，在这两种情况下，事物 1 都是一个绝对的定义，它不依赖于时间。<

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

时机是事情 2.我们不知道，确切地说，新值何时被存储回 .我们也不知道新值何时被存储回。我们所知道的是，这些存储将发生在下一个序列点之前的某个时间（正如您正确指出的，在本例中是三元运算符的一部分）。ab?

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

当以下任一情况发生时，会出现未定义的行为

被修改的变量（或）在表达式中的其他位置也有其值独立使用，这意味着我们不知道该用法是使用旧值还是新值ab
同一个变量被修改了两次，这意味着我们不知道两次修改中的哪一个“胜”

但是，同样，这些问题在这里都没有发生，因此表达式是明确定义的。

此表达式在 C 中的计算结果为 true 还是 false（1 或 0）？

Will this expression evaluate to true or false (1 or 0) in C?

评论

评论

评论