Integer型の変数には、なんで、すでに意味不明な数値が入っているの？

happybsdさん

私は明示的に初期化する方がわかりやすいと思っているので、あまり不満に思っていません。
せっかく 0 入れても直後に別の値を入れられるならムダですよね。
初期化が必要なら、プログラマが明示すればいいじゃないというものです。

Delphi の場合、procedure や function の var で宣言する変数は
スタック領域に割り当てるため、明示的に初期化しない限り値は不定です。
integer に限りません。boolean や byte, double, レコード型でも同様です。
Delphi のご先祖の Turbo Pascal 以来の仕様です。

ただし、以下は例外です。

文字列型はかなり複雑な構造で、代入しない場合は空文字列として初期化されます。
実態はヒープ上に作成されるので、スタックの状態に影響されません。

可変長配列の場合も文字列に似た構造になるので、やはり初期状態は空です。

クラス型から生成するインスタンスはヒープにつくられるので、やはりスタックの状態に影響されません。
メンバ変数は０初期化されることになっています。
なお、メソッドのローカル変数は、スタック領域に確保されるので、不定になります。

このあたりの挙動は、用語や実装は違いますが C/C++ でも似てるように思います。

Fortran は自動ゼロ初期化が基本です。ご要望の仕様ですかね。

Basic も自動ゼロ初期化が基本のようです。
Microsoft Basic はどうなんでしょうね？

そういうわけで、未初期化変数の値をどうするかは言語設計者のこだわりポイントのようですが、
どっちが正しいというものではなさそうです。