C语言数组基础知识讲解
var_1: 20, var_2: 40
-1 5
var_1: 20, var_2: -1
可见，下标越界可能改变其它变量的值。这是因为gcc（dev-c++ 使用的 C 编译器）把 var_2 保存于数组arr之前的内存空间，所以对arr[-1] 赋值正好改变了 var_2 的值。不同的编译器编译运行该程序可能会有不同的输出，也可能会异常退出。
C 语言的哲学是信任程序员，而且不检测越界程序运行更快。程序编译时有些下标的值仍然是不可知的，所以如果要检测下标越界的话，编译器必须在生成的目标代码中加入额外的代码用于程序运行时检测下标是否越界，这就会导致程序运行速度下降。故而，为了运行效率，C不检测下标是否越界。
6. 指定数组元素数目
C99 之前，声明数组时，[] 中的值必须是大于零的整数常量。C99 中，声明数组时，[] 中可以是变量。这就是所谓的变长数组（variable-length array，简称 VLA）。声明 VLA 时，不能对其进行初始化。在后续的教程中，我会对 VLA 进行详细讲解。
int n = 99;
double dbl_1[4]; /* 正确 */
double dbl_2[8/2 + 4]; /* 正确 */
int iar_1[-5]; /* 错！[] 中的值必须大于 0 */
int iar_2[0]; /* 错！[] 中的值必须大于 0 */
int iar_3[9.2]; /* 错！[] 中的值必须是整数类型 */
char ch[n]; /* C99 之前不支持！ */