类的大小一般是指经过实例化后类对象的大小。
//1真空类:长度:1
class A {
};
//2空类 长度1,同真空类。
class A
public:
A();
~A();
void fun();//成员函数不会影响类的大小。
};
//3简单类,长度4
class A {
public:
A();
~A();
void fun();
private:
int a;//只有非静态成员数据会影响类的大小。
static int =b;
};
//4有虚函数的类 长度:4
class A {
public:
A();
~A();
void fun();
virtual void fun1();
vritual void fun2();//没有虚函数类的对象大小正好是数据成员的大小,存在虚函数的类的大小,需要加上一个虚函数表指针。
};
注1 虚函数表:如果基类派生类定义了虚函数或者派生类从继承自有虚函数的基类,编译器会自动为这个类创建一个 虚函数表,用来保存该类中所有虚函数地址。在虚函数没有被派生类重写的情况下,派生类会直接继承基类的虚函数表。
注2 虚函数表指针 当类中定义了一个虚函数,系统会秘密往这个类中植入一个虚函数表指针。该指针在类对象构造时被初始化,指向该类的虚函数表。虚函数表被该类的所有对象所共有,虚函数表指针则是每个类对象独有一份。
注3 两者关系 :虚函数表指针指向一个虚函数表(函数指针数组),里面存放着一个或多个虚函数的地址。对于虚函数地址的翻译取决于对象的内存地址,而非数据类型。因为对象的内存地址中包含一个虚函数表入口地址,该地址在对象被构造时由编译器写入。所以一个父类对象的指针如果赋予父类对象地址,就会调用父类虚函数表,如果被赋予子类对象地址,就会调用子类虚函数。这也是虚函数能实现多态的原因。
代码解析
#include<iostream>
using namespace std;
class A {
public:
virtual void fun() { cout << "base"; }
};
class B :public A {
virtual void fun() { cout << "derived"; }
virtual void fun2() {}
};
int main() {
A *p = new B;
p->fun();
delete p;
return 0;
}
运行结果:
derived
解析:
B类对象的虚函数指针的值赋值给A类指针,也就是B类对象虚函数表的地址,然后在虚函数表中提取第一个地址,也就是B::fun()的地址,最后调用这个函数。
//5继承 基类长度8,派生类长度8。
class A {
public:
virtual void fun();
private:
int a;
};
class B :public A {//派生类继承了基类的数据成员和虚函数表指针。
};
6内存对齐 基类长度8,派生类长度8。
//内存对齐使得最后类对象大小为最大数据类型的最小整数倍。
class A {
public:
virtual void fun();
private:
char a;//
};
class B :public A {
};
综上:
空类或者继承空类,大小都为1;
虚函数本身,成员函数,静态数据成员不影响类的大小,因而类的大小>=非静态成员数据。
1 基类的大小=类中非静态数据成员总和+1个虚函数表指针(如果存在虚函数)+内存对齐决定。
2 派生类=继承基类+自身特有的非静态数据成员+内存对齐。
附
1为什么空类有1字节大小?
空类同样可以实例化,并且每个类对象都有一个独一无二的地址。为此需要编译器给空类对象隐含加一个字节。
2 为什么类的静态成员变量不影响类的大小?
类的静态成员变量实际上作为一种特殊全局变量,它一旦被申明,无论类对象是否被实例化,都存在唯一一个。
类的非静态成员数据只有类对象被实例化时才存在。
3为什么成员函数不影响类的大小?
类的成员函数不是在类对象实例化时载入内存,而是在编译链接时就确定了相对地址,在程序运行时所有函数载入到代码区,被所有对象共用。
意义:成员函数不隶属于任何一个类对象,被该类所有对象所共享(便于简化实现,节省内存以及保持一致性行为).虽然类对象虽然行为一致,但操作着不同成员数据。
4为什么存在虚函数的类需要计算一个虚函数表指针?
该类中的所有虚函数地址需要存放在一个虚函数表中,因而必须保存一个指向虚函数表的指针地址。而虚函数表指针的地址存在类对象的内存空间中,也就是在类对象被实例化的时候才初始化。