我们或多或少都有过,或者见过将赋值表达式参与运算的情况。这通常会伴随着一些意想不到的问题。今天我就见到了一段奇怪的代码:
#include<stdio.h>int main() {int a =5;int b = (a=2)+(a=3); printf("%d %d\n",a,b);return 0; }
乍一看,似乎答案很明朗,按照顺序运算之后,a的值是3,b的值是5.有经验的程序员肯定会一眼看出,这里的计算过程是一个未定义行为(Undefined behavior).在这里简单来说就是:无法确定哪一个括号里的表达式会先执行。
括号只能改变运算符的结合律,不能改变表达式的求值顺序。这个顺序是取决于编译器的。所以a的值是2还是3是不能确定的。
这段代码在gcc(Ubuntu)下得到的结果是
3 6
而在clang(Mac)下运行的结果是
3 5
为什么会这样呢? 这是怎么一回事呢?
查看它们生成的汇编代码
gcc ... movl $5, -8(%rbp) // a=5 movl $2, -8(%rbp) // a = 2 movl $3, -8(%rbp) //a = 3 movl -8(%rbp), %eax // eax = a addl %eax, %eax //eax = eax + eax movl %eax, -4(%rbp) // b = eax ... clang ... movl $5, -8(%rbp) movl $2, -8(%rbp) // a = 2movl $3, -8(%rbp) // a = 3movl $5, -12(%rbp) // b = 5...
在gcc的理解中
a = (b=c)//会被改写成b=c a=b//所以对于a = (b=c)+(d=e)//会被改写成b = c d = e a = b+d//当b和d为同一个值的时候,变量空间被复用了,
在clang的理解中
a = (b=c)+(d=e)//被改写成了i=b=c j=d=e a=i+j//所以直接得到了赋值符号右边表达式值之和
由此得出结论:赋值表达式的返回值为赋值符号右边的值。
但在某些特殊情况下,使用某些编译器可能无法得到想要的结果。所以我们应当尽量避免使用赋值表达式的值参与运算。
注意:虽然在两个例子中,a的值都是3,但这并不意味着表达式的求值顺序是从左往右的。
有关编译器求值顺序的详细内容可以参考这篇文章
作者:Nangcr
原文链接:https://www.cnblogs.com/nangcr/p/return-value-of-assignment-expression.html
点击查看更多内容
为 TA 点赞
评论
共同学习,写下你的评论
评论加载中...
作者其他优质文章
正在加载中
感谢您的支持,我会继续努力的~
扫码打赏,你说多少就多少
赞赏金额会直接到老师账户
支付方式
打开微信扫一扫,即可进行扫码打赏哦