C++ 空类和空结构体的大小为什么是1？

引言 

首先看两个小程序：

#include<stdio.h>
typedef struct A
{
	//int as;
}a;

int main()
{
	printf("%d\n",sizeof(a)); //输出 0
}

#include<iostream>
#include<cstdio>
using namespace std;
 
struct A{};
class B{};
 
int main(){
    printf("C++中空结构体内存大小是%d\n", sizeof(A));//输出 1
    printf("C++中空类内存大小是%d\n", sizeof(B)); //输出1
   
}

在C++，对于结构体和空类，它们的大小是1，在C语言下空结构体大小为0(当然这是编译器相关的)。这里的空类和空结构体是指类或结构体中没有任何成员。

为什么C++中的大小会是1？

C++标准中规定，任何不同的对象不能拥有相同的内存地址。 如果空类大小为0，当我们声明一个这个类的对象数组，那么数组中的每个对象都拥有了相同的地址，这显然是违背标准的。

那么，为什么C++标准中会有这个规定呢？

假设C++中有一个类型T，我们声明一个类型T的数组array,进行如下的运算：

T array[5];
int len = &array[4] - &array[0];//输出4

上面的代码是一种指针运算，将两个指针相减，编译器作出如下面式子所示的动作：

len= ((char *)&array[4] - (char *)&array[0]) / sizeof T;

如果允许C++对象大小为0，那么这里的运算将产生两个问题：

（1）不能通过指针区分不同的数组对象；
（2）sizeof T为0导致非法的除0操作。

这样一来，编译器还需要用一些复杂的代码来处理这些异常情况信息。

总结

所以，为了满足C++标准规定的不同对象不能有相同地址，C++编译器保证任何类型对象大小不能为0。

C++编译器会在空类或空结构体中增加一个虚设的字节（有的编译器可能不止一个），以确保不同的对象都具有不同的地址。