C++のローカル変数とグローバル変数はデフォルトでどのように初期化されるのか？

C++における変数の初期化には、ローカル変数とグローバル変数のどちらにも共通する重要なルールがあります。基本的に、変数を宣言すると、明示的に指定しない限り、コンパイラがそのデフォルトコンストラクタを呼び出します。

言語レベルの型（組み込み型）の場合

ポインタ、int、float、bool などの言語レベルの型（プリミティブ型）の場合、その「デフォルトコンストラクタ」は実質何もしません。宣言された時点でメモリの内容はそのまま放置されます。つまり、これらの変数にはほぼ何でも入り得ます。なぜなら、そのメモリ領域に以前何が格納されていたのか、あるいはそのメモリ自体がどこから確保されたものなのか、通常は保証できないからです。

このため、組み込み型のローカル変数は未初期化状態となり、不定値（ガベージ値）を持つことになります。意図しないバグを防ぐためにも、宣言時に明示的な初期値を設定することが推奨されます。

クラスとコンストラクタの挙動

コンストラクタを持たないクラスを作成した場合、コンパイラが自動的にデフォルトコンストラクタを生成し、その中で各メンバ変数のコンストラクタが順に呼び出されます。

一方、引数付きのコンストラクタのみを定義していて、引数なしのコンストラクタが存在しない場合は、引数なしでオブジェクトを生成しようとしたときに「一致するコンストラクタが見つからない」というコンパイルエラーが発生します。

まとめ

• 組み込み型（int、float、bool、ポインタなど）はデフォルトでは初期化されず、不定値になる可能性がある
• クラス型は、コンストラクタがなければコンパイラが自動生成したデフォルトコンストラクタによってメンバごとに初期化される
• 引数付きコンストラクタのみ定義している場合、引数なしでのインスタンス化はエラーになる

安全なコードを書くためには、変数宣言時の初期化の挙動を正しく理解し、必要に応じて明示的な初期化を行うことが重要です。