为什么C++里空的类还占一个字节？

如题，看下面的示例代码：

#include <stdio.h>

class X {
};

int main() {
    X a, b;
    printf("sizeof(X) = %ld\na: %ld\nb: %ld\n",
     sizeof(X), &a, &b);
    return 0;
}

打印结果是：

sizeof(X) = 1
a: 140729295724230
b: 140729295724231

可以看到，sizeof(X)居然不是0，而是1！！！

为什么呢？

之前看过几篇博客，都说是为了让对象能够有唯一的地址以区别不同的对象，我就懵了，什么意思呢？

直到今天看了《深度探索C++对象模型》这本书，我才恍然大悟，自己敲了上面那几行代码试了一下，果然！

这一个字节用来干什么的呢？里面的值是多少无所谓，因为这个字节只是用来占位置而已，正如上面打印的ab的地址一样，它们各自占用一个byte的内存，紧挨着。我们可以通过地址的不同来区别它们。

其实这个问题本身没什么意义，只是探究C++对象内存模型的一个敲门砖，我自己觉得是挺有趣的～