我们都知道静态数组的基本规则：
int size = 20;
char myArray[size];
不合法。
而且。const int size = 20;
char myArray[size];
没问题。
但是，这个怎么办。
int f(const int size)
{
char myArr[size];
}
void main()
{
f(2);
f(1024);
}
MSVC表示这是一个错误，而gcc似乎可以编译并正常执行。
显然，它不具备可移植性，但它应该被接受吗？
哪个编译器在这种情况下做得正确？
此外，如果编译器允许，良好的编程标准/实践是否应该允许它？
编辑：我的想法是我想要堆栈分配以获得速度，但我不知道数组的大小在编译时是多少。我知道还有其他解决方案，并且堆栈分配可能不是一个重要的优化，但我认为这是一种有趣的用法。
不，C++没有可变长度数组。C99有，而且gcc通过扩展允许使用。
使用std::vector。
假设您已经对应用程序进行了分析，并发现这是一个瓶颈，请编写自定义分配器，从堆栈中分配并使用它。如果没有问题，则没有问题。
堆栈分配非常快，但在实际应用程序中，这可能不是主要问题。（您应该有一个自定义内存管理方案，其性能接近于堆栈分配。）
#incldue <array>
int main()
{
std::tr1::array<int,25> myArray;
//etc...
myArray[2] = 42;
}
#include <vector>
template <class T>
class MyStackAllocator
{ // implemented per std::allocator spec
...
}
int main()
{
//allocate a vector on the stack and reserve n items
vector<int, MyStackAllocator<T>> vecOnStack(25);
...
}
alloca。不幸的是，它不是C++标准的一部分，也不是类型安全的，但它非常便携，因为它被BSD标准化，然后被几乎所有编译器采用。尽管如此，您打算如何使用更友好的接口包装alloca，以便包装器返回后存储仍然有效？ - Ben Voigt实际上，正确的答案已经在这个线程中提供了，所以我只想为它提供更多的背景。
您需要创建自定义分配器，该分配器使用alloca()（或Windows中的_alloca()）函数进行动态堆栈分配。创建一个非常容易，您可以使用典型的分配器样板，将allocate()成员函数更改为return (pointer)(alloca(size * sizeof(T)));并使deallocate()函数为空，因为没有手动堆栈释放。之后，您可以将您的分配器提供给标准容器，例如vector<T, stack_allocator<T>>。
但是有两个注意点。可分配的堆栈大小可能会有很大差异，通常您可以在编译时设置它。在32位应用程序中，Visual Studio默认情况下将其限制为1MB。其他编译器可能具有不同的限制。在64位应用程序中，实际上没有任何问题，因为堆栈可以像堆一样大。您可能需要捕获堆栈溢出的结构化异常并将其转换为C++异常。
第二个注意点是，您不应将堆栈指针复制到函数外部，因此如果将堆栈分配的对象传递到/从函数，则移动语义等将无法工作。
还有一个不方便的地方，就是您无法复制具有不兼容分配器的容器，但您可以逐个元素地复制它们。例如：
vector<int> vint;
vector<int, static_allocator<int>> vsint;
vint = vsint; // won't compile, different allocators
std::copy(vsint.begin(), vsint.end(), vint.begin()); // fine
可变长度数组（VLA）由C99支持，但不被C++支持。gcc通过扩展允许它。
在C++中，std::vector正在执行VLA在C99中的功能。
vector从堆上动态分配内存，而VLAs从自动存储器（在大多数平台上意味着调用堆栈，但实际上并不是必需的）动态分配内存。 - Ben Voigt