嵌套的 std::arrays 中的数据是否保证是连续的？

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 无效。