这应该是几句话就能说明的事
首先是网上的一个说法:
因为实例化的本质是分配空间,拥有独一无二的地址。为了这个目的,编译器会给空类隐含地加一个字节。
还有人提到了(以下来自知乎):
class的sizeof不能为0,因为需要能允许把 class 实例放到数组里。如果sizeof是0,那么数组的sizeof呢,也是0?那么数组里有多少个元素呢?0/0?无穷多或N/A个?
你理解错了,不是用那一个char来区分不同的X实例。为每一个X实例分配1字节空间,这样就可以让不同的X实例地址不同了,以此区分不同的X实例。如果大小为0,那么很多个X实例放在一起的时候他们的地址是相同的,无法分辨。随便反对一下大小为0就没有地址的说法。申请大小为0的内存空间是没有问题的,也会被分配一个地址。
应该就差不多行了。