结构体对齐详解——转自“酱油和醋”
来源:互联网 发布:java 获取月份第一天 编辑:程序博客网 时间:2024/04/27 23:39
酱油和醋
KT的一亩三分地
本文转自“酱油和醋”
原文链接:
http://www.cnblogs.com/motadou/archive/2009/01/17/1558438.html
结构体对齐详解
比如这么一种处理器,它每次读写内存的时候都从某个8倍数的地址开始,一次读出或写入8个字节的数据,假如软件能保证double类型的数据都从8倍数地址开始,那么读或写一个double类型数据就只需要一次内存操作。否则,我们就可能需要两次内存操作才能完成这个动作,因为数据或许恰好横跨在两个符合对齐要求的8字节内存块上。
2)结构体内各数据成员的内存对齐,即该数据成员相对结构体的起始位置;
2)将各数据成员为了内存对齐,按各自对齐模数而填充的字节数累加到和sum_a上,记为sum_b。对齐模数是【#pragma pack指定的数值】和【结构体内部最大的基本数据类型成员】长度中数值较大者。该数据相对起始位置应该是对齐模式的整数倍;
3)将和sum_b向结构体模数对齐,该模数是【#pragma pack指定的数值】和【结构体内部最大的基本数据类型成员】长度中数值较小者。结构体的长度应该是该模数的整数倍。
charshortintlongfloatdoublelong longlong doubleWin-32长度12444888模数12444888Linux-32长度124448812模数12444444Linux-64长度124848816模数124848816
例子1:
struct my_struct { char a; long double b; };
此例子Windows和Linux计算方法有些许不一致。
在Windows中计算步骤如下:
步骤1:所有数据成员自身长度和:1B + 8B = 9B --> sum_a = 9B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是8,之前需填充7个字节,sum_a + 7 = 16B --> sum_b = 16 B
步骤3:按照定义,结构体对齐模数是结构体内部最大数据成员长度,此处者为8所以结构体对齐模数是8。sum_b是8的2倍,不需再次对齐。
综上3步,可知结构体的长度是16B,各数据成员在内存中的分布如图1-1所示。
在Linux中计算步骤如下:
步骤1:所有数据成员自身长度和:1B + 12B = 13B --> sum_a = 13B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是4,之前需填充3个字节,sum_a + 3 = 16B --> sum_b = 16 B
步骤3:按照定义,结构体对齐模数是结构体内部最大数据成员长度和pragma pack中较小者,前者为12后者为4,所以结构体对齐模数是4。sum_b是4的4倍,不需再次对齐。
综上3步,可知结构体的长度是16B,各数据成员在内存中的分布如图1-2所示。
例子2:
#pragma pack(2) struct my_struct { char a; long double b; }; #pragma pack()
例子1和例子2不同之处在于例子2中使用了#pragma pack(2)编译参数,它强制指定对齐模数是2。此例子Windows和Linux计算方法有些许不一致。
在Windows中计算步骤如下:
步骤1:所有数据成员自身长度和:1B + 8B = 13B --> sum_a = 9B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是2,之前需填充1个字节,sum_a + 1 = 10B --> sum_b = 10 B
步骤3:按照定义,结构体对齐模数是结构体内部最大数据成员长度和pragma pack中较小者,前者为8后者为2,所以结构体对齐模数是2。sum_b是2的5倍,不需再次对齐。
综上3步,可知结构体的长度是10B,各数据成员在内存中的分布如图2-1所示。
在Linux中计算步骤如下:
步骤1:所有数据成员自身长度和:1B + 12B = 13B --> sum_a = 13B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是2,之前需填充1个字节,sum_a + 1 = 14B --> sum_b = 14 B
步骤3:按照定义,结构体对齐模数是结构体内部最大数据成员长度和pragma pack中较小者,前者为8后者为2,所以结构体对齐模数是2。sum_b是2的7倍,不需再次对齐。
综上3步,可知结构体的长度是14B,各数据成员在内存中的分布如图2-2所示。
例子3:
struct my_struct { char a; double b; char c; };
前两例中,数据成员在Linux和Windows下都相同,例3中double的对齐模数在Linux中是4,在Windows下是8,针对这种模数不相同的情况加以分析。
在Windows中计算步骤如下:
步骤1:所有数据成员自身长度和:1B + 8B + 1B = 10B --> sum_a = 10B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是8,之前需填充7个字节,sum_a + 7 = 17B --> sum_b = 17B
步骤3:结构体对齐模数是结构体内部最大数据成员长度,此处者为8所以结构体对齐模数是8。所以结构体对齐模数是8。sum_b应该是8的整数倍,所以要在结构体后填充8*3 - 17 = 7个字节。
综上3步,可知结构体的长度是24B,各数据成员在内存中的分布如图3-1所示。
在Linux中计算步骤如下:
步骤1:所有数据成员自身长度和:1B + 8B + 1B = 10B,sum_a = 10B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是4,之前需填充3个字节,sum_b = sum_a + 3 = 13B
步骤3:按照定义,结构体对齐模数是结构体内部最大数据成员长度和pragma
pack中较小者,前者为8后者为4,所以结构体对齐模数是4。sum_b应该是4的整数倍,所以要在结构体后填充4*4 - 13 = 3个字节。
综上3步,可知结构体的长度是16B,各数据成员在内存中的分布如图3-2所示。
例子4:
struct my_struct { char a[11]; int b; char c; };
此例子Windows和Linux计算方法一样,如下:
步骤1:所有数据成员自身长度和:11B + 4B + 1B = 16B --> sum_a = 16B
步骤2:数据成员a放在相对偏移0处,之前不需要填充字节;数据成员b为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是4(最大的是int b,为4,不是11),之前需填充1个字节,sum_a + 1 = 17B --> sum_b = 17B
步骤3:结构体对齐模数是结构体内部最大数据成员长度,此处者为4,所以结构体对齐模数是4。所以结构体对齐模数是4。sum_b是4的整数倍,需在结构体后填充4*5 - 17 = ,3个字节。
综上3步,可知结构体的长度是20B,各数据成员在内存中的分布如图4所示。
例子5:
struct my_test { int my_test_a; char my_test_b; }; struct my_struct { struct my_test a; double my_struct_a; int my_struct_b; char my_struct_c; };
例子5和前几个例子均不同,在此例子中我们要计算struct my_struct的大小,而my_struct中嵌套了一个my_test结构体。这种结构体应该如何计算呢?原则是将my_test在my_struct中先展开,然后再计算,即是展开成如下结构体:
struct my_struct{ int my_test_a; char my_test_b; double my_struct_a; int my_struct_b; char my_struct_c;};
此例子Windows中的计算方法如下:
步骤1:所有数据成员自身长度和:4B + 1B + 8B + 4B + 1B= 18B --> sum_a = 18B
步骤2:数据成员my_struct_a为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是8,之前需填充3个字节:sum_a + 3 = 21B --> sum_b = 21B
步骤3:结构体对齐模数是结构体内部最大数据成员长度,此处者为8所以结构体对齐模数是8。所以结构体对齐模数是8。sum_b是8的整数倍,需在结构体后填充3*8 - 21 = 3个字节。
综上3步,可知结构体的长度是24B,各数据成员在内存中的分布如图5所示。
此例子Linux中的计算方法如下:
步骤1:所有数据成员自身长度和:4B + 1B + 8B + 4B + 1B= 18B,sum_a = 18B
步骤2:数据成员my_struct_a为了内存对齐,根据“结构体大小的计算方法和步骤”中第二条原则,其对齐模数是4,之前需填充3个字节,sum_b = sum_a + 3 = 21B
步骤3:按照定义,结构体对齐模数是结构体内部最大数据成员长度和pragma
pack中较小者,前者为4后者为4,所以结构体对齐模数是4。sum_b是4的整数倍,需在结构体后填充6*4 - 21 = 3个字节。
综上3步,可知结构体的长度是24B,各数据成员在内存中的分布如图5所示。
上面的例子均在Windows(VC++6.0)和Linux(GCC4.1.0)上测试验证。下面是测试程序。
#include <iostream>#include <stdio.h>using namespace std;int main(){ cout << "sizeof(char) = " << sizeof(char) << endl; cout << "sizeof(short) = " << sizeof(short) << endl; cout << "sizeof(int) = " << sizeof(int) << endl; cout << "sizeof(long) = " << sizeof(long) << endl; cout << "sizeof(float) = " << sizeof(float) << endl; cout << "sizeof(double) = " << sizeof(double) << endl; cout << "sizeof(long long) = " << sizeof(long long) << endl; cout << "sizeof(long double) = " << sizeof(long double) << endl << endl; // 例子1 { struct my_struct { char a; long double b; }; cout << "exapmle-1: sizeof(my_struct) = " << sizeof(my_struct) << endl; struct my_struct data; printf("my_struct->a: %u\nmy_struct->b: %u\n\n", &data.a, &data.b); } // 例子2 { #pragma pack(2) struct my_struct { char a; long double b; }; #pragma pack() struct my_struct data; cout << "exapmle-2: sizeof(my_struct) = " << sizeof(my_struct) << endl; printf("my_struct->a: %u\nmy_struct->b: %u\n\n", &data.a, &data.b); } // 例子3 { struct my_struct { char a; double b; char c; }; struct my_struct data; cout << "exapmle-3: sizeof(my_struct) = " << sizeof(my_struct) << endl; printf("my_struct->a: %u\nmy_struct->b: %u\nmy_struct->c: %u\n\n", &data.a, &data.b, &data.c); } // 例子4 { struct my_struct { char a[11]; int b; char c; }; cout << "example-4: sizeof(my_struct) = " << sizeof(struct my_struct) << endl; struct my_struct data; printf("my_struct->a: %u\nmy_struct->b: %u\nmy_struct->c: %u\n\n", &data, &data.b, &data.c); } // 例子5 { struct my_test { int my_test_a; char my_test_b; }; struct my_struct { struct my_test a; double my_struct_a; int my_struct_b; char my_struct_c; }; cout << "example-5: sizeof(my_struct) = " << sizeof(struct my_struct) << endl; struct my_struct data; printf("my_struct->my_test_a : %u\n" "my_struct->my_test_b : %u\n" "my_struct->my_struct_a: %u\n" "my_struct->my_struct_b: %u\n" "my_struct->my_struct_c: %u\n", &data.a.my_test_a, &data.a.my_test_b, &data.my_struct_a, &data.my_struct_b, &data.my_struct_c); } return 0;}执行结果:
//Linux localhost 3.4.6-2.10-desktop #1 SMP PREEMPT Thu Jul 28 19:20:26 UTC 2012 (641c197) x86_64 x86_64 x86_64 GNU/Linuxsizeof(char) = 1sizeof(short) = 2sizeof(int) = 4sizeof(long) = 8sizeof(float) = 4sizeof(double) = 8sizeof(long long) = 8sizeof(long double) = 16exapmle-1: sizeof(my_struct) = 32my_struct->a: 2163695552my_struct->b: 2163695568exapmle-2: sizeof(my_struct) = 18my_struct->a: 2163695680my_struct->b: 2163695682exapmle-3: sizeof(my_struct) = 24my_struct->a: 2163695648my_struct->b: 2163695656my_struct->c: 2163695664example-4: sizeof(my_struct) = 20my_struct->a: 2163695616my_struct->b: 2163695628my_struct->c: 2163695632example-5: sizeof(my_struct) = 24my_struct->my_test_a : 2163695584my_struct->my_test_b : 2163695588my_struct->my_struct_a: 2163695592my_struct->my_struct_b: 2163695600my_struct->my_struct_c: 2163695604
//Linux localhost 3.4.6-2.10-desktop #1 SMP PREEMPT Thu Jul 26 09:36:26 UTC 2012 (641c197) i686 i686 i386 GNU/Linuxsizeof(char) = 1sizeof(short) = 2sizeof(int) = 4sizeof(long) = 4sizeof(float) = 4sizeof(double) = 8sizeof(long long) = 8sizeof(long double) = 12exapmle-1: sizeof(my_struct) = 16my_struct->a: 3213889904my_struct->b: 3213889908exapmle-2: sizeof(my_struct) = 14my_struct->a: 3213889890my_struct->b: 3213889892exapmle-3: sizeof(my_struct) = 16my_struct->a: 3213889872my_struct->b: 3213889876my_struct->c: 3213889884example-4: sizeof(my_struct) = 20my_struct->a: 3213889852my_struct->b: 3213889864my_struct->c: 3213889868example-5: sizeof(my_struct) = 24my_struct->my_test_a : 3213889828my_struct->my_test_b : 3213889832my_struct->my_struct_a: 3213889836my_struct->my_struct_b: 3213889844my_struct->my_struct_c: 3213889848
//CYGWIN_NT-6.1 motadou-PC 1.7.20(0.266/5/3) 2013-06-07 11:11 i686 Cygwinsizeof(char) = 1sizeof(short) = 2sizeof(int) = 4sizeof(long) = 4sizeof(float) = 4sizeof(double) = 8sizeof(long long) = 8sizeof(long double) = 12exapmle-1: sizeof(my_struct) = 16my_struct->a: 2272336my_struct->b: 2272340exapmle-2: sizeof(my_struct) = 14my_struct->a: 2272322my_struct->b: 2272324exapmle-3: sizeof(my_struct) = 24my_struct->a: 2272296my_struct->b: 2272304my_struct->c: 2272312example-4: sizeof(my_struct) = 20my_struct->a: 2272276my_struct->b: 2272288my_struct->c: 2272292example-5: sizeof(my_struct) = 24my_struct->my_test_a : 2272248my_struct->my_test_b : 2272252my_struct->my_struct_a: 2272256my_struct->my_struct_b: 2272264my_struct->my_struct_c: 2272268
» 下一篇:大端法、小端法、网络字节序
{
int my_test_a;
char my_test_b;
double my_struct_a;
int my_struct_b;
char my_struct_c;
}; 例子5,应该不是简单的把嵌套结构体合并,而是把这个
struct my_test
{
int my_test_a;
char my_test_b;
}; 看成一个整体去看待!这篇文章写的很好,分析的非常的全面,我顶!
特地注册账号来评论一些错误:
1.windows上面pragma pack的默认大小不是所谓的【32位系统为4字节,64位为8字节】而是 等于最大的内置类型长度大小,所以你会发现【 例子1】中的pragma pack不应该是4,而应该是8(否则,你怎么解释例子3的pragma pack却是8了)
【推荐】融云即时通讯云-豆果美食、Faceu等亿级APP都在用
· Google准备测试能抵抗量子计算机破解的加密算法
· 甲骨文公司承诺继续支持Java EE
· 《口袋怪兽Go》开发者揭秘如何打造这款游戏
· 谷歌开始在印度培训200万Android平台开发者
· 高通正式发布骁龙821处理器 性能最高提升10%
» 更多新闻...
· 写给初学前端工程师的一封信
· 抽象:程序员必备的能力
· 编程同写作,写代码只是在码字
· 遇见程序员男友
- 结构体对齐详解——转自“酱油和醋”
- 结构体对齐详解【转】
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- 结构体对齐详解
- tarjan缩点模板 poj 2186
- POJ-3356-AGTC
- 团体程序设计天梯赛-练习集 L1
- Vue.js学习 Item15 – 构建大型web应用
- 一个网站的成长
- 结构体对齐详解——转自“酱油和醋”
- POJ1201
- 《C++程序设计原理及实践》- 错误
- Vue.js学习 Item16 – 各种Web流行MV*框架对比
- java字符串
- JavaScript的时钟小程序
- Struts1配置讲解及原理
- Android应用界面开发01
- View的事件分发
这里是较大者吧?我看例子1那里,#pragma pack是4,数据成员中有1和8,你取8作为对齐模数的啊!