一道题 --- 学C就要关注更底层的东西

supermegaboy

回复 17# ethantsien

你还没弄懂抽象与实现之间的关系。


   

supermegaboy

回复 23# ethantsien
你把实现BUG当成了语言BUG，所以说你还没弄明白抽象与实现之间的关系。

   

ethantsien

好吧，这BUG只有当编译器把三目优化成条件传送指令cmove之类的时候才会出现

如果是条件转移指令je之类的话，不会出现运行时BUG

回复 33# folklore

cmovne   (%rax), %eax

无论有没有传送成功，这里对%rax的引用还是做了

回复 36# star1983653

你这代码肯定没问题，因为你只用到了条件转移指令

回复 42# supermegaboy

你哪里来的，就回哪里去，不要来抠字眼。我们说平常说的“这段代码有BUG”难道不包括运行时的BUG？

elovenana

给你个指针，你就敢，取值，不怕崩溃吗？

elovenana

int *a = (int *)1;
foo(a);

gvim

这个肯定是个编译器错误，不用多想。你写的是C，而不是汇编，遵守C的语义和规则。
C语言对 1?2:3 的要求  2 仅在1求值不为假时求值，这里的条件判断在2的求值之前。
cmovne 1，2 的语义是首先拿1的数据，再判断条件zf==0是不是成立，成立的话就把1取的数据给2，这里的条件判断在1的求值之后
这两个是矛盾的。生成的指令产生这种矛盾，只能是编译器的问题。

Ager

gvim 发表于 2012-10-15 23:07
这个肯定是个编译器错误，不用多想。你写的是C，而不是汇编，遵守C的语义和规则。
C语言对 1?2:3 的要求  2 仅在1求值不为假时求值，这里的条件判断在2的求值之前。
cmovne 1，2 的语义是首先拿1的数据，再判断条件zf==0是不是成立，成立的话就把1取的数据给2，这里的条件判断在1的求值之后
这两个是矛盾的。生成的指令产生这种矛盾，只能是编译器的问题。

顶一下大虾：）

gvim

回复 47# Ager

回的好快

Ager

gvim 发表于 2012-10-15 23:16
回复 47# Ager

回的好快

3¼min，还快？

gvim

回复 47# Ager

每次人一说编译器，我就想怎么现在做技术的思考的东西都这么深入了？
我个人不是做编译器的，只对编译器做了一些浅显的了解。可是有时候看到这种帖子很矛盾，编译器虽然是个框，但最基本的原则肯定是遵守C标准的而不是从汇编来解释C的陷阱。就如同前几天有人帮乔解释他的&&的问题，一出来就说编译器给你优化掉了，C标准要求的求值顺序感觉就是被优化pass的。
所以我说有时候思考多了不如不思考。

笑而不语  && 哭笑不得