在 C++ 中声明基于函数参数的本地数组是合法的

我从一本书中读到，以下 C++ 代码不应编译：

  void f(int n, int m){
     int a[n] , b[n][m];
  }

因为数组的大小不是在编译时确定的。

但我尝试了一下，发现无论是全局函数还是成员函数，使用g++都可以编译成功。

这在最近的 C++ 实现中是合法的吗？或者这本书根本就是错误的。

谢谢。

Edit

我立刻就看到了一些回复。我在 Java 中也有这个奇迹。我注意到在java中，这是支持的（如果这也与版本相关，请纠正我）。那么为什么会有这样的差异呢？它与使用引用与对象有什么关系吗？但是，在 java 中，我仍然可以从基元的函数参数中声明一个具有可变长度的数组。

Edit 2

如果你说不应该的话，下面的 Java 代码确实可以编译：

class Test1 {
    public int[] f(int n,int k){
        int[] c=new int[n];
        Arrays.fill(c, k);
        return c;
    }
}

这些被称为可变长度数组 http://en.wikipedia.org/wiki/Variable-length_array。它们在 C++ 中是不允许的。但有些编译器（例如 GCC）支持它们作为扩展。

在 C99 中，允许使用变长数组。

EDIT :

对于你的新问题。这个问题的最佳答案解释了为什么 C++ 没有可变长度数组。

为什么堆栈中没有可变大小的数组？ https://stackoverflow.com/questions/7812566/why-no-variable-size-array-in-stack

EDIT 2:

在Java中，数组是存储在堆上而不是调用堆栈上的对象。因此这个问题没有实际意义——所有数组都在堆上，因此 VLA 不存在。