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

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

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

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

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