嵌套的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无效.