Здравствуйте, rg45, Вы писали:

R>Здравствуйте, _NN_, Вы писали:

R>>>А по-моему, всё предельно ясно расписано: https://timsong-cpp.github.io/cppwp/array. И про фиксированный размер, и про то, что это агрегат. Каких гарантий не хватает?

_NN>>sizeof(array<int,10>) == sizeof(int[10])

_NN>>Этой гарантии не хватает.

R>Разве это не следует из того, что это аггрегатный тип и contiguous container фиксированного размера? Что может этому помешать — разное выравнивание?

Ну да.
Компилятор вполне может добавить для убоства выравнивание.
Почему для структуры B мы можем подумать про выравнивание, а в A нет?

struct A{
 char c[7];
};


struct B{
 int32_t a;
 char c[3];
};