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

Ager

pmerofc 发表于 2013-01-12 12:16
什么叫“主要矛盾”
这是典型的意识形态下的僵化词语
@Ager大概可以对此又“扯”一大通了——意识形态话语如何戕害思维

有“主要矛盾”，就有“次要矛盾”，二元法。

“矛盾”，也是个二元法。

目前看来，大多宏大叙事里的二元法，都是有害的。

解构它，也比较简单，试问一个问题：

“主要矛盾”与“次要矛盾”，是不是一对“矛盾”？设这对“矛盾”叫做“矛盾X”。

那么，“矛盾X”的二元对立面，比如“矛盾Y”，是一种什么样的“矛盾”？

就“扯”这麽多了，呵呵。。。

Ager

方兆国 发表于 2013-01-12 12:51
回复 36# Ager

元芳，这个问题你怎么看~\(≧▽≦)/~

那我随便说说。。

UB机制，是一种用来丈量C程序（代码）正确性的尺度。

这种尺度的正确性，是由C的标准机构做出“背书”（信用担保）的。

在编写程序的时候，考虑UB机制，并以此检查自己的程序，实际上就是向C的标准“支取”了这种正确性。

同样地，用户在使用这样的程序的时候，也是透过程序的编写者，“支取”了上述正确性。

“背书”层层迭进，信用就得到了延伸 —— 这样的“软件社会”就会稳定、和谐。

呵呵。。

Ager

方兆国 发表于 2013-01-21 23:25
@Ager @群雄逐鹿中原@pmerofc@starwing83@windoze

答案这么确定 ，还什么 Undefined behavior ，和 Windows 下 一模一样 ，麻烦哪位给出一个不同的结果

再讲一遍，我经常讲的那一句话：

Warning says it all!

warning: operation on ‘a’ may be undefined [-Wsequence-point]

“妹子”（may）一个，你要，还是不要？

还有，这里引出了 sequence-point 概念。

我们对一个程序的正确性的理解，取决于我们对语言本身涵有概念的认知的丰富程度。