staticで初期化した変数(?)を使って初期化

次の３つのプログラム、１番目はコンパイルエラーになりますが、下２つはエラーになりません。１番目のプログラムのエラーメッセージ：初期化子が定数ではありません。

処理系にかかわらずそうだとしたら、その理由はなんでしょうか。
----------------------------------
int main(void)
{
static int a=5;
static int b=a;

return 0;
}
----------------------------------
int main(void)
{
static int a=5;
int b=a;

return 0;
}
----------------------------------
int main(void)
{
int a=5;
int b=a;

return 0;
}

No.2 ベストアンサー 回答者： nagare 回答日時： 2002/07/20 12:06

staticは、実行時にその領域を初期化するのですが、その値が変数だとわからない

ので、定数のみ　ということです。
でも、これはコンパイラ依存があるかも（MS-Cしか知らないので。。。)

static int b=a;をコンパイルできる、できないの話は、コンパイラとアセンブラの話になってしまいますので、この辺で話は切っておきます。

staticの仕組みは、アセンブリして、アセンブラを見れば一発！

この回答への補足

＞staticは、実行時にその領域を初期化するのですが、その値が変数だとわからないので、定数のみ　ということです。

そうですね、「staticの変数を初期化する場合は、定数でなければならない。」という規則があると考えるべきなんですね。

アセンブラについてはよくわからないので、やめておきます。

ありがとうございました。

-------------------------------
質問者用メモ欄

static const int a=5;
static int b=a;

と、aにconstをつけてもコンパイルエラーは消えない。
constを付けたからといって定数ではない。

補足日時：2002/07/20 16:20

No.3 回答者： bug_master 回答日時： 2002/07/20 17:46

> そうですね、「staticの変数を初期化する場合は、定数でなければならない。

」という規則があると考えるべきなんですね。

static以外にも構造体、共用体、配列の初期化も定数式でなければなりません。

この手のことは、処理系を動かして調べるより（処理系独自の拡張があるので）ANSIなりJISの規格を見るのが間違いないかと。
JISでしたら、
http://www.jisc.go.jp/
のデータベースから「X3010」で閲覧することができます。

参考URL：http://www.jisc.go.jp/

この回答へのお礼

JIS X3010の文書をダウンロードして、見ました。

「6.5.7初期化」というところに次のように書いてありました。
「静的記憶域期間をもつオブジェクトの初期化子、または集成体型若しくは共用体型をもつオブジェクトの初期化子の並びにおいて、すべての式は定数式でなければならない。」
集成体型とは、配列と構造体のことですから、まさしくご回答のどおりのようです。
今回の質問は静的記憶域期間を持つ場合なので、それは解決したということでいいのですが。。

この文でよくわからないのは、
「自動記憶域期間を持つ構造体や配列を、関数の仮引数を使って初期化してはならない。」
という意味まで含んでいるのか、です。

「集成体型...をもつオブジェクトの初期化子の並びにおいて、すべての式は定数式でなければならない」ってウソだろ・・・
そもそも定数式って？

と思ったんですが、今回の質問については解決したので回答は締め切り、自分で調べた上でわからなければ改めて質問します。

お礼日時：2002/07/21 07:13

No.1 回答者： ymmasayan 回答日時： 2002/07/20 08:32

単なる推測ですが。

間違いが起きやすいので、コンパイラーが「親切心」でチェックして
くれているのではないかと思います。
単なるintならその関数が実行されるたびに変数確保と初期化が行なわれます。
ところが、staticでは１回目の実行時だけ変数確保と初期化を行ないます。
その関数が実行終了しても変数は消滅せず、次回の実行に引き継がれます。
（main関数だけは毎回初期化されるという特例があるかも？・・・自信なし）

static int b=a;

は、１回目の実行開始時だけ保証され、ａかｂを一度書き換えると、そのあと
(b==a）が保証されなくなります。
関数の起動ごとに(b==a)になるという勘違いを防ぐためと言う気がします。

この回答への補足

ありがとうございました。

なるほどなあと思いました。
２番目のプログラムでは、ｂの宣言時には　a==b　になっていますね。
（aが他の場所で書き換えられる可能性まで考えれば、値は５とは限らないけれど。）


けれども、勘違いを防ぐためなら、警告ぐらいにとどめておいてほしいです。

補足日時：2002/07/20 09:26