Is it guaranteed that sizeof (std::array<T, N>) == N * sizeof (T)?
Please provide support from the C++ Standard.
There's a related question about std::tr1::array.
To get you started:
std::array IS an aggregate. If T is POD, so is std::array<T, N>. That makes it also standard-layout.
There ought to be some Standard reference connecting that to a prohibition on padding (padding for alignment would be allowed, but array length is a multiple of its alignment already).