C++的空类大小及带虚函数的空类大小

为什么一个空类的大小是1

比如，定义一个空类

#include<iostream>

using namespace std;

class EmptyClass
{
    
};

int main(int argc,char* argv[])
{
    cout<<sizeof(EmptyClass)<<endl;
    return 0;
}

输出空类的大小是1，一般主流接受的原因是C++标准规定类的不同实例化对象应该是不同的地址，比如

#include<iostream>
#include<stdio.h>

using namespace std;

class EmptyClass
{
    
};

int main(int argc,char* argv[])
{
    Empty A,B;
    printf("A:%p,B:%p\n",&A,&B);
    return 0;
}

此处，输出的A,B地址为：

A:0x7fffffffddb6,B:0x7fffffffddb7

编译器会给一个空类或者空的结构体中加入一个最小字节（1字节）作为区分。为什么是一个字节而不是四个字节或者更多的字节，这是编译器规定的，既然一个字节就可以达到区分实例对象的地址之目的，那显然没必要设置更大的空间造成浪费。

为什么空类增加一个虚函数后的大小变为8（64位系统）

当空类增加一个方法（非虚函数）后，如

#include<iostream>

using namespace std;

class EmptyClass
{
     public:
        void My_Printf();   
};

void EmptyClass::My_Printf()
{
    cout<<"专注、热爱"<<endl;
}

int main(int argc,char* argv[])
{
    cout<<sizeof(EmptyClass)<<endl;
    return 0;
}

输出结果，EmptyClass的大小还是1

分析：

注意类的大小计算的时候，只包括：
1 类的非静态成员数据的类型大小之和．
2 如果有虚函数的话，还要加上指向虚函数的指针（vptr）大小
3 边缘调整后的大小
4 与类中的构造函数，析构函数以及其他的成员函数无关．

对象调用成员函数时，编译器可以确定这些函数的地址，并通过传入this指针和其他参数，完成函数的调用，所以类中就没有必要存储成员函数的信息，也就是说成员函数会绑定到this指针。

那么当空类增加一个虚函数的时候，大小又会变为多少呢？代码如下

#include<iostream>

using namespace std;

class EmptyClass
{
     public:
        virtual void My_Printf()=0;   
};

int main(int argc,char* argv[])
{
    cout<<sizeof(EmptyClass)<<endl;
    return 0;
}

输出结构是8（64位系统下一个指针地址的大小是8个字节，如果是32位系统，则对应的大小是4）

要注意的是，带有虚函数的类的sizeof大小，实际上和虚函数的个数不相关，相关的是虚函数指针。如果一个类继承自两个分支，有两个虚函数指针，那么他的大小是本省非静态成员变量大小+8*2

参考：含有虚函数的类sizeof大小

关于虚函数表，参照我的其他文章。