C语言标准有没有规定前一个语句必须在后一个语句之前完成？

smalloc

真的是越来越不会写程序了。

OwnWaterloo

完整的规则记不清楚，但语句之间肯定是有序列点的。

能给出问题代码么？

smalloc

回复 2# OwnWaterloo


    http://bbs.chinaunix.net/thread-3607285-1-1.html
老实说我在C程序设计语言和C语言参考手册上没见到提到这一点。难道我们一直在被潜规则？

asuka2001

C语言的规定只能是影响到编译器吧，CPU要怎么干怕是不会管你C语言的规定的！

OwnWaterloo

回复 3# smalloc

噢，又是这帖……

C标准描述的是单线程的……

序列点定义的副作用的顺序，应该是指可被观察到的顺序。
更精确的描述要靠幻の上帝、kbtiller、pmerofc了……

>> 线程A
>> ptr->buffrt = malloc(xxx);
>> ptr->enable = true;
对此线程来说，buffer与enable执行先后是不可观察的。
即使enable确实在此之前，将它说成在此之后也是说得通的。
在C层面，以及此线程中，无法证明enable在buffer之前。

当另一个线程插一脚，它们之间的执行顺序才是可被观察的。

zylthinking

回复  smalloc

噢，又是这帖……

C标准描述的是单线程的……

序列点定义的副作用的顺序，应该是指 ...
OwnWaterloo 发表于 2011-10-17 16:24

我确实很期待语言至上论者， 号称 C标准规定机器 的某人能不能从里面找到某条款来说明。。。。。。或者又是包打一切的 ”未定义行为“

egmkang

抛开多线程,好像就; , ?: 几种是有顺序的吧

OwnWaterloo

回复 6# zylthinking

序列点、副作用以及它们与优化之间的关系可能C标准里找得到 —— 这是想请教他们的地方。
哦，还有davelv，他最近太不活跃了……


但多线程下序列点与副作用肯定是没有相关规定的。
可能那时候多线程、多核、乱序不流行？
也可能是制定标准时把多线程想简单了，以为靠库就可以完全解决。

不过C/C++标准也是在做相应的发展嘛……
据说C++11有更详细的规定。
C1X也在制定中……

OwnWaterloo

论坛有@功能就好了……

egmkang

论坛有@功能就好了……
OwnWaterloo 发表于 2011-10-17 17:00

    weibo有....