配列 エラーにならない

Question

ふと疑問に思ったことなのですが、以下のコードをコンパイルするとエラーになりません。配列の宣言の際、配列のサイズは定数でなければいけないのではないでしょうか？
よろしくおねがいします。

#include <iostream>
using namespace std;

int main()
{
  int n;  cin >> n;

  int a[n];

  for(int i=0; i<n; i++){
    a[i] = i;
    cout << a[i] << endl;
  }
}

Answer 1

はい。 質問者の理解は正しいです。

言語仕様上は配列の大きさは定数である必要があります。 定数以外を許容するのは処理系の拡張です。

C++ では配列の大きさは定数でなければならないというルールですが、 C では VLA (variable-length array) といって定数でない値も受け付けられる仕様があり、 C と C++ の両方を解釈可能な処理系では (どうせ C の実装のほうで実現しているので) C++ のほうでも使えるようにしているのでしょう。

ただ、 C の仕様でも C11 以降は VLA はオプショナルな仕様ということになって必須ではなくなっています。 使える処理系で使うのが悪いというわけではありませんが、使わずに済むなら使わないほうがよろしいでしょう。

Comments

[Giovannaaa]

ご回答ありがとうございます。

Answer 2

配列の宣言の際、配列のサイズは定数でなければいけないのではないでしょうか？

コンパイラによっては、VLAといって、動的な長さでの配列宣言を認めています。

（ただし、C++であればarrayやvectorを使うほうが適切です）

Comments

[Giovannaaa]

ご回答ありがとうございます。

Answer 3

GNU の拡張機能です。
g++ に -pedantic オプションを付けてコンパイルしてみてください。

Comments

[Giovannaaa]

ご回答ありがとうございます。