c++ 内存对齐
==========================
注:本文代码测试环境为win7 X64 cpu, 编译器为gcc4.7.1 和 vs2010
内存对齐是编译器为了便于CPU快速访问而采用的一项技术
我们先从一个例子开始,对下面的类(或者结构体)
class node
{
char c;
int i;
short s;
}no;
sizeof(no)的值是多少呢,如果你的回答是7(1+4+2),那么你应该认真阅读下面的内容。可以在编译器上试试,输出的结果是12,这就是内存对齐的结果。
为什么要进行内存对齐呢?
- 平台原因(移植原因):不是所有的硬件平台都能访问任意地址上的任意数据的;某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常。
- 性能原因:数据结构(尤其是栈)应该尽可能地在自然边界上对齐。原因在于,为了访问未对齐的内存,处理器需要作两次内存访问;而对齐的内存访问仅需要一次访问。 本文地址
编译器一般按照几个字节对齐呢?本文中两个编译器默认按照类中最大类型长度来对齐,我么也可以使用语句#pragma pack(i)(i = 1,2,4,8,16)来设置对齐字节数目,vs还可以在项目属性-配置属性-c/c++-代码生成-结构成员对齐设置。
对齐规则如下:
- 如果设置了内存对齐为 i 字节,类中最大成员对齐字节数为j,那么整体对齐字节n = min(i, j) (某个成员的对齐字节数定义:如果该成员是c++自带类型如int、char、double等,那么其对齐字节数=该类型在内存中所占的字节数;如果该成员是自定义类型如某个class或者struct,那个它的对齐字节数 = 该类型内最大的成员对齐字节数《详见实例4》)
- 每个成员对齐规则:类中第一个数据成员放在offset为0的位置;对于其他的数据成员(假设该数据成员对齐字节数为k),他们放置的起始位置offset应该是 min(k, n) 的整数倍
- 整体对齐规则:最后整个类的大小应该是n的整数倍
- 当设置的对齐字节数大于类中最大成员对齐字节数时,这个设置实际上不产生任何效果(实例2);当设置对齐字节数为1时,类的大小就是简单的把所有成员大小相加
我们通过以下几个实例来分析
实例1:(没有指定对齐字节,则n = 最大成员(int i)的大小4)
class node
{
char c; //放在位置0,位置区间[0]
int i; //4 = n, 那么放置起始位置应该是4的倍数,即4,位置区间为[4~7]
short s; //2 < n,那么放置起始位置应该是2的倍数,即8,位置区间为[8~9]
}
此时成员共占用[0~9]10个字节,还要整体对齐,大小应该是4的倍数,即12
实例2:(假设指定对齐字节为8,那么n = min(8,4) = 4)
class node
{
int i; //放在位置0,位置区间[0~3]
char c; //1 < n, 那么放置起始位置应该是1的倍数,即4,位置区间为[4]
short s; //2 < n,那么放置起始位置应该是2的倍数,即6,位置区间为[6~7]
}
成员共占据[0~7]8个字节,刚好是4的倍数,因此大小是8
实例3:(假设指定对齐字节是2,则n = min(2,4) = 2)
class node
{
char c; //放在位置0,位置区间[0]
int i; //4 > n, 那么放置起始位置应该是2的倍数,即2,位置区间为[2~5]
short s; //2 = n,那么放置起始位置应该是2的倍数,即6,位置区间为[6~7]
}
此时成员共占用[0~7]8个字节,刚好是4的倍数,因此大小是8
实例4:(按照默认设置)
class temp
{
char c;
int i;
short s1;
};
由实例1可知,默认对齐情况下,temp的大小是12,temp的对齐字节数是:三个成员取最大的,即为4;
对于node,n = 其三个成员对齐字节数取最大,即等于t的对齐字节数,也就是 4。
class node
{
char c; //放在位置0,位置区间[0]
temp t; //4(temp的对齐字节数) = n, 那么放置起始位置应该是4的倍数,即4,位置区间为[4~15]
short s; //2 < n,那么放置起始位置应该是2的倍数,即16,位置区间为[16~17]
}
此时成员共占用[0~17]18个字节,还要整体对齐,大小应该是4的倍数,因此大小是20
实例5:(默然设置)
对于node,n = 其三个成员对齐字节数取最大,即等于d的对齐字节数,也就是 8。
class node
{
temp t; //放在位置0,位置区间[0~11]
double d; //8(temp的对齐字节数) = n, 那么放置起始位置应该是8的倍数,即16,位置区间为[16~23]
short s; //2 < n,那么放置起始位置应该是2的倍数,即24,位置区间为[24~25]
}
此时成员共占用[0~25]26个字节,还要整体对齐,大小应该是8的倍数,因此大小是32.
类继承时的内存对齐
考虑如下类
class A
{
int i;
char c1;
}
class B:public A
{
char c2;
}
class C:public B
{
char c3;
}
sizeof(C)结果是多少呢,gcc和vs给出了不同的结果,分别是8、16
gcc中:C相当于把所有成员i、c1、c2、c3当作是在一个class内部,(先继承后对齐)
vs中:对于A,对齐后其大小是8;对于B,c2加上对齐后的A的大小是9,对齐后就是12;对于C,c3加上对齐后的B大小是13,再对齐就是16 (先对齐后继承)
关于c++对象继承后的内存布局,更详细的分析可以《深度探索参考c++对象模型》第三章
参考资料:
zhyjunfov的ChinaUnix博客:gcc的内存对齐
【版权声明】转载请注明出处:http://www.cnblogs.com/TenosDoIt/p/3590491.html
=====================
在 C++ 中,内存对齐(memory alignment)是指在分配内存时,数据对象被放置在内存地址上的规则。内存对齐是为了提高内存访问的效率,因为许多硬件平台对于未对齐的数据访问效率较低,甚至可能导致程序崩溃。
内存对齐规则
-
基本对齐规则:数据对象的起始地址必须是其大小的整数倍。
-
结构体对齐规则:结构体的对齐值等于结构体中最大成员的大小。结构体的起始地址必须是其对齐值的整数倍。
-
指针对齐规则:指针的大小(在 64 位系统中通常是 8 字节)是它所指向的数据类型的对齐值。
控制对齐方式
在 C++ 中,可以使用一些方法来控制内存对齐方式:
-
alignof
运算符:alignof
运算符返回给定类型的对齐要求(以字节为单位)。cppalignof(int); // 返回 int 类型的对齐要求
-
alignas
关键字:alignas
关键字用于指定特定类型或对齐要求的对齐方式。cppalignas(16) char buffer[1024]; // 将 buffer 数组的对齐方式设置为 16 字节
-
#pragma pack
指令:#pragma pack
指令可用于修改结构体的对齐方式,从而实现结构体的紧凑排列。cpp
示例
在这个示例中,MyStruct
结构体的对齐值是 alignof(MyStruct)
,它通常等于其最大成员的大小,这个值决定了结构体在内存中的排列方式
==========================
在x86(32位机器)平台下,GCC编译器默认按4字节对齐: 64位,默认为8字节对齐
如:结构体4字节对齐,即结构体成员变量所在的内存地址是4的整数倍。
可以通过使用gcc中的_attribute_选项来设置指定的对齐大小
① attribute((packed)),让所作用的结构体取消在编译过程中的优化对齐,按照实际占用字节数进行对齐
② attribute((aligned (n))),让所作用的结构体成员对齐在n字节边界上。如果结构体中有成员变量的字节长度大于n,则按照最大成员变量的字节长度来对齐。
————————————————
原文链接:https://blog.csdn.net/czg13548930186/article/details/78800859
==========================
参考:
https://www.cnblogs.com/TenosDoIt/p/3590491.html
· 在鹅厂做java开发是什么体验
· 百万级群聊的设计实践
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战
· 永远不要相信用户的输入:从 SQL 注入攻防看输入验证的重要性
· 全网最简单!3分钟用满血DeepSeek R1开发一款AI智能客服,零代码轻松接入微信、公众号、小程