派生类中基类的大小

Question

假设我有一个没有数据的类：

struct Empty {
  /*some methods here*/
};

和派生类

struct Derived: Empty {
  int a;
  int b;
  char c;
  ....
}__attribute__((packed));`

Empty类的对象的大小为1。派生类的空部分的大小通常为0。据我所知，编译器看到基Empty类没有数据，因此它可以优化Empty的大小，以防它“在”Derived中，但标准并不要求这样做。

所以问题是:

我能在编译时确定Derived类的Empty部分并没有占用内存吗。

我知道我可以像大小（派生）=大小（a）大小（b）一样进行检查...但它太冗长了，并且有几个类，如派生。有没有更优雅的解决方案？

Answer 1

您可以使用更多“旧”（C 11之前）宏-offsetof：

struct Empty {};
struct NonEmpty {
  int a;
};
struct Derived1: Empty {
  int a;
  int b;
  char c;
};
struct Derived2: NonEmpty {
  int a;
  int b;
  char c;
};
static_assert(offsetof(Derived1,a) == 0,"");
static_assert(offsetof(Derived2,a) != 0,"");

您也可以使用此宏检查成员变量的顺序：

static_assert(offsetof(Derived,a) < offsetof(Derived,b),"");
static_assert(offsetof(Derived,b) < offsetof(Derived,c),"");

但是不要忘记- offsetof也有同样的限制:

如果type不是标准布局类型，则行为未定义。如果成员是静态成员或成员函数，则行为未定义。

Answer 2

您可以使用 std：：is_empty 来确保从中继承的类的大小为零：

static_assert(std::is_empty<Empty>{});

如果是，则保证对标准布局类进行空基优化。

我知道我可以像sizeof（Derived）=sizeof（a）sizeof（b）…但是它太冗长了。有更优雅的解决方案吗？

这无法正常工作，因为您需要考虑填充和最终属性，如packed。