关于gcc中字节对齐的问题

scutan

1. 
   
2. #include<stdio.h>
   
3. 
   
4. struct A
   
5. {
   
6. double l;
   
7. int i;
   
8. int b;
   
9. char c;
   
10. };
    
11. 
    
12. int main()
    
13. {
    
14.         struct A m[2];
    
15.         printf("%d\n", sizeof(struct A));
    
16.         printf("%p\n", &m[0]);
    
17.         printf("%p\n", &m[1]);
    
18.         printf("%d\n", (int)&m[1]-(int)&m[0]);
    
19. 
    
20.         printf("%p\n", &(m[0].l));
    
21.         printf("%p\n", &(m[1].l));
    
22. 
    
23.         return 0;
    
24. }
    
25. 
    

复制代码

对于上面的代码, 在VC中,结构体A的大小为24, 但是在gcc 中其大小却为20, 这样, 我连续分配两个这个结构体时, 第二个结构体的起始就不是double大小的倍数.  请问为什么在gcc中不将其进行8位对齐? 谢谢.
gcc version

gcc version 4.1.1 20061011 (Red Hat 4.1.1-30)

scutan

下面的是运行结果

1. 
   
2. 20
   
3. 0xbff4a19c
   
4. 0xbff4a1b0
   
5. 20
   
6. 0xbff4a19c
   
7. 0xbff4a1b0
   

复制代码

MMMIX

原帖由 scutan 于 2007-6-28 14:04 发表
[CODE]
#include<stdio.h>

struct A
{
double l;
int i;
int b;
char c;
};

int main()
{
        struct A m[2];
        printf("%d\n", sizeof(struct A));
        pri ...

楼主用的是 x86 系列的平台吧，x86 的对齐要求不是那么的严格。换其他平台看看。

scutan

原帖由 MMMIX 于 2007-6-28 14:36 发表

楼主用的是 x86 系列的平台吧，x86 的对齐要求不是那么的严格。换其他平台看看。

哦, 不过我这儿也就只有X86平台. 呵呵.
也是, 毕竟字节对齐主要的为了在存取时能够更快速.

zwylinux

原帖由 scutan 于 2007-6-28 14:04 发表
[CODE]
#include<stdio.h>

struct A
{
double l;
int i;
int b;
char c;
};

int main()
{
        struct A m[2];
        printf("%d\n", sizeof(struct A));
        pri ...

每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数)。程序员可以通过预编译命令#pragma pack(n)，n=1,2,4,8,16来改变这一系数，其中的n就是你要指定的“对齐系数”。在lz的程序中，n默认是4。
在这个前提下分析lz得到的结果：

4字节对齐（#pragma pack(4)）
sizeof(m[0]) = 20;
分析过程：
1）成员数据对齐
struct A {
  double l;        /* 长度8 > 4 按4对齐；起始offset=0 0%4=0；存放位置区间[0,7] */
  int i;            /* 长度4 = 4 按4对齐；起始offset=8 8%4=0；存放位置区间[8,11] */
  int b;           /* 长度4 = 4 按4对齐；起始offset=12 12%4=0；存放位置区间[12,15] */
  char c;         /* 长度 1 = 4 按1对齐；起始offset=16 16%1=0；存放位置区间[16] */
};
成员总大小为17，
整体对齐系数＝min(max (double, int, char), 4) = 4;
整个结构体的大小＝20，为什么不是上面算出来的17呢？这里涉及到一个叫做“圆整”的概念。
什么叫“圆整”？比如在这个例子，从17开始，看看那个位置可以被“整体对齐系数（4）”整除，17，18，19都不合适，所以到20，圆整结束。
这也解释了为什么第二个结构体开始的位置不能被8整除，其实只要个能被4整除就可以了。

scutan

哦. 明白了, 原来是给它定义成了4. 谢谢!

raul_xu_sercomm

问得好 ，答得也好

antonym55

原帖由 zwylinux 于 2007-6-28 14:56 发表

每个特定平台上的编译器都有自己的默认“对齐系数”(也叫对齐模数)。程序员可以通过预编译命令#pragma pack(n)，n=1,2,4,8,16来改变这一系数，其中的n就是你要指定的“对齐系数”。在lz的程序中，n默认是4。
在 ...

gcc 可以用#pragma pack(n) ??

scutan

gcc中可以使用

1. 
   
2. #pragma pack(8)
   

复制代码

但是我使用了

1. 
   
2. #pragma pack(8)
   

复制代码

得到的结果仍然和不使用这一句是一样的, 就是说仍然不是从8的倍数开始的.
请问这是怎么回事呢?
谢谢

[ 本帖最后由 scutan 于 2007-6-28 20:19 编辑 ]

MMMIX

原帖由 antonym55 于 2007-6-28 20:02 发表


gcc 可以用#pragma pack(n) ??

可以，但并不赞成。

BTW, #pragma pack(n) 是在 gcc 4 中增加的，至少 gcc 3.4 没有这个。

[ 本帖最后由 MMMIX 于 2007-6-29 12:55 编辑 ]