グローバルで定義した配列のサイズにグローバル変数を使用するとエラーが出るのはなぜですか？

Question

前提

現在、c言語の勉強をしているものです。

実現したいこと

グローバル変数として宣言した値を用いて配列サイズの初期化を行いたいです。しかし、配列の宣言をグローバルで行うとエラーが出ます。
実装上、ローカルで配列の宣言をしても問題はないのですが、なぜグローバルで配列の初期化を行う際に配列のサイズにグローバル変数を持ってくるとエラーが出るのか知りたいです。

発生している問題・エラーメッセージ

Info: Internal Builder is used for build
gcc -O0 -g3 -Wall -c -fmessage-length=0 -o "src\\color_hitting_game.o" "..\\src\\color_hitting_game.c" 
..\src\color_hitting_game.c:24:6: error: variably modified 'seeds' at file scope
 char seeds[num];

該当のソースコード

static const int num= 3;
char seeds[num]；　#グローバルで配列の宣伝をするとエラーが出る
##############################

void func(){
char seeds[num]；　#ローカル(関数内)で宣言するとエラーが出ない

}

Comments

[jimbe]

可変長配列(VLA) は C のバージョンやコンパイラに依ってもサポートがまちまちですので、そのレベルでも利用には注意が必要です。

[michael_0829]

そうだったんですね。改めて自身の環境を見直してみます。

Answer 1

基本的に、C言語では、配列のサイズは定数でなければなりません。
ただ、ローカル変数の配列のサイズは、変数で指定するのが許されています

Comments

[Zuishin]

いつものように既存の回答を丸写ししてスコア稼ぎしていますが、自分の言葉で書いたことにより情報が劣化していませんか？

> ただ、ローカル変数の配列のサイズは、変数で指定するのが許されています

可変長配列は C11 でオプションに格下げされたので、処理系依存になりました。
処理系を特定せず「許されている」と言い切るのは難しいと思います。

Answer 2

C では定数でない大きさを持つ配列はブロック有効範囲か関数原型有効範囲で宣言される場合に限って有効であるという制限があるからです。 (const を付けても変数は定数になりません。 C++ だと条件付きで定数になることもあります。)

Comments

[michael_0829]

納得しました。ありがとうございます！