【C言語】変数を初期化しないとどうなる? 未初期化の落とし穴

#include <stdio.h>

int main(void) {
    int x;                // ローカル変数。初期化していない(不定値)
    printf("x = %d\n", x); // xの読み出しは未定義動作(実行ごとに出力が変わる可能性)
    return 0;
}

#include <stdio.h>

int g;            // グローバル変数。明示しなくても0で初期化される

void show(void) {
    static int s; // 関数内staticも0で初期化される
    printf("g = %d, s = %d\n", g, s);
}

int main(void) {
    show();
    return 0;
}

#include <stdio.h>

int main(void) {
    int flag; // 初期化していない
    if (flag) {
        printf("ON\n");
    } else {
        printf("OFF\n");
    }
    return 0;
}

#include <stdio.h>

int main(void) {
    int a;            // 未初期化
    int b = 10;
    int sum = a + b;  // aの値が不定なのでsumも不定
    printf("a = %d, b = %d, sum = %d\n", a, b, sum);
    return 0;
}

#include <stdio.h>

int main(void) {
    int idx;               // 未初期化
    int arr[4] = {0, 1, 2, 3};
    // idxの値しだいで配列範囲外アクセス(未定義動作)になる可能性
    printf("arr[idx] = %d\n", arr[idx]);
    return 0;
}

#include <stdio.h>

int main(void) {
    int x = 0; // 宣言と同時に初期化
    printf("x = %d\n", x);
    return 0;
}

#include <stdio.h>

int main(void) {
    int n = 3;
    int sum = 0;

    for (int i = 0; i < n; ++i) {
        int value = i * 2;  // 使う直前で初期化
        sum += value;
    }

    printf("sum = %d\n", sum); // 0 + 2 + 4 = 6
    return 0;
}

#include <stdio.h>

int main(void) {
    int    count = 0;        // カウンタは0から
    double ratio = 1.0;      // 比率は1.0など意味のある初期値
    double result = count + ratio; // 0 + 1.0 = 1.0

    printf("count = %d, ratio = %.2f, result = %.2f\n", count, ratio, result);
    return 0;
}

#include <stdio.h>

int main(void) {
    char ch  = 'A';   // 文字の初期化
    char nul = '
#include <stdio.h>
int main(void) {
char ch  = 'A';   // 文字の初期化
char nul = '\0';  // NUL文字(数値0)
char str[] = "Hello"; // 'H','e','l','l','o','\0' の6バイト
printf("ch = %c, nul = %d, str = %s\n", ch, nul, str);
return 0;
}
';  // NUL文字(数値0)
    char str[] = "Hello"; // 'H','e','l','l','o','
#include <stdio.h>
int main(void) {
char ch  = 'A';   // 文字の初期化
char nul = '\0';  // NUL文字(数値0)
char str[] = "Hello"; // 'H','e','l','l','o','\0' の6バイト
printf("ch = %c, nul = %d, str = %s\n", ch, nul, str);
return 0;
}
' の6バイト

    printf("ch = %c, nul = %d, str = %s\n", ch, nul, str);
    return 0;
}

#include <stdio.h>

int main(void) {
    int a[5] = {0};           // 全要素が0で初期化
    int b[5] = {1, 2, 3};     // 残り2要素は0で初期化(= {1,2,3,0,0})
    char s1[6] = "Hello";     // 'H','e','l','l','o','
#include <stdio.h>
int main(void) {
int a[5] = {0};           // 全要素が0で初期化
int b[5] = {1, 2, 3};     // 残り2要素は0で初期化(= {1,2,3,0,0})
char s1[6] = "Hello";     // 'H','e','l','l','o','\0'
char s2[6] = {0};         // 6バイトすべて0(空文字列)
printf("a: ");
for (int i = 0; i < 5; ++i) printf("%d ", a[i]);
printf("\n");
printf("b: ");
for (int i = 0; i < 5; ++i) printf("%d ", b[i]);
printf("\n");
printf("s1 = %s, s2 length = %zu\n", s1, strlen(s2));
return 0;
}
'
    char s2[6] = {0};         // 6バイトすべて0(空文字列)

    printf("a: ");
    for (int i = 0; i < 5; ++i) printf("%d ", a[i]);
    printf("\n");

    printf("b: ");
    for (int i = 0; i < 5; ++i) printf("%d ", b[i]);
    printf("\n");

    printf("s1 = %s, s2 length = %zu\n", s1, strlen(s2));
    return 0;
}

# GCC/Clangの例(C17でビルド)
gcc -std=c17 -Wall -Wextra -O0 sample.c -o sample
# さらに未初期化検出の強化
gcc -std=c17 -Wall -Wextra -Wuninitialized -O0 sample.c -o sample