c++ - 如何根据参数的大小在函数内声明数组？

Question

这是我尝试过的：

int fun1(vector<int> s)
{ 
    const int n = s.size();
    int arr[n]; //<----want to declare an array of length s.size()
}

但这告诉我 n 不是一个常量表达式，所以我不能用它来声明数组大小。但如果我尝试：

int fun1(vector<int> s)
{ 
    const int n = 10;
    int arr[n]; //<-----this works
}

然后就好了。即使我将向量 s 设为 const 类型，它仍然不会将大小识别为常量表达式。我该怎么做？

score 4 · Accepted Answer

int arr[N];按大小声明数组N必须在编译时确定（除了一些允许您在运行时定义它们的编译器扩展）。顺便说一句，你可以做到：

std::unique_ptr<int[]> arr (new int [n]);

// ... or ...

std::vector<int> arr(n);

score 2 · Accepted Answer

当您声明这样的数组时

int arr[n];

编译器将为它在堆栈上分配内存。在这种情况下，C++ 标准要求n在编译时知道它，即它必须是const.

您的问题的答案是在运行时从堆中获取内存，如下所示：

int* arr = new int[n];

在这种情况下，内存是在运行时分配的，因此n直到运行时才需要知道的值。如果您使用这种方法，请不要忘记在完成后释放内存：

delete [] arr;

但是，正如评论所暗示的那样，使用 astd::vector<int>几乎肯定会是一种更好的方法。除非你有充分的理由不这样做，否则我会同意的。

score 1 · Accepted Answer

为此，C++std::vector<int>(n)保留了传统 C 数组的大部分语义，但也增加了很多好处（动态分配是一个，调整大小是另一个，算法支持是另一个）。即使你的底层代码需要一个 C 数组，你仍然可以使用向量并向下传递第一个元素的地址（它们保证是连续的）。

通常，std::vector将堆用于底层存储，因此一方面可以更好地防止堆栈溢出（双关语），另一方面，您的代码现在使用动态分配。

3 回答 3