C/C++における初期化されていないプリミティブデータ型の挙動

この記事では、C言語やC++で変数を初期化せずに宣言した場合、その変数がどのような値を持つのかを詳しく解説します。

多くの方は「int型には0、float型には0.0など、コンパイラが自動的にデフォルト値を割り当ててくれる」と考えがちです。しかし、char型の場合はどうなるのでしょうか?実際にコードを実装し、複数のコンパイラ・環境でコンパイルして確認してみましょう。

実装例(C++)

理解を深めるために、以下のサンプルコードを見てみましょう。

#include <iostream>
using namespace std;
int main() {
    char char_var;
    float float_var;
    int int_var;
    double double_var;
    long long_var;
    cout << char_var << endl;
    cout << float_var << endl;
    cout << int_var << endl;
    cout << double_var << endl;
    cout << long_var << endl;
}

実行結果の比較

出力結果(Cpp.shでコンパイル)

0
0
0
0

出力結果(Online GDBでコンパイル)

5.88054e-39
0
6.95297e-310
0

出力結果(ローカル環境)

9.73438e-039
4309744
1.15685e-306
-53505136

この結果からわかるように、初期化されていない変数の値は環境によってまったく異なります。Cpp.shでは0が出力されたため「デフォルトで0が入る」と誤解しがちですが、Online GDBやローカル環境では意味のない不定値が表示されています。

なぜコンパイラはデフォルト値で初期化しないのか?

ここで疑問が生じます。なぜC/C++コンパイラは変数を自動的に初期化してくれないのでしょうか?

答えはシンプルです。スタック上の変数を初期化する処理にはオーバーヘッドが伴い、プログラムの実行速度を低下させるためです。C/C++はパフォーマンスを最優先する言語設計となっており、明示的に初期化しない限り、変数には不定値(未定義の値)が入る可能性があります。これはC/C++の標準規格上、未定義動作(undefined behavior)に該当するため、予測不可能な結果やバグの原因にもなります。

まとめ

このような理由から、プリミティブデータ型の変数は、コード内で使用する前に必ず明示的に初期化することが良いプラクティスとされています。例えば、宣言と同時に int int_var = 0; のように初期値を設定しておけば、環境による挙動の違いを気にする必要がなく、安全で予測可能なプログラムを書くことができます。