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

我已经使用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如何在运行时确定大小？

只是仔细检查一下，我已经在Google上搜索了一些和所有与我类似的代码，声称它们会导致存储大小错误。

甚至Deitel的C ++如何编程p。常见编程错误4.5下的261个状态：

仅常量可用于声明自动和静态数组的大小。

开导我

这在C99中有效。

C99标准在堆栈上支持可变大小的数组。可能您的编译器也选择了支持此构造。

请注意，这与malloc和有所不同new。gcc就像int array[100]通过调整堆栈指针一样在堆栈上分配数组。没有堆分配完成。就像_alloca。

这就是所谓的VLA（可变长度数组）。它在c99中是标准的，但是gcc允许它在c ++代码中作为扩展。如果你想让它拒绝代码，尝试尝试-std=standard，-ansi和-pedantic选项。

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

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

该代码在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;
}

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

我最近遇到了需要堆栈分配数组的情况。（这是v8的包装，每个方法调用都需要一个args数组）。

一个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个大小的数组，但这并不是那么好。）

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