允许在运行时不动态分配数组大小吗？

Question

我已经使用 C++ 几年了，今天我看到了一些代码，但这怎么可能完全合法呢？

int main(int argc, char **argv)
{
    size_t size;
    cin >> size;
    int array[size];
    for(size_t i = 0; i < size; i++)
    {
        array[i] = i;
        cout << i << endl;
    }

    return 0;
}

^{在GCC下编译。}

如何在没有new或malloc的情况下在运行时确定大小？

为了仔细检查，我在谷歌上搜索了一些，所有与我类似的代码都声称给出了存储大小错误。

甚至 Deitel 的《C++ 如何编程》第 11 页。 常见编程错误 4.5 下的 261 个状态：

只能使用常量来声明自动数组和静态数组的大小。

启发我。

Answer 1

这在 C99 中有效。

C99 标准支持堆栈上可变大小的数组。 也许您的编译器也选择支持这种构造。

请注意，这与 malloc 和 new 不同。 gcc 在堆栈上分配数组，就像使用 int array[100] 一样，只需调整堆栈指针即可。 没有进行堆分配。 它非常像 _alloca。

Answer 2

这称为 VLA（可变长度数组）。 它是c99中的标准，但gcc允许它在c++代码中作为扩展。 如果您希望它拒绝代码，请尝试使用 -std=standard、-ansi 和 -pedantic 选项。

Answer 3

它仅在 C99 中有效。 下次您可以尝试在可靠的编译器中检查您的代码。

Answer 4

它是有效的 C99，它不是有效的 C++。 这是两种语言之间的众多差异之一。

Answer 5

该代码在 GNU GCC 编译器中运行。

#include<bits/stdc++.h>

int main(int argc, char **argv)

{
    size_t size;

   std:: cin >> size;

    int array[size];

    for(size_t i = 0; i < size; i++)

{

array[i] = i;

        std:: cout << i;

 }

    return 0;
}

Answer 6

如果您使用 Dev-Cpp 编译器，您可以动态地为数组指定大小我已经尝试过
并且没有错误，但在 Visual C++ 和 Visual Studio 编译器上这是不可能的。
我认为原因是dev-c++为未初始化的int分配了一个正数
当我们给它一个数字时，它就会被给定的数字替换。
但也许其他编译器将 null 赋予未初始化的变量。

Answer 7

我最近遇到了一个需要堆栈分配数组的场景。 （它是 v8 的包装器，每个方法调用都需要一个参数数组）。

std::vector 会进行堆内存分配，其性能不可接受。

这是我的解决方案，使用模板来分配案例数组：（

template<size_t Argc>
static void call(...) {
    v8::Local<v8::Value> v8Args[Argc];

    // use v8Args
    ...
}

template<typename It>
static void callV8Function(size_t argc, It argvBegin, It argvEnd,) {
    // C++ don't have dynamic stack allocation (like C99 does)
    // try to avoid heap-allocation...
    if (argc <= 4) {
        return callV8FunctionOnStack<4>(...);
    } else if (argc <= 8) {
        return callV8FunctionOnStack<8>(...);
    } else if (argc <= 16) {
        return callV8FunctionOnStack<16>(...);
    } else if (argc <= 32) {
        return callV8FunctionOnStack< 32>(...);
    } else {
        std::vector<v8::Local<v8::Value>> v8Args(argc);
        // fallback to vector
   }
}

当然，我可以使用 32 大小的数组，但这不是那么优雅。）

Answer 8

C++14 标准支持可变长度数组 (VLA)，该标准最近已被接受，正在等待发布。