c++ - 为什么基类的大小可以为零？

Question

基本上它是 this question 的跟进 ..

当我查看标准文档时，我发现了这一点..

在 9.3 课中，

Complete objects and member subobjects of class type shall have nonzero size.96) ...

是的，没错..但是，

96)Base class subobjects are not so constrained.

所以，当我查看 Stroustrup's FAQ 时, 有一个例子

void f(X* p)
    {
        void* p1 = p;
        void* p2 = &p->a;
        if (p1 == p2) cout << "nice: good optimizer";
    } 

我的问题是我无法理解这是一种优化，也无法理解为什么允许基类的大小为零？

Answer 1

基类不能大小为零。只有基类 subobjects 可以。表示派生对象的基础部分。