Гарантируется ли непрерывность данных во вложенных массивах std :::

Question

Гарантируются ли данные в 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?

РЕДАКТИРОВАТЬ: Просто чтобы быть понятным, для этого примера, я хочуданные всей матрицы должны быть смежными.

Answer 1

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

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

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

Answer 2

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

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

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