为什么空类的大小是1而不是0？

试想，如果一个类的大小是0，那还可以初始化吗？有什么意义呢？为此编译器就自动给空类加了一个字节，让其可以实例化成具体的对象。