局部变量在栈中的存放顺序

md231

程序如下:
#include <stdio.h>

struct D
{

};

int main()
{
        struct D d1;
        struct D d2;
        struct D d3;
       
        printf("%lu\n", sizeof(struct D));
        printf("%lu, %p\n", sizeof(d1), &d1);
        printf("%lu, %p\n", sizeof(d2), &d2);
        printf("%lu, %p\n", sizeof(d3), &d3);
        return 0;       
}

运行结果:
Ellen$ gcc empty_struct.c
Ellen$ ./a.out
0
0, 0x7fff7f76c62d
0, 0x7fff7f76c62e
0, 0x7fff7f76c62f


问题: 栈空间不是道着走的么? 什么这几个局部结构体变量的地址是递增的呢?



运行环境:
Linux Ellen-MacBookPro 3.5.0-36-generic #57~precise1-Ubuntu SMP Thu Jun 20 18:21:09 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux

gcc版本:
gcc version 4.6.3 (Ubuntu/Linaro 4.6.3-1ubuntu5)

井蛙夏虫

回复 1# md231
同一个作用域定义的变量的存放顺序是由编译器决定的，你应当将它们放在不同的作用域然后看结果


   

folklore

试试：
int main(int argc, char *argv[], char *env[]){
   printf("%p,%p,%p",&env,&argv,&argc); // 提示通用的实现，入栈序为env，argv， argc
}

lin5161678

没顺序
递增
递减
乱序
完全正常

幻の上帝

回复 3# folklore


    为了照顾调用约定一般当然需要约定顺序，不过参数以外声明的块作用域对象有这个限制么。

幻の上帝

首先，不像ISO C++，ISO C看来根本没有保证不同完整对象之间存储不覆盖。
对于C++，WG14/N3090引入如下规则：
1.8/6 Unless an object is a bit-field or a base class subobject of zero size, the address of that object is the address
of the first byte it occupies. Two distinct objects that are neither bit-fields nor base class subobjects of zero
size shall have distinct addresses.
[ Example:
static const char test1 = ’x’;
static const char test2 = ’x’;
const bool b = &test1 != &test2; // always true
—end example ]
解决了CWG issue 734(http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#734)。
ISO C似乎没有类似规则。
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#73
这里也提到至少C9X的时候没有明确这个问题。
其次，对于特定的一些实现是可以部分确定的，例如：
System V Application Binary Interface AMD64 Architecture Processor Supplement (With LP64 and ILP32 Programming Models) v1.0:
3.2.2 The Stack Frame
In addition to registers, each function has a frame on the run-time stack. This stack grows downwards from high addresses.
但是注意，这里可没给你保证机器地址就和C的可观察行为告诉你的地址是一回事（%p的结果是implementation-defined，具体怎么样懒得翻了不过现在一般的宿主实现就是虚拟地址），更没告诉你C里先声明的对象就是先占用调用栈的。
再次，就得看编译器高兴了……找文档找不到就找源码吧。。。
顺便，ISO C在语法上禁止声明空结构体（也许因为_Static_assert，WG14/N1570有defect），而sizeof(完整对象类型) > 0。
LZ那个用的已经算不兼容的GNU扩展了，上面的一些规则也只能参考……

ifreecoding

栈序应该是处理器内核决定的

potterhe

1. #include <stdio.h>
   
2. 
   
3. static void f();
   
4. 
   
5. int
   
6. main()
   
7. {
   
8.         char c = 'a';
   
9.         printf("\n%p", &c);
   
10. 
    
11.         f();
    
12. 
    
13.         return 0;
    
14. }
    
15. 
    
16. static void
    
17. f()
    
18. {
    
19.         char c = 'a';
    
20.         printf("\n%p", &c);
    
21. }
    
22. 
    
23. 
    
24. $ ./a.exe
    
25. 
    
26. 0x22ac2f
    
27. 0x22abff

复制代码

snakedy

我个人觉得你的例子中使用在main一个函数中的变量，内部是顺序递增的，楼上是用两个函数中的变量是倒叙的，其实原因是出现压栈调用了，不知道我理解的对不对。

md231

回复 3# folklore

测试结果:


0x7fff468a2b88
0x7fff468a2b90
0x7fff468a2b9c


我这里栈是从低地址向上生长的.