C++可以用变量定义数组了么

然而图呢？

图来了......

18 年前 C 语言就可以这么做了，但是 C++一直没有支持 VLA，因为 C++有 vector 和 array

C99 早就支持了

c++ 就一直没支持过
c 有一个标准必选支持，最新的标准已经变成可选的了

C99 中数组大小运行时刻确定，另外可变长数组的维数在数组生存期内是不变的。

对 C 来说，C99 允许定义变长数组，然而有些编译器一直不肯支持（没错，说的就是你 MSVC ）。
对 CPP 来说，变长数组这个特性标准上就没有支持，而且更 cpp 的做法是使用 vector 这样的 STL 容器。

编译器的问题。记得很久以前折腾 codeblocks 可以通过，msvc 不行。

比较恶心的问题，最好不用

@wevsty 变长数组和变量定义数组长度不是一个意思吧

看这个吧
https://stackoverflow.com/questions/1887097/why-arent-variable-length-arrays-part-of-the-c-standard

@nullcoder
不用太纠结字面的说法。
变长数组通常用来指代的是能直接用变量来定义数组的这种特性。
malloc 或者 new 出来的一个空间也可以当成数组用，这样也确实实现了变量来定义数组这种事实。
一定要纠结的话，可以理解为变长数组是用变量定义数组长度的一个子集。

编译期常量定义数组大小(c++11)
constexpr int a = 10;
int b[2 * a] = { 0 };

C99 标准开始似乎才有这种变长数组写法
void f(size_t a){
int arr[a];
...
}
因为是分配在栈上的, 所以用得不对直接炸栈

C99 已经支持了。
C++98 和 C++11 的时候，gcc 是以扩展的形式支持的；
本来有望在 C++14 标准中支持，但讨论了半天，最后还是被砍掉了
（ gcc 都脱了裤子上了，C++14 正式出来之后又把裤子穿上了）。

所以，现在 gcc 还是以扩展的形式支持，就和 C++98、C++11 的时候一样。

## GCC 4.9 的发布说明

> G++ supports C++1y variable length arrays. G++ has supported GNU/C99-style VLAs for a long time, but now additionally supports initializers and lambda capture by reference. In C++1y mode G++ will complain about VLA uses that are not permitted by the draft standard, such as forming a pointer to VLA type or applying sizeof to a VLA variable. Note that it now appears that VLAs will not be part of C++14, but will be part of a separate document and then perhaps C++17.


## GCC 5 的发布说明

> G++ no longer supports N3639 variable length arrays, as they were removed from the C++14 working paper prior to ratification. GNU VLAs are still supported, so VLA support is now the same in C++14 mode as in C++98 and C++11 modes.

## 上面提到的 N3639

[N3639]( http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3639.html)

C99 就支持了

VLA 有 security 问题。。C11 已经是 optional 了。。标准只存在于 C99 C++根本没支持过..

这样定义并不是数组 而是指针吧

你开 Wall Wextra pedantic ,总会告诉你哪里有问题吧

叫柔性数组吧

C++ 的标准真是越来越庞大而臃肿，简直离人类能用越来越远了

用 alloca 不就好了

@lrxiao 具体是什么 security 呢? 检查长度能避免么

你这个应该是被编译器优化了，你可以看一下编出来的汇编代码，肯定是直接把变量 a 给省略了。
你把你的测试代码改成这样试试：写一个子函数，传入 int a 这个参数来决定数组大小，这时候编译器就不知道要分配多大了。

@sumless 子函数也可以

@yingtl 可以 那为什么不直接开 T arr[10000]呢 VLA 实际上会编译出来一坨代码

https://stackoverflow.com/questions/1887097/why-arent-variable-length-arrays-part-of-the-c-standard

同样 alloca 也不推荐

@allinwonder #20 然而这是 20 年前的 C 的 feature GNU coreutils 经常用

@luoqeng #19 柔性数组是这样，而且也是 C 里特有的东西：

```cpp
struct A{
char tag;
char alz[];
};
```

详见：[Array of length zero]( https://imzlp.me/posts/21095/)

@lrxiao 我还以为这个实现挺简单的呢。看看有没有空间挪动个栈指针就行了呢。 怎么会有一坨代码呢

@lrxiao 不用一个很大的普通的栈上的数组是因为当需要多个这样数组的时候可能造成很多“空隙”， 太多的话就爆了

@yingtl https://godbolt.org/g/3dB3WP 比较神秘

@lrxiao clang 就好多了 https://godbolt.org/g/kt6GSe

@yingtl 你这个例子没用到 arr 所以比较简单 实际上应该都会插入检查栈空间的汇编