有多少科班毕业的不知道 a+=a-=a*a 是UB？

shan_ghost

starwing83 发表于 2013-02-21 18:30
— Between two sequence points, an object is modified more than once, or is modified
and the prior value is read other than to determine the value to be stored (6.5).

我猜他会说：这段话和优先级和表达式有五毛钱关系吗？

hnynes

starwing83 发表于 2013-02-21 18:30
回复 127# hnynes

嗯，按这话，确实修改了不只一次。学习了。

lin5161678

shan_ghost 发表于 2013-02-21 18:44
我猜他会说：这段话和优先级和表达式有五毛钱关系吗？

嘿嘿 有破绽

幻の上帝

这里的重点是，根据具体实现来推测是否正确是错误的。
因为，规则是人为定义的，实现也可以有bug。
还有上面谁要找UB的，那个Annex J是informal的，具体要找也别忘了找第四章conformance，里面有说shall/shall not的问题。

幻の上帝

另外我要说的是LZ这个例子比较微妙……
我可以很明确地确定，若a具有volatile类型，C/C++中都是UB；否则，C99、C++98/03中是UB，但C++11中不是，而C11(WG14/N1570)比较含糊（但我认为既然都使用了C++11的sequence before/after代替sequent point了……）（呃，我二了，虽然6.5.16是比较含糊没错但这里不影响。。。）因为赋值表达式不是左值，不需要发生包含副作用的左值转换，也不是：
http://tieba.baidu.com/p/2091426198

幻の上帝

pmerofc 发表于 2013-02-22 11:25
回复 136# 幻の上帝

建议把你整理的那些东西转发到这边

笔记类似物，反正也不长，能看得清就行了。
（那边最麻烦的就是URL容易被吃，不过这篇没有。）
看得懂的倒也有几个。

I_相信

嘛意思。。。a+=a-=a*a已经不算UB了？
从长远的角度看LZ的题是否还是UB？
菜鸟求指教！！！

rbluesea

这个用我老家的说法就是：瞎子捡了一本经-------逢人就念