C/C++ 详谈结构体大小计算(内存对齐)

发布于:2025-07-22 ⋅ 阅读:(18) ⋅ 点赞:(0)

目录

 1. 默认的对齐规则:

几个例子与结果:

2. 修改默认对齐数:

例子: 

3. C++继承场景下的类的大小的计算:

1. 包含虚函数的类

2. 包含成员函数的类

4. 扩展:

定义一个计算成员变量在类中偏移量的宏

做法:

疑问:


 1. 默认的对齐规则:

1. 结构体的第⼀个成员对⻬到和结构体变量起始位置偏移量为0的地址处 其他成员变量要对⻬到某个数字(对⻬数)的整数倍的地址处。

2. 对⻬数 = 编译器默认的⼀个对⻬数 与 该成员变量⼤⼩的较⼩值

        - Visual Studio 中默认的值为 8

        - Linux中 gcc 没有默认对⻬数,对⻬数就是成员⾃⾝的⼤⼩

3. 结构体总⼤⼩为最⼤对⻬数(结构体中每个成员变量都有⼀个对⻬数,所有对⻬数中最⼤的)的 整数倍。

4. 如果嵌套了结构体的情况,嵌套的结构体成员对⻬到⾃⼰的成员中最⼤对⻬数的整数倍处,结构 体的整体⼤⼩就是所有最⼤对⻬数(含嵌套结构体中成员的对⻬数)的整数倍。

几个例子与结果:

struct ss1
{
	char _c;
	int _i;
	int _i2;
};
struct ss2
{
	int _i;
	char _c;
};
struct ss3
{
	int _i;
	char _c;
	double _d;
};
struct ss4
{
	int _i;
	char _c;
	struct ss3 s;
	double _d;
};

2. 修改默认对齐数:

#pragma pack(1) // 设置默认对齐数为1

#pragma pack()  // 取消前面设置的默认对齐数

例子: 

#pragma pack(1)
struct test
{
	int _i;
	char _c;
};
#pragma pack()
struct ss1
{
	char _c;
	int _i;
	int _i2;
};
int main()
{
	printf("%d\n", sizeof(struct test));
	printf("%d\n", sizeof(struct ss1));
	return 0;
}

在C++中,如果一个结构体(类)中,没有任何成员变量只有成员函数,他的大小是1,因为总要标识这个对象在哪~

3. C++继承场景下的类的大小的计算:

1. 包含虚函数的类

最后说一下在继承的场景下类的大小,我们直接用结果来解释原理~

struct base
{
	int _i;
	char _c;
	virtual void testFunc()
	{ }
};
struct drive : public base
{
	double _d;
	void testFunc()
	{
	}
};
struct base1
{
	int _i;
	char _c;
	void testFunc()
	{ }
};
struct drive1 : public base1
{
	double _d;
};

这里为什么base的大小是12呢?

4 + 1 + 填充3 + vptr(32位下4字节/64位下8字节)

因为类中有一个虚函数,编译器会为对象隐式添加一个vptr虚函数指针,指向这个对象的虚函数表。

2. 包含成员函数的类

struct test
{
	int _i;
	char _c;
	void testFunc()
	{ }
};

 

 这里说明了一个问题,this指针一定是不存储在对象中,而是在栈空间中~。

4. 扩展:

定义一个计算成员变量在类中偏移量的宏

#define OFFSETOF(TYPE, ELEM) ((int)(&(((TYPE*)0)->ELEM)))
struct testClass
{
	int _i;
	char _c;
	double _d;
	void testFunc()
	{ }
};

做法:

比如,_c 是的地址是0x00000004,它的偏移量正好就是4~

疑问:

((TYPE*)0)->ELEM 不会野指针吗~?答案是不会的,现代的编译器十分智能,它如果检测到((TYPE*)0)->ELEM 之前还有一个&取地址符号,那么他就不会去访问这块空间,而仅仅是拿到他的地址。如果只写((TYPE*)0)->ELEM ,那么必然是会野指针的~~!


网站公告

今日签到

点亮在社区的每一天
去签到