C++ valarray vs 数组大小分配

如何解决C++ valarray vs 数组大小分配

我正在分配一个大小为 2000x2000 的多维 valarray，它运行顺利。

valarray<valarray<int>> D(valarray<int>(-2,2000),2000);
D[1999][1999] = 2000;

但是，如果我尝试分配一个普通数组并访问一个元素，则会出现分段错误。

int A[2000][2000];
A[1999][1999] = 2000;

两者都在堆栈上，为什么会有这种差异？

解决方法

两者都在堆栈上，为什么会有这种差异？

因为 std::valarray 是非常非常小的对象。它的大小完全由实现定义，但在我查看的特定标准库实现中，它是两个指针的大小。

相比之下，假设 4 字节 A，二维数组 int 的大小超过 15 兆字节。自动对象（在所有对象之间共享）的可用空间通常比典型语言实现中的空间少得多。

,

和std::vector一样，std::valarray的底层存储是动态的，管理这个存储的对象的大小不依赖于元素的数量。

这个程序：

#include <iostream>
#include<valarray>

int main() {
    std::cout << "sizeof(std::valarray<std::valarray<int>>): " 
              << sizeof(std::valarray<std::valarray<int>>) << std::endl;
    std::cout << "sizeof(int[2000][2000]): " << sizeof(int[2000][2000]) << std::endl;
}

为我生成此输出：

sizeof(std::valarray<std::valarray<int>>): 16
sizeof(int[2000][2000]): 16000000

如果您改用 std::array，则会出现问题。

,

动态内存分配隐藏在 valarray 类的构造函数中，最终仍然使用 new 或 malloc。

实际上 valarray 不在堆栈中。这就是为什么构造数组溢出而 valarray 没有的原因。