关于gcc中字节对齐的问题

specter117

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

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

       我怎么看过一篇文章说任何类型(包括自定义结构类型)的数组所占空间的大小一定等于一个单独的该类型数据的大小乘以数组元素的个数

MMMIX

原帖由 gucuiwen 于 2007-6-29 13:17 发表
给LZ一个解决问题的另一种思路吧，开阔一下大家的思维广度：

我曾经待过的一家公司，为了某种需要，反汇编人家老外的软件，
这些软件是针对专门的硬件平台的，

反汇编出来的代码，很多结构体中都有叫fille ...

这个也算是常见方法了。不过最开始有人针对楼主的问题给出使用 pragma 的解决方案，大家就顺着往下讨论了下罢了。

另外，某些代码，例如说 Linux 内核，明确指明是依赖于特定编译器的，此处为 gcc，这时使用特定编译器的扩展就更方便些、也更可取些。

scutan

原帖由 gucuiwen 于 2007-6-29 13:17 发表
给LZ一个解决问题的另一种思路吧，开阔一下大家的思维广度：

我曾经待过的一家公司，为了某种需要，反汇编人家老外的软件，
这些软件是针对专门的硬件平台的，

反汇编出来的代码，很多结构体中都有叫fille ...

谢谢. 又学到了一些东西了!

netfarming

长了一些见识，
#pragma pack(1) 可以省空间

MMMIX

原帖由 netfarming 于 2007-6-29 19:28 发表
长了一些见识，
#pragma pack(1) 可以省空间

这个要看你怎么取舍了，空间 vs. （执行）效率。

zwylinux

原帖由 specter117 于 2007-6-29 14:22 发表



       我怎么看过一篇文章说任何类型(包括自定义结构类型)的数组所占空间的大小一定等于一个单独的该类型数据的大小乘以数组元素的个数

你的说法只是对数组而言的。

Benson_linux

原帖由 gucuiwen 于 2007-6-29 13:17 发表
给LZ一个解决问题的另一种思路吧，开阔一下大家的思维广度：

我曾经待过的一家公司，为了某种需要，反汇编人家老外的软件，
这些软件是针对专门的硬件平台的，

反汇编出来的代码，很多结构体中都有叫fille ...

对于filler，我也说两句。本人正好这两天看了linux下ld方面的东西，我估计你反汇编的老外的代码是用GNU的工具编译和链接的。从该软件针对专门的硬件平台可以猜测出一二。

对程序中使用数据的内存对齐并不是在编译的时候完成的，实际上是在程序链接的时候完成的。linux下也就是执行ld，做数据内存布局的时候，根据在编译阶段分析出来的各个数据的对齐要求完成的。可以通过FILL（）命令或者=FILEEXP来制定使用什么数值来填充内存空隙。

所以反汇编的时候，会看到这些填充的数据。
基本上来说常规的方法还是使用gcc的选项或者宏，来满足内存对齐的要求，把填充的事情交给连接器做。

同时我也有一个问题请教，不知道gucuiwen当时用的是什么反编译工具，能看到变量的名字。或者还是文件中符号信息没有去掉？

[ 本帖最后由 Benson_linux 于 2007-6-30 08:59 编辑 ]

benjiam

原帖由 gucuiwen 于 2007-6-29 13:17 发表
给LZ一个解决问题的另一种思路吧，开阔一下大家的思维广度：

我曾经待过的一家公司，为了某种需要，反汇编人家老外的软件，
这些软件是针对专门的硬件平台的，

反汇编出来的代码，很多结构体中都有叫fil ...

struct mystr {
double l;
int a;
int b;
int filler;
char c;
char filler1;
char filler2;
char filler3;
};

请教一下 如何知道 这个结果一定是24字节？ int 在不同平台应该长度不一样 4byte 或者 2byte. double 也不一定。

这是如何确定的?  

char c 后面加了 filter 只能确保 是4个byte.  也就是他们是按照 8 个byte 为一个单位来设置的. 所以这里假设double 是8 byte
int a int b 又是8
intfile + char c  char filer1 file2 fille3 是8
char c  一个字节多占了7

ddvv

1. 
   
2. #include<stdio.h>
   
3. 
   
4. struct A{
   
5.    double a;
   
6.    int b;
   
7.    int c;
   
8.    char d;
   
9. }__attribute__ ((aligned(packed)));
   
10. 
    
11. int main(){
    
12.    struct A a[2];
    
13.    printf("%d\t%p\n%d\t%p\n",sizeof(a[0]),&a[0],sizeof(a[1]),&a[1]);
    
14.    return 0;
    
15. }
    

复制代码

这段代码在winXP+GCC3.42上面，无论packed是8还是4，结果都是

1. 
   
2. 24      0022FF40
   
3. 24      0022FF58
   

复制代码

如果packed为16，那么就是

1. 
   
2. 32      0022FF30
   
3. 32      0022FF50
   

复制代码

packed为8或4的时候为什么都是按8对齐的呢？

shihyu

我是 gcc version 4.2.3

用楼主代码 #pragma pack(4) 或是 #pragma pack( 在我linux gcc 还是 显示 20字节大小?

#pragma pack(  应该是 24 字节大小不是吗?

#pragma pack(n)  在 gcc version 4.2.3  应该有支援吧  

__attribute__ ((aligned(n)));  , n 我测试　1 , 2  都不行?

__attribute__ ((aligned(n)));  , n　=  4, 8, 16 正确

请问这是什么原因？

谢谢