スコープと記憶域期間 | Programming Place Plus　Ｃ言語編　第２２章

ブロックスコープ 🔗

ブロック^📘の内側で宣言された識別子や、関数の定義に記述する仮引数は、ブロックスコープ^📘 (block scope) を持ちます。

ブロックスコープは、その識別子が宣言された位置から、その宣言が含まれているブロックの末尾までです。関数定義の仮引数については、その関数の終わりまでとなります。

同じ仮引数でも、関数の宣言のほうに記述したものは、関数プロトタイプスコープです。

規格上は正式な表現ではないものの、ブロックスコープを持つ変数のことをローカル変数（局所変数）^📘 (local variable) と呼ぶことが非常に多いです。

ブロックスコープを持つ変数を動作を確認してみましょう。

#include <stdio.h>

void func(void);

int main(void)
{
    int num;  // ブロックスコープを持つ変数（ローカル変数）

    num = 100;
    printf("%d\n", num);

    func();
    printf("%d\n", num);  // この num は func関数内の num とは別の存在
}

void func(void)
{
    int num;  // ブロックスコープを持つ変数（ローカル変数）

    // 以下の num は main関数内の num とは別の存在
    num = 500;
    printf("%d\n", num);
}

実行結果：

100
500
100

main関数にも func関数にも、同じ名前の変数 num がありますが、お互いのことをまったく認知していないことが分かります。func関数内の変数num に 500 を代入しても、main関数側の変数num には影響を与えていません。異なるスコープで宣言された識別子は、同じ名前であっても別の存在です。

for、while、do や if、switch の構文の中にも {} が登場しますが、これもブロックなので、この内側で宣言した識別子は、そのブロックについてのブロックスコープを持つことになります。

int main(void)
{
    int a = 10;  // この位置から、main関数の終わりまで使える

    if (a == 10) {
        int b = 20;  // if文の真の { } の中で使える
    }
    else {
        int c = 30;  // if文の偽の { } の中で使える
    }

    int d = 40;  // この位置から、main関数の終わりまで使える

    for ( ; a >= 0; --a) {
        int e = 50;  // for文の終わりまで使える
    }

    for (int i = 0; i < 5; ++i) {  // i は for文全体で使える
    }

    while (0) {
        int f = 60;  // while文の終わりまで使える
    }

    do {
        int g = 70;  // do文の終わりまで使える
    } while(0);
}

