c++ - 聚合类型是否意味着它也是标准布局？

Question

聚合类型 ( std::is_aggregate_v<T> == true ) 是否意味着该类型也是标准布局 ( std::is_standard_layout_v<T> == true )？我的直觉是答案是肯定的，但我并不完全相信。

Answer 1

不，事实并非如此。对于要成为标准布局的类类型，其所有非静态成员本身都必须是标准布局。但同样的递归要求并不强加于聚合。一个简单的反例

struct bar {
  virtual ~bar() {}
};

struct foo {
    bar b;
};

foo 是一个聚合，但它不是标准布局。