在c++中说起对象,大家是不是很熟悉?
对象嘛,new一个不就行了嘛,对吧?(这里不说malloc,malloc它不负责触发构造函数,它也不是运算符,没法重载)
但当我们提到对象大小的时候,大家对怎么计算呢?
是不是直接:
对象长度=sizeof(数据成员1)+sizeof(数据成员2)+sizeof(数据成员3)+sizeof(数据成员4)+…………sizeof(数据成员n)
是这样对嘛?
那我们用这个公式验证一下空对象的大小是不是应该为0呢?对吧?那我们来验证一下

从表面上看,这个公式是并没有任何问题的,但对象的大小远远没有那么简单哦。即使类中继承和虚函数的定义,仍有三种特殊情况能推翻此公式:
a.空类
b.内存对齐
c.静态数据成员
接下来请听我详细解释:
空类
空类中没有任何数据成员,按照该公式计算出的对象长度是0字节。类型长度为0,则此类的对象不占据内存空间。而实际情况是,空类的长度为1字节。如果对象完全不占据内存空间,那么空类就无法取得实例对象的地址,(每一个对象实例化都需要空间,这里系统默认给了一个占位符,占1字节大小)this指针失效,因此就不能实例化。而类的定义是由成员数据和成员函数组成,在没有成员数据的情况下,还可以有成员函数,因此仍然需要实例化,分配了1字节的空间用于类的实例化,这1字节的数据并没有被使用,当然这只是针对于c++中的类和结构体。
另外在c++中,一个空类和空结构体是占一个字节的空间的。但在c语言中,空结构体是不占空间的
本文探讨了C++中空对象的实际大小并非直观上的0字节,而是由于系统默认分配了1字节空间用于实例化。文章进一步解释了内存对齐、静态数据成员等特殊情况对对象大小的影响。
1914

被折叠的 条评论
为什么被折叠?



