无法理解表达式如何变得错误[重复]

Question

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

上述程序的输出是“0 50 0”，不带引号。我的问题是k==35 和k > 40 怎么是假的？从我的角度来看，k 被分配了 35，所以“k==35”应该是真的；那么k 在 "k=50" 中被赋值为 50，所以 "k > 40" 必须为真，不是吗？

Answer 1

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

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

在前一个序列点和下一个序列点之间，一个对象应该有它的 表达式的评估最多修改一次存储的值。 此外，应仅读取先验值以确定该值 存储起来。

对函数参数的评估是无序的。赋值表达式k = 50 的计算结果为50，但其副作用是将50 赋值给k。如果首先计算此表达式并且其副作用立即发生，则表达式k == 35 将计算为true，k > 40 将计算为false。因此，取决于表达式k = 50 的副作用何时发生，其他两个表达式的计算结果将是true 或false。但是，其他两个表达式违反了标准上述引用部分中的第二点。表达式访问k，但不会更改k 的值。这违反了先验值应只读以确定值 要存储子句。这就是未定义行为的原因。

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

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

进一步阅读 -

• What Every C Programmer Should Know About Undefined Behavior
• Undefined Behavior and Sequence Points
• Why is f(i = -1, i = -1) undefined behavior?
• Order of evaluation

Answer 2

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

k = 50

你大概想要：

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

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

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

Answer 3

是Undefined Behavior，表示任何事情都可能发生。

为什么是UB？

答案很简单，在k 的写入和k 的读取之间没有排序约束，甚至没有不确定的排序，这不用于确定新的值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