[C/C++] 结构体内存对齐用法

一.为什么要内存对齐

经过内存对齐之后,CPU的内存访问速度大大提升;

内存空间按照byte划分,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定变量的时候经常在特定的内存地址访问,这就需要各类型数据按照一定的规则在空间上排列,而不是顺序的一个接一个的排放,这就是对齐。


各个硬件平台对存储空间的处理上有很大的不同。如果不按照适合其平台要求对数据存放进行对齐,会在存取效率上带来损失。比如有些平台每次读都是从偶地址开始,如果一个int型(假设为32位系统)如果存放在偶地址开始的地方,那么一个读周期就可以读出,而如果存放在奇地址开始的地方,就可能会需要2个读周期,并对两次读出的结果的高低字节进行拼凑才能得到该int数据。显然在读取效率上下降很多。这也是空间和时间的取舍;链接: https://www.cnblogs.com/jijiji/p/4854581.html
二. 内存对齐原则

1、数据成员对齐规则:结构(struct或联合union)的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员存储的起始位置: min(#pragma pack()指定的数,这个数据成员的自身长度)的倍数

2、结构体作为成员:如果一个结构里有某些结构体成员,则结构体成员要从min(#pragram pack() , 内部长度最长的数据成员)的整数倍地址开始存储。(struct a里存有struct b,b里有char,int,double等元素,那b应该从min(#pragram pack(), 8)的整数倍开始存储。)

3、结构体的总大小,也就是sizeof的结果,必须是 min(#pragram pack() , 长度最长的数据成员) 的整数倍

pragram pack() 默认为4(32位), 8(64位)

三. 用例

// #pragma pack(4)
struct s1{
    double b;
    char a;
} s1;
struct s2{
    char a;
    double b;
} s2;

typedef struct s3{
    char a;
    int b;
    double c;
} s3;
typedef struct s4{
    char a;
    double c;
    int b;
} s4;

struct s5{
    char a;
    s3 s;
    int b;
} s5;
struct s6{
    char a;
    s4 s;
    int b;
} s6;
加上 #pragma pack(4):   s1-s6 : 12, 12, 16, 16, 24, 24不加 #pragma pack(4):(64位默认8):  s1-s6 : 16, 16, 16, 24, 32, 40特别注意的是: c结构体中不允许定义static变量; C++结构体中可以定义static变量,sizeof时不计算该变量, 但需注意初始化格式,C++ sizeof几种变量的计算方法: https://blog.csdn.net/lime1991/article/details/44536343四. 更改编译器缺省字节对齐方式方法法1. #pragma pack()用法
#pragma pack(n) /*指定按n字节对齐,等价于#pragma pack(push,n), n必须为2的n次方,否则编译器可能会报错*/
#pragma pack() /*取消指定对齐,恢复缺省对齐,等价于#pragma pack(pop)*/
链接:https://baike.baidu.com/item/%23pragma%20pack/3338249  参数介绍法2.__attribute__((packed))用法
__attribute__((aligned(n))) // 让所作用的数据成员对齐在n字节的自然边界上;如果结构中有成员的长度大于n,则按照最大成员的长度来对齐;
__attribute__((packed)) // 取消结构在编译过程中的优化对齐,按照实际占用字节数进行对齐注意: 两个括号不能少用例:typedef struct s2{    char a;    int b;    double c;} __attribute__((aligned(4))) s2;
typedef struct  __attribute__((packed)) s2{    char a;    double c;    int b;}  s2;
五.  位域类型用法
注意,结构体内可以定义:位域类型; 位域类型没怎么接触过,有时间的话专门写一篇进行下详细了解;参考链接: https://www.cnblogs.com/tsw123/p/5837273.html
struct A1{
    char f1 : 3;
    char f2 : 4;
    char f3 : 5;
}A1;
struct A2{
    char f1 : 3;
    char f2 ;
    char f3 : 5;
}A2;
struct A3{
    char f1 : 3;
    short f2 ;
    char f3 : 5;
}A3;
struct A4{
    char f1 : 3;
    int f2 : 5;
    char f3 : 5;
}A4;

sizeof结果

A1-A4: 2, 3, 6, 4

六 常见的几种误用

#pragma pack(4)

typedef struct s00{char b;int a;
} s00;

char c_temp[10] = "123456789";
s00 s_temp = { 0x09, 0x12345678};

此时, sizeof(s_temp) = 8, 内存中((char*)&s_temp)[0-7] = 0x09, 0x00,0x00,0x00,0x78,0x56,0x34,0x12 ;

1. memset(&s_temp, 0, sizeof(s_temp));

此时,memset会将8个字节都设为0, 在这里由于structs_temp一般为malloc申请空间, malloc(sizeof(s00)), 默认申请为8个字节, 所以memset不会出错;

若直接定义结构体s00 s_temp, 需考虑a后三个字节值可能不定,默认为0;

2. (s00*)c_temp;

若是将一个char*的数组强转为s00, 该数组没有考虑b后的三个空字符,那么强转后参数就会出错,

假设 c_temp[0-7] = 0x78,0x56,0x34,0x12, 0x09, 0x00,0x00,0x00

若s00,定义int在前,char在后; 此时a = 0x12345678, b = 0x09; // 正确,

若s00,定义char在前,int在后,此时b = 0x78, a = 0x09; // 错误,

3. memcpy(c_temp, (char *)&s_temp, sizeof(s_temp)); //最容易出错

本意只想将s_temp的5个字节数据复制到c_temp, 但sizeof = 8, copy了8个字节, 会导致c_temp出错;

此时c_temp[0-9] = 0x09, 0x00,0x00,0x00, 0x78,0x56,0x34,0x12, 0x39, 0x00; // 0x39 = '9'

其他结构体定义方法
struct 类型名{
    成员表列
} 变量;
struct 类型名 变量;

typedef struct 类型名{
    成员表列
} 别名;
别名 变量;

基本数据类型所占内存大小

[C/C++] 结构体内存对齐用法

原文链接: https://www.cnblogs.com/zwh0214/p/8833314.html

欢迎关注

微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍

原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/272318

非原创文章文中已经注明原地址,如有侵权,联系删除

关注公众号【高性能架构探索】,第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处!

(0)
上一篇 2023年2月14日 下午10:36
下一篇 2023年2月14日 下午10:36

相关推荐