【上級】switch文の { の直後の位置でも変数宣言できますが、これはまず使うことはありません。この位置で変数を宣言すると、それが静的ローカル変数でないかぎりは初期化されません。なぜなら、プログラムの実行中にその位置を通ることがないからです。

構文上必要な場面以外でも、{ } を使えば任意にブロックを作れますから、自分で限定的なブロックスコープを作れます。

#include <stdio.h>

int main(void)
{
    int v1 = 10;

    {  // 新しいブロックの開始
        int v2 = 20;  // このブロックの終わりまで使える
        printf("%d\n", v2);
    }  // 新しいブロックの終わり。ここより下で v2 は使えない

    printf("%d\n", v1);
}

実行結果：

20
10

一般に、どこから使われているかと、何を使っているのかを分かりやすくするために、スコープを極力せまく保つことが良いとされています。このサンプルプログラムのように、いつでも新たなスコープを追加でき、そうすれば狭いスコープを作り出せますが、かえって分かりにくくなる可能性もあります。というのは、スコープは入れ子^📘になるため、同じ識別子が別の実体を指す状態も作れてしまうためです。

ある識別子を使うときには、その識別子がどの実体のことなのかを、近くのスコープにある宣言から順番に探して判断します。そのため、同じ識別子の宣言が、内側のスコープと外側のスコープの両方にあったら、外側にある方は発見されません（不可視 (invisible) になる、隠蔽 (hiding) されるなどと表現します）。

#include <stdio.h>

int main(void)
{
    int v = 10;

    {
        int v = 20;  // このブロックの終わりまで使える
        printf("%d\n", v);  // ここでの v は 20 で初期化したほうの v
    }

    printf("%d\n", v);  // ここでの v は 10 で初期化したほうの v
}

実行結果：

20
10

ファイルスコープ 🔗

どのブロック内でも、関数宣言内でもない場所で宣言された識別子は、ファイルスコープ^📘 (file scope) を持ちます。

規格上は正式な表現ではないものの、このような変数はよくローカル変数との対比で、グローバル変数（大域変数）^📘 (global variable) と呼ばれます。

#include <stdio.h>

int g_num = 10;  // ファイルスコープを持つ変数（グローバル変数）

void myprint(void);  // ファイルスコープを持つ関数の宣言

int main(void)
{
    printf("%d\n", g_num);
    myprint();

    g_num = 20;
    myprint();
}

void myprint(void)
{
    printf("%d\n", g_num);
}

実行結果：

10
10
20

グローバル変数を宣言する構文は、ローカル変数の場合と変わりありません。このサンプルプログラムがしているように、変数名の先頭に g や g_ といったプリフィックスを付けて、グローバル変数であることを示す方法はよく使われています。これは、ブロックスコープのように、ファイルスコープよりも狭いスコープに同じ名前の識別子が宣言されて隠蔽が起きることを防止する意味があります。このような命名方法自体は必須事項ではありませんが、少なくとも、グローバル変数には、簡単すぎる名前を付けるべきではありません。

グローバル変数を宣言している位置は、プログラムの実行中に通過する場所ではないように思えますが、プログラムの実行開始直後から存在が保証され、初期化もされています。この話題はあとであらためて取り上げることにします。

ブロックスコープのところでも触れましたが、一般に、スコープは極力せまく保つべきです。グローバル変数はそのような考え方は完全に外れたものであって、実際、グローバル変数の使用はできるだけ避けるべきだと言われることが多いです。さきほどのサンプルプログラムであれば、引数のしくみを使って、書き換えることで、グローバル変数をなくせます。

#include <stdio.h>

void myprint(int num);

int main(void)
{
    int num = 10;

    printf("%d\n", num);
    myprint(num);

    num = 20;
    myprint(num);
}

void myprint(int num)
{
    printf("%d\n", num);
}

実行結果：

10
10
20

このように、引数や戻り値を使って情報を受け渡す方が、グローバル変数を使うよりも良いスタイルです。このような作りにしておくと、関数を部品として使いやすくなります。グローバル変数を使っていると、そのグローバル変数まで関数の１セットに含まれているような状態になってしまいます。初期化や代入といった処理を、ほかの関数でも行っている可能性があるため、容易には切り離せません。有用な関数を他のプログラムで再利用しようとしても、大変な労力をかけなくてはならなくなります。

関数スコープ 🔗

ラベル名は関数スコープ (function scope) を持ちます。

関数スコープは、そのラベルが宣言された関数内全体です。ブロックスコープと違って、関数スコープは、宣言位置と使用位置の前後関係は関係ありません。ラベルは goto文（第１７章）のとび先として使用されますが、位置関係的に goto が先にあって、とび先のラベルが後で宣言されることがあります。それでも問題がないのは、関数スコープの仕様によるものです。

関数プロトタイプスコープ 🔗

関数の宣言に記述する仮引数は、関数プロトタイプスコープ (function prototype scope) を持ちます。

関数プロトタイプスコープは、その宣言の中に限定されます。

自動記憶域期間 🔗

次のように構築されたオブジェクトは、自動記憶域期間^📘 (automatic storage duration) を持ちます^[3]。

• ブロックスコープを持つ変数であり、staticキーワード^📘や externキーワードを付加していないもの
• 仮引数

自動記憶域期間を持つオブジェクトの生存期間は、定義を行ったときに始まり、変数の定義を行ったブロックの終わりで終了します。ある関数内で定義した変数が自動記憶域期間を持つのなら、その関数から抜け出したときには確実に生存期間を終えることになります。

【上級】そのため、自動記憶域期間を持つローカル変数を指すポインタを返すことは危険です。呼び出し元に戻ったとき、そのポインタが指す先にオブジェクトが生存している保証がなく、未定義動作になってしまいます。

また、関数に入るたびに作り直されているので、以前の値が引き継がれることはありません。

【上級】ほとんどの処理系で、自動記憶域期間を持つオブジェクトを、メモリ上のスタック領域^📘に配置しますが、Ｃ言語の規格上はそのように強制しているわけではありません。

同じ位置で定義したとしても、staticキーワードを付加した場合は、静的記憶域期間を持ちます。

void f(void)
{
    int v1 = 100;         // 自動記憶域期間
    static int v2 = 100;  // 静的記憶域期間
}

externキーワードを付加した場合、その変数の定義が別のところで行われていることを示しており、つまり定義ではなく宣言になります。その宣言自体はオブジェクトを構築しません。

#include <stdio.h>

int v = 100;  // 定義

int main(void)
{
    extern int v;  // 宣言
    v = 200;
    printf("%d\n", v);
}

実行結果：

200

変数v の定義は関数の外側にあり、この場合、静的記憶域期間を持つことになります。

自動記憶域期間を持つ変数を自動変数^📘 (automatic variable) と呼ぶことがあります。また、これをローカル変数と呼ぶことがありますが、ローカル変数という用語は、スコープを言い表したものであって、記憶域期間に対しては何もいっていません。たとえば、staticキーワードを付加して宣言された場合には静的記憶域期間を持つので、ローカル変数ではあっても自動変数ではないことに注意が必要です。

静的記憶域期間 🔗

次のように構築されたオブジェクトは、静的記憶域期間^📘 (static storage duration) を持ちます^[4]。

• staticキーワードを付加して定義した変数
• 関数の外で定義した変数

【上級】２つ目のほうを正確に表現すると、内部結合^📘または外部結合^📘を持つ場合という意味です。

静的記憶域期間を持つオブジェクトの生存期間は、プログラムの実行開始直後に始まり、プログラムの実行が終わったときに終了します。つまりプログラムを実行しているあいだずっと生き続けています。

静的記憶域期間を持つ変数を静的変数^📘 (static variable) と呼ぶことがあります。

前の項ですでに取り上げたとおり、staticキーワードを付加して定義されたローカル変数は、静的記憶域期間を持ち、よく静的ローカル変数 (static local variable) と呼ばれます。

静的変数は、プログラムの実行が開始した直後、main関数の処理が始まるより前の時点でオブジェクトが構築されています。明示的に初期化子^📘を与えている場合はその値で初期化されますが、与えていない場合は型に応じたデフォルトの値で初期化されます。つまり、自動記憶域期間を持つ変数と違って、未初期化なままになることはありません。デフォルトの値で初期化されるというのは、大ざっぱにいうと 0 で初期化するということです。

【C23】空の初期化子を使って static int s = {}; のような初期化をおこなうことができるようになっており、この場合もデフォルトの値で初期化されます。この方法は自動記憶域期間を持つ変数の定義でも使用でき、やはりデフォルトの値で初期化されます。^[7]

【上級】デフォルトの初期化について正確には、その変数の型が算術型^📘の場合は 0、ポインタ型の場合はヌルポインタです（第３１章）。また、集成体（第２６章）の場合は各メンバの型に応じて 0 やヌルポインタが、共用体^📘（第５５章）の場合は最初のメンバの型に応じて 0 やヌルポインタが与えられます^[5]。

また、静的記憶域期間を持つ変数に明示的に初期値を与える場合は、定数式（第１０章）や文字列リテラルでなければなりません^[6]。

静的ローカル変数の場合の挙動は少し違和感があるかもしれません。定義の記述位置は関数内ですが、そこで明示的に与えた初期化子による初期化は、プログラムの実行開始直後にすでに実行されています。

【C++プログラマー】C++ では、静的ローカル変数の明示的な初期化子による初期化は、定義位置を初めて通過するときに実行されます。そのため、定数でなければならないという制約はありません。

静的ローカル変数を使えば、関数から抜け出したあとも値が保持されるローカル変数を実現できます。

#include <stdio.h>

void f(void)
{
    static int s = 0;  // ずっと生存しているので、関数を抜けても値が保持されている
    printf("%d\n", s);
    s++;
}

int main(void)
{
    for (int i = 0; i < 10; ++i) {
        f();
    }
}

実行結果：

0
1
2
3
4
5
6
7
8
9

しかし、静的ローカル変数は取り扱いが難しくなるケースもあり、ほかの手段が取れるのならば基本的に避けておくのが無難です。