c++内存布局

u013163178 2014-11-16 11:52:57
在32位机器上，下列代码中
class A

	{

		union u

		{

			char buffer[13];

			int i;

		}u;

		void foo(){}

		typedef char * (*f)(void*);

		enum{red,green,blue} color;

	}a;


sizeof(a)的值是（）

Ａ.20
B.21
C.22
D.24
E.非以上选项
我写了个代码验证，居然是２０
/*************************************************************************

    > File Name: a.cpp

    > Author: 傻李

    > Mail: hellojukay@gmail.com 

    > Created Time: 2014年11月16日 星期日 11时36分41秒

 ************************************************************************/



#include<iostream>

using namespace std;



int main()

{

	class A

	{

		union u

		{

			char buffer[13];

			int i;

		}u;

		void foo(){}

		typedef char * (*f)(void*);

		enum{red,green,blue} color;

	}a;

	cout << sizeof(a);

	return 0;

}
...全文
281 11 打赏 收藏 转发到动态 举报
写回复
用AI写文章
11 条回复
切换为时间正序
请发表友善的回复…
发表回复
ri_aje 2014-11-17
  • 打赏
  • 举报
 回复
引用 6 楼 u013163178 的回复:
[quote=引用 3 楼 ri_aje 的回复:] 加 padding 了，char [13] 占用 13 个字节，后面的成员变量类型是 int，所以编译器要使用 int 的对齐方式，即 4 字节，所以把 13 圆整到下一个整除 4 的数字，即 16，然后 16+4 = 20；变成 char[12] 后，12 刚好整除 4 ，所以不需要padding了，然后就是 12+4=16.
#include <iostream>
using namespace std;

int main() {
	class obj
	{
		
	}a;
	cout<< sizeof(a);
	// your code goes here
	return 0;
}
这个输出１，怎么解释呢[/quote] c++ 要求所有完整对象的大小必需为正整数（不包括零），对于空类，1 是满足 c++ 标准的最小数字。
zhousitiaoda 2014-11-17
  • 打赏
  • 举报
 回复
引用 6 楼 u013163178 的回复:
这个输出１，怎么解释呢
《深度探索C++对象模型》对于空类，编译器会额外安插一个char，空类对象也是要在内存中存储的，安插一字节以示区别
zhousitiaoda 2014-11-17
  • 打赏
  • 举报
 回复
