C语言对程序数据存放顺序的规定？

x5miao

我知道ISO C明确要求了有以下三条：
（1）数组元素必须连续存储，且索引值越大的元素的地址也越大；
（2）联合体对象的所有成员的起始地址必须相同；
（3）结构体对象里某元素的地址一定比其下一个成员的地址小——也就意味着完全可能有一种变态的C编译器使用指针链表来实现结构体，虽然这样做可能没什么意义。

不知道除此之外还有那些规定？

OwnWaterloo

要从这个方向总结对我来说有难度……


一般我是编程时需要 &x < &y 但又不太确定时去翻翻。
翻到当然最好， 没翻到应该就是自己的问题了。

x5miao

回复 2# OwnWaterloo

1. #include<stdio.h>
   
2. void test(void)
   
3. {
   
4.       int x,y;
   
5.       if( &x < &y )
   
6.             puts("&x<&y");
   
7.       else
   
8.             puts("&x>=&y");
   
9. }

复制代码

这个函数的执行结果应该是未知的。

OwnWaterloo

回复 3# x5miao

这就是程序写得有问题，无论输出是不是希望的样子，都必须得改。

从这个简单例子我是看不出为什么一定要 &x 与 &y 的地址有高低关系……
若实际的例子没有这个需求， 那就ok了。

若实际的例子有这个需求，不妨设需要 &x < &y ， 那就这样写呗：

1. 
   
2. void f(void)
   
3. {
   
4.       struct { int x,y; } p;
   
5. }
   

复制代码

若 &p.x > &p.y 那就是编译器而不是代码的问题了。

x5miao

回复 4# OwnWaterloo


    一时也想不出来应用这种判断的实际例子。不过我觉得如果真的需要这种判断，那就必须对所使用的平台和编译器有严格的规定

asuka2001

（3）结构体对象里某元素的地址一定比其下一个成员的地址小——也就意味着完全可能有一种变态的C编译器使用指针链表来实现结构体，虽然这样做可能没什么意义。

那是不是说对于一个struct X的两个对象a, b；这样写是错误的memcpy(&b, &a, sizeof(struct X));

x5miao

回复 6# asuka2001


  不符合标准。不过在一般平台上你大可放心，因为据我所知还没有那种编译器的结构对象是不连续存储的。如果你要100%确认这个语句的合法性，那就看你编译器的说明文档了

yongzhy

回复 3# x5miao


这段代码应该是用来验证stack的压入方向的吧