C++中【数组的界】必须是编译时可以求出的【常量表达式】？？？

Question

本人自学C++。

书上说：“数组的界，必须是在编译时就可求出的常量表达式，其值必须为正整数”

貌似书上的意思是：如果数组的界在编译时不确定，就必须用【动态数组】，也就是：

int *pointer = new int [variable] ();
pointer[0] = constant;

可是我用的Windows上的devcpp，和Mac上的Xcode开发环境都允许以下代码成功编译：

#include <iostream>
using namespace std;

int main() {
int n;
cin >> n;
int x[n];
for (int i = 0 ; i < n; i++) {
x[i] = i;
cout << x[i] << " ";
}

system("pause"); //mac上不用
return 0;
}

这是怎么回事？是编译器太高级了？

谢谢！

Answer 1

Mac上用的是Object c 。很像C#，有额外的内存优化机制，只用new不用delete的，，不行你用vc试试看，，
传统c/c++在编译函数体时，如果函数中遇到局部数组，编译器会会将ESP向下移动相应长度，这个长度如果编译器无法算出，将无法编译，
假设当前进入了某个函数体，这个函数体中有一个数组char[12];
esp会向下多移动12，，
如果12不能确定，将无法形成汇编代码

追问

我是在Xcode上用的C++，没有用Objective-C也没有用AppleScript。。谢谢。。

追答

即使不是Object c，更具上述原理，一定是编译器有类似于object c的功能，要看过究竟，请在调试中切换到反汇编窗口，一看就什么都明白了，比如他怎么替换你的变量，怎么插入其他函数

追问

devcpp也有支持类似于Objective-C的功能？。。。我看不懂汇编语言。。。。。。

追答

那devcpp编译器文档上一定有说明的，这种货色都是这样，综合上搞不过vc编译器，就爱在写小问题上搞点突破传统的东西。上述代码中，栈指针下压空间一定是运行时计算的，那么他的效率一定敌不过传统的方法，但是硬件总是比软件升级快的，，这点性能损失在大多数情况下可以忽略

追问

相当于编译器自动把普通数组换成动态数组了对吧

追答

差球不多

Answer 2

千万不要依赖这些极个别编译器提供的特性。一定要记住C/C++标准。在这个问题上，数组的界，必须是在编译时就可求出的常量表达式，其值必须为正整数！

Answer 3

在FOR循环里break