１:数据成员对齐规则：结构(struct)(或联合(union))的数据成员，第一个数据成员放在offset为0的地方，以后每个数据成员存储的起始位置要从该成员大小或者成员的子成员大小（只要该成员有子成员，比如说是数组，结构体等）的整数倍开始(比如int在３２位机为４字节,则要从４的整数倍地址开始存储。 ２:结构体作为成员:如果一个结构里有某些结构体成员,则结构体成员要从其内部最大元素大小的整数倍地址开始存储.(struct a里存有struct b,b里有char,int ,double等元素,那b应该从8的整数倍开始存储.) ３:收尾工作:结构体的总大小,也就是sizeof的结果,.必须是其内部最大成员的整数倍.不足的要补齐. 看书都不认真。
「已注销」 2014-11-17
  • 打赏
  • 举报
 回复
引用 4 楼 fsdafsda12 的回复:
[quote=引用 2 楼 u013163178 的回复:] [quote=引用 1 楼 binaryhead 的回复:] [quote=引用 楼主 u013163178 的回复:] 在32位机器上，下列代码中
class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
sizeof(a)的值是（） Ａ.20 B.21 C.22 D.24 E.非以上选项 我写了个代码验证，居然是２０ 
/*************************************************************************
    > File Name: a.cpp
    > Author: 傻李
    > Mail: hellojukay@gmail.com 
    > Created Time: 2014年11月16日 星期日 11时36分41秒
 ************************************************************************/

#include<iostream>
using namespace std;

int main()
{
	class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
	cout << sizeof(a);
	return 0;
}
即使你验证过了，那也不是一个规律，就是说，C++国际标准并没有对类对象实例内存布局作出具体规定，你的验证工作只是在一个特定的C++编译器的特定版本上做了验证，这种经验并不具备可推广性。当然作为辅助理解是有益的。你把char buffer[13];改为char buffer[12];试试结果如何，思考一下原因或许更有收获。[/quote] 改成
char buffer[12];
输出结果就是１６了，很不理解啊[/quote] 搜索一下字节对齐就懂了[/quote]
#include <iostream>
using namespace std;

int main() {
	class obj
	{
		int a;
		char b;
	}a;
	cout<< sizeof(a);
	// your code goes here
	return 0;
这个结果是８，貌似不需要对齐吧
「已注销」 2014-11-17
  • 打赏
  • 举报
 回复
引用 3 楼 ri_aje 的回复:
加 padding 了，char [13] 占用 13 个字节，后面的成员变量类型是 int，所以编译器要使用 int 的对齐方式，即 4 字节，所以把 13 圆整到下一个整除 4 的数字，即 16，然后 16+4 = 20；变成 char[12] 后，12 刚好整除 4 ，所以不需要padding了，然后就是 12+4=16.
#include <iostream>
using namespace std;

int main() {
	class obj
	{
		
	}a;
	cout<< sizeof(a);
	// your code goes here
	return 0;
}
这个输出１，怎么解释呢
赵4老师 2014-11-17
  • 打赏
  • 举报
 回复
不要迷信书、考题、老师、回帖； 要迷信CPU、编译器、调试器、运行结果。 并请结合“盲人摸太阳”和“驾船出海时一定只带一个指南针。”加以理解。 任何理论、权威、传说、真理、标准、解释、想象、知识……都比不上摆在眼前的事实！ 有人说一套做一套，你相信他说的还是相信他做的？ 其实严格来说这个世界上古往今来所有人都是说一套做一套，不是吗？ 不要写连自己也预测不了结果的代码！ 
#include <stdio.h>
#define field_offset(s,f) (int)(&(((struct s *)(0))->f))
struct AD  { int a; char b[13]; double c;};
#pragma pack(push)
#pragma pack(1)
struct A1  { int a; char b[13]; double c;};
#pragma pack(2)
struct A2  { int a; char b[13]; double c;};
#pragma pack(4)
struct A4  { int a; char b[13]; double c;};
#pragma pack(8)
struct A8  { int a; char b[13]; double c;};
#pragma pack(16)
struct A16 { int a; char b[13]; double c;};
#pragma pack(pop)
int main() {
    printf("AD.a %d\n",field_offset(AD,a));
    printf("AD.b %d\n",field_offset(AD,b));
    printf("AD.c %d\n",field_offset(AD,c));
    printf("\n");
    printf("A1.a %d\n",field_offset(A1,a));
    printf("A1.b %d\n",field_offset(A1,b));
    printf("A1.c %d\n",field_offset(A1,c));
    printf("\n");
    printf("A2.a %d\n",field_offset(A2,a));
    printf("A2.b %d\n",field_offset(A2,b));
    printf("A2.c %d\n",field_offset(A2,c));
    printf("\n");
    printf("A4.a %d\n",field_offset(A4,a));
    printf("A4.b %d\n",field_offset(A4,b));
    printf("A4.c %d\n",field_offset(A4,c));
    printf("\n");
    printf("A8.a %d\n",field_offset(A8,a));
    printf("A8.b %d\n",field_offset(A8,b));
    printf("A8.c %d\n",field_offset(A8,c));
    printf("\n");
    printf("A16.a %d\n",field_offset(A16,a));
    printf("A16.b %d\n",field_offset(A16,b));
    printf("A16.c %d\n",field_offset(A16,c));
    printf("\n");
    return 0;
}
//AD.a 0
//AD.b 4
//AD.c 24
//
//A1.a 0
//A1.b 4
//A1.c 17
//
//A2.a 0
//A2.b 4
//A2.c 18
//
//A4.a 0
//A4.b 4
//A4.c 20
//
//A8.a 0
//A8.b 4
//A8.c 24
//
//A16.a 0
//A16.b 4
//A16.c 24
//
//
「已注销」 2014-11-16
  • 打赏
  • 举报
 回复
引用 1 楼 binaryhead 的回复:
[quote=引用 楼主 u013163178 的回复:] 在32位机器上，下列代码中
class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
sizeof(a)的值是（） Ａ.20 B.21 C.22 D.24 E.非以上选项 我写了个代码验证，居然是２０ 
/*************************************************************************
    > File Name: a.cpp
    > Author: 傻李
    > Mail: hellojukay@gmail.com 
    > Created Time: 2014年11月16日 星期日 11时36分41秒
 ************************************************************************/

#include<iostream>
using namespace std;

int main()
{
	class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
	cout << sizeof(a);
	return 0;
}
即使你验证过了，那也不是一个规律，就是说，C++国际标准并没有对类对象实例内存布局作出具体规定，你的验证工作只是在一个特定的C++编译器的特定版本上做了验证，这种经验并不具备可推广性。当然作为辅助理解是有益的。你把char buffer[13];改为char buffer[12];试试结果如何，思考一下原因或许更有收获。[/quote] 改成
char buffer[12];
输出结果就是１６了，很不理解啊
二进制脑袋 2014-11-16
  • 打赏
  • 举报
 回复
引用 楼主 u013163178 的回复:
在32位机器上，下列代码中
class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
sizeof(a)的值是（） Ａ.20 B.21 C.22 D.24 E.非以上选项 我写了个代码验证，居然是２０ 
/*************************************************************************
    > File Name: a.cpp
    > Author: 傻李
    > Mail: hellojukay@gmail.com 
    > Created Time: 2014年11月16日 星期日 11时36分41秒
 ************************************************************************/

#include<iostream>
using namespace std;

int main()
{
	class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
	cout << sizeof(a);
	return 0;
}
即使你验证过了，那也不是一个规律，就是说，C++国际标准并没有对类对象实例内存布局作出具体规定，你的验证工作只是在一个特定的C++编译器的特定版本上做了验证，这种经验并不具备可推广性。当然作为辅助理解是有益的。你把char buffer[13];改为char buffer[12];试试结果如何，思考一下原因或许更有收获。
csdcr 2014-11-16
  • 打赏
  • 举报
 回复
在union中，由于int i是4字节，所以union自动进行了4字节对齐，由于union原来是13字节，那么4字节对齐（向上扩展到4的整倍数）后就变成了16字节，加上之后的enum是4字节，一共20字节
fsdafsda12 2014-11-16
  • 打赏
  • 举报
 回复
引用 2 楼 u013163178 的回复:
[quote=引用 1 楼 binaryhead 的回复:] [quote=引用 楼主 u013163178 的回复:] 在32位机器上，下列代码中
class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
sizeof(a)的值是（） Ａ.20 B.21 C.22 D.24 E.非以上选项 我写了个代码验证，居然是２０ 
/*************************************************************************
    > File Name: a.cpp
    > Author: 傻李
    > Mail: hellojukay@gmail.com 
    > Created Time: 2014年11月16日 星期日 11时36分41秒
 ************************************************************************/

#include<iostream>
using namespace std;

int main()
{
	class A
	{
		union u
		{
			char buffer[13];
			int i;
		}u;
		void foo(){}
		typedef char * (*f)(void*);
		enum{red,green,blue} color;
	}a;
	cout << sizeof(a);
	return 0;
}
即使你验证过了，那也不是一个规律，就是说，C++国际标准并没有对类对象实例内存布局作出具体规定，你的验证工作只是在一个特定的C++编译器的特定版本上做了验证，这种经验并不具备可推广性。当然作为辅助理解是有益的。你把char buffer[13];改为char buffer[12];试试结果如何，思考一下原因或许更有收获。[/quote] 改成
char buffer[12];
输出结果就是１６了，很不理解啊[/quote] 搜索一下字节对齐就懂了
ri_aje 2014-11-16
  • 打赏
  • 举报
 回复
加 padding 了，char [13] 占用 13 个字节，后面的成员变量类型是 int，所以编译器要使用 int 的对齐方式，即 4 字节，所以把 13 圆整到下一个整除 4 的数字，即 16，然后 16+4 = 20；变成 char[12] 后，12 刚好整除 4 ，所以不需要padding了，然后就是 12+4=16.
[cpp] C++对象内存布局分析
本文通过具体的C++代码示例，详细分析了在单继承、多继承及虚继承等不同情况下，类的内存布局及其对虚函数表的影响。
C++对象的内存布局
本文探讨了C++对象的内存布局，包括C语言中struct的内存布局、C++对象的内存对齐规则、C++类的数据成员和方法成员如何存放。重点讲述了虚拟函数带来的布局变化，以及静态和非静态成员的存储位置。同时提到了继承对内存布局的影响，并推荐了《深入探索C++对象模型》一书进行深入学习。
C++ 内存布局
本文深入探讨了C++内存布局，包括进程虚拟内存、数据对齐、对象布局等关键概念。详细分析了内存对齐的重要性，以及如何通过内存对齐提升CPU访问效率、缓存行优化、SIMD指令性能和原子操作性能。同时，还介绍了C++中如何实现内存对齐，包括自然对齐值、指定对齐值和对齐规则。此外，文章还探讨了继承体系、位域、特殊内存布局等高级特性。
C++ 对象的内存布局（下）
本文深入探讨了C++中对象的内存布局，特别是针对重复继承和虚拟继承情况下的内存布局进行了详细解析。通过具体的代码示例展示了不同编译器环境下（如GCC和VC++）对象布局的异同。
cpp——类——内存布局
本文详细探讨了C++类的内存布局，包括空类、简单类、含虚函数类、单继承及其子类、多继承及其子类以及虚继承的情况。在不同情况下，类的内存布局受到数据成员顺序、内存对齐规则、虚函数表（VTBL）和虚指针（vptr）的影响。例如，含虚函数的类会有一个指向VTBL的vptr，而多继承的子类可能包含多个vptr来指向各自的VTBL。
C++ 语言

65,210

社区成员

250,514

社区内容

发帖
与我相关
我的任务
社区描述
C++ 语言相关问题讨论，技术干货分享，前沿动态等
c++ 技术论坛（原bbs）
社区管理员
  • C++ 语言社区
  • encoderlee
  • paschen
加入社区
  • 近7日
  • 近30日
  • 至今

加载中

查看更多榜单
社区公告
  1. 请不要发布与C++技术无关的贴子
  2. 请不要发布与技术无关的招聘、广告的帖子
  3. 请尽可能的描述清楚你的问题，如果涉及到代码请尽可能的格式化一下

试试用AI创作助手写篇文章吧

+ 用AI写文章