为什么 C++ 可以“填充”初始化一个可变大小的数组？

Question

#include <iostream>
using namespace std;
void aa(int n) {
    int test[n] = {0};
}
int main() {
    aa(10);
    return 0;
}

得到了

error: variable-sized object may not be initialized

但是

#include <iostream>
using namespace std;
void aa(int n) {
    int test[n];
    fill(test,test+10,0);
}
int main() {
    aa(10);
    return 0;
}

没问题

我想知道这个编译失败的原因。

Answer 1

VLA 不是 C++ 的一部分。一些编译器支持它们作为扩展。它们来自 C99，在 C99 中 you cannot initialize VLA 和 = {0};。一些编译器（如 GCC）走得更远，增加了对这种初始化的支持。在 GCC 中，可以从 version 4.9 开始使用此语法。 Clang 显然不支持，也没有必要。

Answer 2

你只能声明一个大小恒定的数组，这可以在编译时推导出来。变量n 只能在运行时知道。

详细地说，当您在堆栈上分配内存时，大小必须在编译时已知。由于数组是方法的本地数组，因此它们将被放置在堆栈中。

Answer 3

您的示例都不合法，因为 n 不是编译时常量，标准 C++ 不允许数组初始化使用非常量长度（但 C 允许）。

您的第二个示例编译的原因是，您解决了您的编译器在第一个示例中似乎唯一的问题，即它没有被初始化。

I recommend compiling with all compiler warnings enabled, which probably should be default anyway. 您可以在 GCC 中启用它们，例如使用-Wall -Wextra 和可选的-Werror。如果您希望您的编译器严格遵守标准，请添加-pedantic。

您可能想改用std::vector 和resize。如果是这样的话，你的代码就会变成

#include <vector>

void aa(int n) {
    // 1st parameter: number of elements, 2nd: value of elements.
    std::vector<int> test(n, 0); 
    // test.resize(n, 0); // is also possible
    // std::fill(test.begin(), test.end(), 0); // is also possible
}

int main() {
    aa(10);
    return 0;
}