C言語のスコープルール徹底解説！グローバル変数とローカル変数の違いとは

C言語では、変数がどこで宣言されたかによって、その変数を参照できる範囲（スコープ）が決まります。スコープの理解は、バグの防止や読みやすいコードを書くために非常に重要です。本記事では、グローバルスコープとローカルスコープの基本ルールを、実行例とともにわかりやすく解説します。

グローバルスコープ（大域スコープ）とは

グローバルスコープとは、関数やブロックの外側で宣言された変数が適用されるスコープのことです。グローバル変数は、プログラムの先頭からプログラム終了まで、すべての関数から参照・操作することができます。

サンプルコード

#include <stdio.h>

int c = 30; /* グローバル領域で宣言 */

void fun(void);

int main(void) {
    int a = 10; /* ローカル変数 */
    printf("a=%d, c=%d\n", a, c);
    fun();
    return 0;
}

void fun(void) {
    printf("c=%d\n", c); /* グローバル変数cを参照 */
}

実行結果

a=10, c=30
c=30

この例では、変数cはグローバル領域で宣言されているため、main関数だけでなく、別の関数であるfunからも参照できています。

ローカルスコープ（局所スコープ）とは

ローカルスコープとは、ブロック（{ }で囲まれた範囲）や関数の内側で宣言された変数が適用されるスコープのことです。ローカル変数は、そのブロック内でのみ有効であり、ブロックの外側からは参照できません。ブロックの実行が終わると、ローカル変数はメモリ上から消滅します。

サンプルコード

#include <stdio.h>

int main(void) {
    int i = 1; /* ローカルスコープ */
    printf("%d ", i);
    {
        int j = 2; /* ローカルスコープ */
        printf("%d\n", j);
    }
    return 0;
}

実行結果

1 2

同じ名前の変数を別々のブロックで宣言した場合

異なるブロック内であれば、同じ名前の変数をそれぞれ宣言しても問題ありません。名前が同じでも、それぞれ独立した別個の変数として扱われます。

サンプルコード

#include <stdio.h>

int main(void) {
    {
        int i = 1; /* 同じ名前の変数 */
        printf("%d ", i);
    }
    {
        int i = 2; /* 同じ名前の変数 */
        printf("%d\n", i);
    }
    return 0;
}

実行結果

1 2

内側のブロックで再宣言すると外側の変数は「隠れる」

外側のブロックで宣言された変数と同じ名前の変数を、内側のブロックで再宣言するとどうなるでしょうか。この場合、内側のブロックが実行されている間、内側の変数が外側の変数を覆い隠す（マスクする）動作になります。

サンプルコード

#include <stdio.h>

int main(void) {
    int i = 1;
    {
        int i = 2; /* 外側のiをマスクする */
        printf("%d\n", i);
    }
    return 0;
}

実行結果

2

このように、内側のブロック内では新しく宣言されたi = 2が優先され、出力は「2」となります。

ネストしたブロックから外側の変数へのアクセス

逆に、内側のブロックで同じ名前の変数が宣言されていなければ、外側のブロックで宣言された変数には、ネストした内側のブロックからも自由にアクセスできます。

サンプルコード

#include <stdio.h>

int main(void) {
    int i = 1;
    {
        int j = 2;
        printf("%d ", j);
        printf("%d\n", i); /* 外側の変数iを参照 */
    }
    return 0;
}

実行結果

2 1

まとめ

• グローバルスコープ：関数の外で宣言された変数は、プログラム全体から参照可能。
• ローカルスコープ：ブロック内で宣言された変数は、そのブロック内でのみ有効。
• 異なるブロックなら、同じ名前の変数を宣言しても独立して扱われる。
• 内側のブロックで同名の変数を宣言すると、外側の変数は一時的に隠される。
• 内側のブロックからは、同名の変数がない限り外側の変数へアクセスできる。

スコープのルールを正しく理解することで、意図しない変数の上書きやバグを防ぎ、安全で保守性の高いC言語プログラムを書けるようになります。