Означает ли тип агрегата, что это также стандартная компоновка?

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 является агрегатом, но не является стандартной компоновкой.

Answer 2

Нет. Представьте, что у вас есть настройка, подобная

struct A
{
    int a;
};

struct B : A
{

};

struct C : B
{
    int c;
};

Здесь A, B и C - все агрегаты, но только A и B - стандартная компоновка.