无法理解表达式如何变得虚假 [重复]

Question

int main( ) 
{ 
      int  k = 35 ; 
      printf ( "\n%d %d %d", k == 35, k = 50, k > 40 ) ; 
} 

上述程序的输出是“0 50 0”，不带引号。我的问题是 k==35 和 k




Answer 1

匿名用户

这是未定义的行为，这意味着任何事情都可能发生。

为什么是UB？

答案很简单，在写入< code>k和读取< code>k之间没有顺序限制，甚至没有不确定的顺序，后者不用于确定< code>k的新值。

printf ( "\n%d %d %d", k == 35, k = 50, k > 40 );
// No ordering constraint between function arguments.

题外话：如果写入发生在参数列表中调用的函数中（而不是在该函数的参数中），它将是不确定的顺序，因此不是UB。
不确定排序意味着它在之前或之后进行排序，而不确定哪个。它并不像UB那么糟糕（任何事情），但仍然不应该依赖它，因为顺序不可靠。

int SetVar(int *p, int v) {return *p = v;}

printf ( "\n%d %d %d", k == 35, SetVar(&k, 50), k > 40 );
// No ordering constraint between function arguments, but
// the function call is indeterminately ordered

Answer 2

由于参数列表中的赋值，您的代码调用了未定义的行为：

k = 50

您大概想要：

printf("%d %d %d\n", k == 35, k == 50, k > 40);

由于在参数列表中嵌入了赋值，因此任何结果都是允许的。参数没有要求的求值顺序；它们可以按任何顺序进行评估&任何结果都是正确的。为了您自己的理智，永远不要编写依赖于参数求值顺序的代码。

如果你正在学习的书不是简单地强调评估的顺序是未定义的，任何未定义的行为都是不好的，那么你可能应该丢弃这本书。

Answer 3

printf调用调用未定义的行为。

函数参数的求值顺序是未指定的行为。这意味着参数可以从一组所有可能的顺序中以任何顺序求值。该标准不要求实现强制执行任何顺序。此外，分隔参数的逗号不是逗号运算符。这意味着参数的求值之间没有序列点。唯一的要求是所有参数必须被完全求值，并且在调用函数之前必须发生所有副作用。现在，C99标准§6.5¶2说

在上一个序列点和下一个序列点之间，对象应通过表达式的求值最多修改一次其存储值。此外，应仅读取先前值以确定要存储的值。

函数参数的求值是无序的。赋值表达式k=50的求值结果为50，但它的副作用是将50赋值给k。如果首先求值此表达式并且其副作用立即发生，则表达式k==35将求值为true和k

只需强调一下，代码中未定义的行为并不是因为参数的求值顺序未指定（不是未定义，这是不同的），而是因为参数求值之间没有序列点，因此，在这种情况下，违反了上述引用的标准部分。

未定义的行为意味着代码的行为是不可预测的。任何事情都可能发生，从程序崩溃到你的硬盘被格式化为恶魔从你的鼻子里飞出（以夸张的方式启动）。这只是为了强调标准不要求实现来处理这种情况，你应该永远避免这样的代码。

进一步阅读-

• 每个C程序员都应该知道的关于未定义行为的知识
• 未定义的行为和序列点
• 为什么 f（i = -1， i = -1） 未定义的行为？
• 评估顺序