用非常量变量声明数组大小

我一直认为,在C++中声明数组时,大小必须是一个常量整数值。

例如:

int MyArray[5]; // correct

或

const int ARRAY_SIZE = 6;
int MyArray[ARRAY_SIZE]; // correct

但是

int ArraySize = 5;
int MyArray[ArraySize]; // incorrect

这里也解释了 The C++ Programming Language, by Bjarne Stroustrup :

数组元素的数目(数组界限)必须是常量表达式(_§C.5)。 如果需要变量边界,请使用向量(_§3.7.1,_§16.3)。例如:

void f(int i) { 
   int v1[i];          // error : array size not a constant expression
   vector<int> v2(i);  // ok 
} 

但令我吃惊的是,上面的代码在我的系统上编译得很好!

以下是我试图编译的内容:

void f(int i) {
   int v2[i];
}

int main()
{
   int i = 3;
   int v1[i];
   f(5);
}

我没有错误! 我使用的是GCC v4.4.0。

我有什么东西不见了吗?