No, contiguity is not guaranteed in this case.
std::array
is guaranteed to be an aggregate, and is specified in such a way that the underlying array used for storage must be the first data member of the type.
However, there is no requirement that sizeof(array<T, N>) == sizeof(T) * N
, nor is there any requirement that there are no unnamed padding bytes at the end of the object or that std::array
has no data members other than the underlying array storage. (Though, an implementation that included additional data members would be, at best, unusual.)