std :: array的std :: array是否具有连续的内存？

Question

似乎，我发现如何用两行代码轻松获得具有连续内存的普通2D数组：

template<int N, int M>
using Array2D = array<array<int, M>, N>;

让我们解决在Array2D中交换最小值和最大值的简单任务（c ++ 17的一部分）：

template<int N, int M>
void printArray2D(const Array2D<N, M> &arr);

int main() {
    const int N = 5;
    const int M = 5;
    Array2D<N, M> arr;

    // random init of Array2D 
    generate(arr.front().begin(), arr.back().end(), []()->int {
                                                        return rand() % 100;
                                                    });

    printArray2D(arr);

    auto[a, b] = minmax_element(arr.front().begin(), arr.back().end());

    cout << "Swap minimum and maximum: " << *a << " " << *b << endl << endl;

    iter_swap(a, b);
    printArray2D(arr);

    return 0;
}

template<int N, int M>
void printArray2D(const Array2D<N, M> &arr) {
    for (const auto &row : arr) {
        for (const auto &elem : row) {
            cout << std::setw(3) << elem;
        }
        cout << endl;
        cout << endl;
    }
}

我在Visual Studio 2017中得到了下一个结果：

 41 67 34  0 69

 24 78 58 62 64

  5 45 81 27 61

 91 95 42 27 36

 91  4  2 53 92

Swap minimum and maximum: 0 95

 41 67 34 95 69

 24 78 58 62 64

  5 45 81 27 61

 91  0 42 27 36

 91  4  2 53 92

优点：

• 仅需2条简单的线即可获得2D阵列
• 您通常可以将元素访问为arr[2][2]
• 您可以使用STL算法

缺点：

• 该解决方案在调试模式下无法正常工作，我的运行时错误array iterators incompatible
• 我不知道是否总是会连续分配内存
• 我不知道它是否可以在其他编译器中使用
• 魔术迭代器

问题：

• 是否Array2D确保Array2D连续分配？
• 以这种方式使用数组迭代器是否合格？ （不同的迭代器，但要记住连续的和对指针的实现）
• 以这种方式（例如）在生产代码中使用Array2D是否安全？ 如果不是，您能否以最小的代码开销提供良好的代码来解决此任务？
• geza ：这个答案与嵌套数组的连续性相矛盾。 也许C ++ 14发生了变化？

Answer 1

根据标准，内存应该是连续的。 26.3.7.1 [array.overview]段落指出（强调我的意思）：

标头定义用于存储固定大小的对象序列的类模板。 数组是一个连续的容器 。 数组的实例存储N个类型为T的元素，因此size（）== N是不变量。

更新：看来实现可能包括填充。 这些SO帖子中提供了有关该主题的更多信息：
std :: array的大小是否由标准定义？
特别是这个答案：
嵌套std :: arrays中的数据是否保证是连续的？