深入探索C++对象模型_(1)类对象占用的空间

空类占用的空间

• 空类对象占用的空间为1个字节

#include <iostream>
using namespace std;
class A {
};
int main() {
	cout << "size of an empty class is: " << sizeof(A);
	return 0;
}

• 上面的例子输出为: size of an empty class is 1
• 为什么空类占用空间为1?
  • 第一种解释: 看看隔壁的 Go，struct{} 的大小就是 0，struct{A struct{}, B struct{}} 也是 0，[100000000]struct{} 也是 0。的确 Go 无法区分两个空结构体，不过这有什么关系？只要能寻址，能够有成员函数就行。换句话说，有什么必要区分两个空结构体？所以说，这完全是标准的锅，就和 switch 想让它 fallthrough 但又没这个关键词，-Wall 还报 warning 一个意思。
  • 第二种解释:首先,在C++中必须区分两个不同的对象,两个不同的对象必须位于不同地址(例子就不写出来了,链接有);有些人会有疑问:0大小的类没有数据成员,不用区分吧?但在某些使用空类来关联的场合(链接中给了个map的例子),空类地址相同会出问题.

只有函数的类对象占用的空间

• 只有成员函数的类对象同样占用1个字节
• 推论:成员函数不占用类对象的内存空间

#include <iostream>
using namespace std;
class A {
int Return1 () {return 1;}
};
int main() {
	cout << "size of an empty class is: " << sizeof(A);
	return 0;
}

• 上面的例子输出为: size of class A is 1

有一个非静态char成员变量的类对象占用的空间

• 只占1个字节,因为这个新增的char用了原来占用的1个字节

#include <iostream>
using namespace std;
class A {
int Return1 () {return 1;}
char a;
};
int main() {
	cout << "size of class A is: " << sizeof(A);
	return 0;
}

• 上面的例子输出为: size of class A is 1

非静态成员变量都占用对象的内存空间,但数据对齐可能也会占内存空间

• 非静态成员保存在类对象内,会占用空间

#include <iostream>
#include <iostream>
using namespace std;
class A {
int Return1 () {return 1;}
char a;
int b;
};
int main() {
	cout << "size of class A is: " << sizeof(A);
	return 0;
}

• 以上输出为:size of class A is: 8

#include <iostream>
#include <iostream>
using namespace std;
class A {
int Return1 () {return 1;}
char a;
char c;
int b;
};
int main() {
	cout << "size of class A is: " << sizeof(A);
	return 0;
}

• 以上输出为:size of class A is: 8

#include <iostream>
#include <iostream>
using namespace std;
class A {
int Return1 () {return 1;}
char a;
int b;
char c;
};
int main() {
	cout << "size of class A is: " << sizeof(A);
	return 0;
}

• 以上输出为:size of class A is: 12
• 这三种情况的内存图解:
  

静态成员变量不占用类对象的内存空间

• 静态成员变量保存在类对象外,类内共用同一地址,因此不占类对象空间

#include <iostream>
using namespace std;
class A {
int Return1 () {return 1;}
char a;
static int b;
};
int main() {
	cout << "size of class A is: " << sizeof(A);
	A a;
	cout << "\nsize of object a of class A is: " << sizeof(a);
	return 0;
}

• 输出为:size of class A is: 1 size of object a of class A is: 1

有虚函数的类会额外占用4个字节

• C++的虚函数机制是依靠于**虚函数表(vtbl)来实现的,带虚函数的类对象会在头部加上一个虚函数表指针(vptr)**指向这个类的虚函数表,这个指针占4个字节;虚函数表机制在后面的文章再深入介绍

#include <iostream>
using namespace std;
class A {
virtual int Return1 () {return 1;}
//virtual int Return2 () {return 1;} //无论多少个虚函数,虚函数类对象都只有一个虚函数表指针
//char a; //如果把注释去掉,那么由于字节对齐,整个类对象占的大小将会变成16字节(这里是64位机器,指针8个字节,因此按8的倍数对齐)
};
int main() {
	cout << "size of class A is: " << sizeof(A);
	return 0;
}

• 输出为:size of class A is: 8

非静态成员指针变量占32或64位(与机器位数有关)

• 常识了,不展开讲

总结

• 由于C++标准要求两个不同对象占用的地址不能相同,空类对象会占用一个字节大小以区分不同空类对象
• 由于函数代码是不保存在类对象里的,所以成员函数不占用类对象空间
• 只有一个非静态char类型的类会把空类占用的1个字节给用掉,因此这种类对象占1个字节
• 非静态成员变量都会占内存空间,而且有字节对齐问题
• 虚函数表指针占一个指针的空间,所以有虚函数的类至少有一个指针的大小
• 指针变量是32位或64位大小,取决于机器类型