内层中数据对齐问题

ubuntuer

1. 
   
2. [root@localhost test]# cat address.c
   
3. #include <stdio.h>
   
4. 
   
5. int main(int argc,char** argv)
   
6. {
   
7. int a;
   
8. char b;
   
9. int c;
   
10. 
    
11. printf("a is 0x%08x\nb is 0x%08x\nc is 0x%08x\n",&a,&b,&c);
    
12. return 0;
    
13. }
    
14. [root@localhost test]# ./address
    
15. a is 0xbff2d700
    
16. b is 0xbff2d6ff
    
17. c is 0xbff2d6f8
    
18. 
    

复制代码

看出linux内存的增长方向是向Low的..这个可以见我的下一个程序

1. #include <stdio.h>
   
2. 
   
3. void* n;
   
4. 
   
5. typedef enum
   
6. {
   
7.   GROW_HIGH,
   
8.   GROW_LOW
   
9. }STACK;
   
10. 
    
11. 
    
12. STACK testStack(void* p)
    
13. {
    
14.   n=&p;
    
15.   if(n==NULL)
    
16.      return testStack(n);
    
17.   else{
    
18.       if(n<p)
    
19.         return GROW_HIGH;
    
20.        return GROW_LOW;
    
21.      }
    
22. }
    
23. 
    
24. int main()
    
25. {
    
26. STACK statck_direct = testStack(NULL);
    
27. printf("%d\n",statck_direct);
    
28. return 0;
    
29. }
    
30. 
    

复制代码

这个结果有点不懂
[root@localhost test]# ./address
a is 0xbff2d700
b is 0xbff2d6ff
c is 0xbff2d6f8

我个人理解的是
那么a就是0xbff2d703-0xbff2d700
        b        0xbff2d700-0xbff2d6ff
        c        0xbff2d6ff-0xbff2d6fb


gcc -S了下 看不懂!!!   赐教


我gcc -O2优化了下后 结果更加离谱:
[root@localhost test]# ./address
a is 0xbfa3b20c
b is 0xbfa3b213
c is 0xbfa3b208

swxlion

结构体的成员在内存中并不一定非得是连续按顺序存放，只要编译器能找得到就行。kaspersky Kris 在《黑客反汇编揭秘》中讲过。
不知我回答得是不是楼住想要的？

yeehya

堆是向上的,栈是向下的啊.
把你的例子换成malloc的方式结果是反的啊.

默认四字节对齐的吧.所以a,b,c都占四字节.
按你的分配地址来说...
a从0xbff2d703到0xbff2d700;地址为0xbff2d700;
b只需要使用0xbff2d6ff,但是需要4字节内存对齐;而且是自上向下的.则需要留出0xbff2d6fe到0xbff2d6fc;所以地址是0xbff2d6ff;
c从0xbff2d6fb到0xbff2d6f8;地址为0xbff2d6f8;

应该没有什么实际意义啊。一般都是结构体.不管堆栈什么的.内部地址都是从低到高的吧...

gz80

原帖由 swxlion 于 2009-6-10 13:36 发表
结构体的成员在内存中并不一定非得是连续按顺序存放，只要编译器能找得到就行。kaspersky Kris 在《黑客反汇编揭秘》中讲过。
不知我回答得是不是楼住想要的？

顶这句，特别是一些数组变量，编译器会在其前后空出一段内存，以防止下标越界产生错误。