グローバル配列のサイズを整数定数にする必要があるのはなぜですか？

C ++では、あるサイズのグローバル配列を宣言してみました。エラーが発生しました：

バインドされた配列は ']'トークンの前の整数定数ではありません

しかし、main()関数内で同じ型の配列を宣言すると、うまく機能します。

ここに異なる動作があるのはなぜですか？

int y=5;
int arr[y];         //When I comment this line it works fine

int main()
{
    int x=5;
    int arr2[x];        // This line doesn't show any error.
}

編集：多くの人が、この質問は「配列の境界が ']'トークンの前の整数定数ではありません」というエラーの複製であると示唆しています。しかし、その質問は、なぜ異なる行動があるのか​​には答えません。

どちらの例もC ++では形式が正しくありません。コンパイラが後者を診断しない場合、標準に準拠していません。

なぜここで異なる動作があるのですか？

実行時の長さの自動配列を可能にする言語拡張を使用します。ただし、実行時の長さの静的配列は許可されません。グローバルアレイには静的ストレージがあります。

GCCを使用している場合は、-pedanticコマンドラインオプションを使用して、標準に準拠するように要求できます。移植性の問題について通知を受けるには、そうすることをお勧めします。

配列のサイズは定数でなければなりません。これを修正するには、と宣言yしconstます。

const int y=5;
int arr[y]; 

これがで機能した理由についてはmain、g ++では拡張機能としてブロックスコープで可変長配列を使用できます。ただし、標準のC ++ではありません。

（@eerorikaが言ったように）実行時に自動長さ配列が許可されているため、どちらも使用すべきではありませんが、グローバル配列には静的ストレージが必要です。

可変サイズの配列を宣言する場合（たとえば、std :: cinで指定）、次の行に沿って何かを行います。

int x;
std::cin >> x;
const int n = x;
float arr[n];

しかし、ゼロだけを含むように設定することはできませんfloat arr[n] = {0}（配列の値に追加する必要があり、設定が不明な場合）、そのようなループを使用する必要があります。

for(int i = 0; i < n; i++)
{
    arr[i] = 0;
}

C ++の型システムは、これらのCのような配列を、arr2型の例から定義する方法で処理しますint[5]。だから、はい、配列の要素の数は型の一部です！

これは、Cのような配列の定義で使用できるものにいくつかの制約を課します。つまり、この数値には静的ストレージが必要であり、不変であり、コンパイル時に使用可能である必要があります。

したがって、コードを次のようなものに変更すると、別の利点があります。適切な方法で配列を初期化します。

int arr2[] = {0, 0, 0, 0, 0};