关于未定义行为的警告 - 编程论坛

#2

wp2319572022-05-23 23:14

回复楼主 fantasyhpu

在相邻的两个序点中间，一个object的值可以并且只能被赋值一次
这种语句，说啥都要避免
在这个语句中，既要j等于这个又要j等于那个，编译器肯定懵逼

#3

rjsp2022-05-24 09:01

wp231957说得对

先进行i=6和j=3的赋值运算，然后再计算j=6+3

“计算”是不可能的，顶多算“评估”，而且“评估”也是未指定顺序的；
j=(i=6)+(j=3) 有三部分，分别是 j、i=6、j=3，其中 j 作为左值先不谈，i=6 评估值是6，j=3评估值是3。注意，是“i=6”这个表达式的评估值为6，而不是说“i”等于6；j=3同样如此。
那么在编译器眼中，j=(i=6)+(j=3) 就需要做 j=6+3、i=6、j=3 这三个操作，但这三个操作之间是未指定顺序的。

要将表达式评估与副作用分开，比如 i=123，它的表达式评估值是 123，也就是“i=123”这个表达式的值是 123，你可以写句 int result = (i=123) 试试，或 printf( "%d\n", i=123 ) 试试；
而“副作用”是指变量的值被修改了，比如“i=123”，它的评估值是123，它的副作用是i被修改为123。
但要注意的是，“副作用”只需要在下一个“序列点”之前发生就行了。举个例子
a = (b=3);
x = a + b;
其中 a = (b=3) 有两个副作用，分别是 a被赋值3、b被赋值3，但你没法确定哪一个先发生，但执行到 x = a + b; 时编译器保证“a被赋值3、b被赋值3”这两个副作用一定都已完成。

#4

fantasyhpu2022-05-24 11:21

回复 3楼 rjsp

讲解的清楚明白，谢谢。

#5

fantasyhpu2022-05-24 11:22

回复 2楼 wp231957

谢谢回复。