c++ - clang 空基类优化 (EBCO)

Question

在这种情况下，Clang 似乎不做空基类优化：

struct A { };                          //sizeof(A) == 1 -> OK
struct B : public A { int _intValue; };//sizeof(B) == 4 -> OK, EBCO works here
struct C : public A { B _bValue; };    //sizeof(C) == 8 -> ??? Not OK

似乎 g++ 的行为方式相同（或相似）。这是正常的吗？我认为EBCO应该在这里踢。

我是否遗漏了一些会使这里成为非法的东西？

Answer 1

对我来说，差异似乎来自以下事实

&B == &(B._intValue)

对比

&C != &(C._bValue._intValue)

因为&(instance of C) == &(instance of B)应该是无效的，而&(instance of B) == &first member of (instance of B)在（B的实例）的第一个成员是基本类型（char，int，...）的情况下是有效的。

我不认为它与EBCO真的有任何关系。

Answer 2

在我看来，clang 与 4 个字节对齐，因为这可能是您平台上的最佳内存访问。您是如何编译该代码的？