又问内存对齐

slucx

在小端4字节对齐的情况下，如下局部变量在栈中如何分配地址？
char c;
char *p;
char s[3];
char *q;
int a;
如果a的地址为0，那么q, s[0], s[1], s[2], p, c这些局部变量本身的地址是多少？？？

suanmeilizhi

12
8
9
10
4
0

walleeee

目前的大多体系结构一般是栈向下生长，即地址向低地址生长。
而编译器优化可能或打乱变量的顺序，主要是为了地址对齐，所以并不能根据c代码中的变量定义来推定地址。所以你这个问题本来就不是一个有答案的问题。

slucx

GCC中是0 4 9 10 11 12 19  
栈是向下生长的，这个问题已经搞懂点了，但是同时又有一个问题

局部：

1. 
   
2. int a = 1;
   
3. int b = 2;
   
4. int c = 3;
   
5. int *p = &b;
   
6. int d = 4;
   
7. 
   
8. *p = 5;
   
9. *(p + 1) = 6;
   

复制代码

问经过这些操作后 a, b, c, d值各是多少？

slucx

好诡异

barachel

lz的问题，我看了一下，按照栈的增长方向，直觉是
a = 6, b = 5, c = 3, d = 4

然后为了证实，写了代码，在mingw(gcc v4.6.1)中测试了一下啊，结果大囧

1. int main()
   
2. {
   
3.         int a = 1;
   
4.         int b = 2;
   
5.         int c = 3;
   
6.         int *p = &b;
   
7.         int d = 4;
   
8. 
   
9.         *p = 5;
   
10.         *(p + 1) = 6;
    
11. 
    
12.         printf("a = %d, b = %d, c = %d, d = %d\n", a, b, c, d);
    
13. 
    
14.         return 0;
    
15. }

复制代码

输出
a = 1, b = 5, c = 3, d = 6

然后加了句话，打印出各变量的地址

1. int main()
   
2. {
   
3.         int a = 1;
   
4.         int b = 2;
   
5.         int c = 3;
   
6.         int *p = &b;
   
7.         int d = 4;
   
8. 
   
9.         *p = 5;
   
10.         *(p + 1) = 6;
    
11. 
    
12.         printf("a = %d, b = %d, c = %d, d = %d\n", a, b, c, d);
    
13.         printf("address  &a = %d, &b = %d, &c = %d, &d = %d, &p = %d, &(p + 1) = %d\n",(unsigned)&a, (unsigned)&b, (unsigned)&c, (unsigned)&d, (unsigned)p, (unsigned)(p + 1));
    
14. 
    
15.         return 0;
    
16. }

复制代码

输出
a = 6, b = 5, c = 3, d = 4
address  &a = 2293512, &b = 2293508, &c = 2293504, &d = 2293500, &p = 2293508, &(p + 1) = 2293512

{:3_185:}输出的结果变了……

然后果断换到vs2008 sp1下
输出
a = 1, b = 5, c = 3, d = 4
并友情赠送一个Debug Error
Run-Time Check Failure #2 - Stack around the variable 'b' was corrupted.

求大牛指教

slucx

barachel 发表于 2012-03-07 11:37
lz的问题，我看了一下，按照栈的增长方向，直觉是
a = 6, b = 5, c = 3, d = 4

你跟我的思路一样，我的问题就是这…… 好诡异，加面一条语句结果变了

hellioncu

编译器为了优化可能会调整顺序，一般来说纠结于这种问题没有意义

slucx

hellioncu 发表于 2012-03-07 13:15
编译器为了优化可能会调整顺序，一般来说纠结于这种问题没有意义

没办法，还没找到工作，怕以后面试的时候会有人问

hellioncu

slucx 发表于 2012-03-07 13:20
没办法，还没找到工作，怕以后面试的时候会有人问

那你现在碰到这个问题准备怎么回答？