Являются ли данные в вложенных std:: массивах гарантированно непрерывными?

Являются ли данные в std::array<std::array<T,N>, M> постоянными? Например:

#include <array>
#include <cassert>

int main()
{
    enum {M=4, N=7};
    typedef std::array<char,N> Row;
    typedef std::array<Row, M> Matrix;
    Matrix a;
    a[1][0] = 42;
    const char* data = a[0].data();

    /* 8th element of 1D data array should be the same as
       1st element of second row. */
    assert(data[7] == 42);
}

Гарантируется ли гарантированное утверждение? Или, другими словами, могу ли я полагаться на отсутствие отступов в конце Row?

EDIT: Чтобы быть ясным, для этого примера я хочу, чтобы данные цельной матрицы были смежными.

Ответ 1

Нет, соприкосновение в этом случае не гарантируется.

std::array гарантируется как совокупность и указывается таким образом, что базовый массив, используемый для хранения, должен быть первым элементом данных типа.

Тем не менее, нет требования, чтобы sizeof(array<T, N>) == sizeof(T) * N, и не было никаких требований о том, что в конце объекта нет неназванных байтов заполнения или что std::array не имеет элементов данных, кроме основного хранилища массива. (Хотя реализация, включающая дополнительные члены данных, была бы, в лучшем случае, необычной.)

Ответ 2

Они, скорее всего, смежны. Если это не так, компилятор активно сражается с вами там. Там нет гарантии, что он не будет вставлять прокладку, но вряд ли есть причина для этого.

Гарантируется ли гарантированное утверждение?

data[7] - это доступ за пределами границ (поведение undefined). Внутренний массив имеет только семь элементов, поэтому индекс 7 недействителен.