什么叫做按内存地址递减方式分配内存？

xiaozhu2007

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. int main(void)
   
5. {
   
6.         int             i, a[10];
   
7.         for(i = 1; i <= 10; i++){
   
8.                 a[i] = 0;
   
9.         }
   
10.         return 0;
    
11. }
    

复制代码

程序会陷入死循环。
c traps and pit falls中解释说：如果编译这段程序的编译器按内存地址递减的方式给变量分配内存的话，则数组a后的一个字实际分配给变量i。
请问：什么叫做按内存地址递减的方式分配内存？和int i, a[10]或者int a[10], i的顺序有关系吗？

jigloo

就是栈的生长方向

cjaizss

栈可以向地址增加的方向，也可以向地址减小的方面，或者两者都可。

mymtom

这个和编译器器有关的. gcc似乎最先为数组分配内存,然后在为其他变量分配内存.

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. int main(void)
   
5. {
   
6.         int             i;
   
7.         int             j;
   
8.         int             a[10];
   
9.         int             k;
   
10.         (void)printf("&i       = %zx\n", &i);
    
11.         (void)printf("&j       = %zx\n", &j);
    
12.         (void)printf("&k       = %zx\n", &k);
    
13.         (void)printf("&(a[10]) = %zx\n", &(a[10]));
    
14.         (void)printf("&(a[0])  = %zx\n", &(a[0]));
    
15.         for(i = 1; i <= 10; i++){
    
16.                 a[i] = 0;
    
17.         }
    
18.         return 0;
    
19. }
    

复制代码

输出为:
&i       = 7fffffffeaec
&j       = 7fffffffeae8
&k       = 7fffffffeae4
&(a[10]) = 7fffffffeb18
&(a[0])  = 7fffffffeaf0
并没有陷入无限循环.

77h2_eleven

这玩意，如果不是死循环，就是段错误吧？

Sorehead

越界操作并不一定会造成段错误。

voiceshen

有人能实现死循环吗？

irp

64bits, gcc -o test test.c -O0, 把int i, 改成int64_t, 就可以死循环。如果不改的话，gcc栈对齐，rbp-8是空出来的，a[10]写了也没用。也可以a[11]。

1. #include <stdlib.h>
   
2. #include <stdio.h>
   
3. 
   
4. int main(int argc, char *argv[])
   
5. {
   
6.         int64_t i;
   
7.         int a[10];
   
8. 
   
9.         for(i = 1; i <= 10; i++) {
   
10.                 a[i] = 0;
    
11.         }
    
12.         printf("terminating %d!\n", (int)i);
    
13.         return 0;
    
14. }
    
15. 
    
16. 
    
17. int main(int argc, char *argv[])
    
18. {
    
19.         int i;
    
20.         int a[11];
    
21. 
    
22.         for(i = 1; i <= 11; i++) {
    
23.                 a[i] = 0;
    
24.         }
    
25.         printf("terminating %d!\n", i);
    
26.         return 0;
    
27. }

复制代码

msvc 2012，64bits release版本, 关闭优化不用改code就可以死循环。

1. 
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. 
   
5. #pragma optimize("", off)
   
6. 
   
7. int _tmain(int argc, _TCHAR* argv[])
   
8. {
   
9.         int i, a[10];
   
10.         for(i = 1; i <= 10; i++){
    
11.                         a[i] = 0;
    
12.         }
    
13.         return 0;
    
14. }
    

复制代码