変数の寿命

ローカルスコープは、ブロックスコープとも言います。「ブロック」とは、中括弧で囲まれた部分のことです。

ブロックを使うとローカル変数の寿命を制御できますが、このことを知らない人も意外に多いようです。

次のプログラムを見てみましょう。

#include <stdio.h>
#include <stdlib.h>

int main() {
  int n1 = 123;
  int n2 = 456;

  {
    int temp = n1;
    n1 = n2;
    n2 = temp;
  }

  printf("n1 = %d\n", n1);
  printf("n2 = %d\n", n2);

  return EXIT_SUCCESS;
}

n1 = 456
n2 = 123

2つの変数の値を入れ替えるだけの単純なプログラムです。

この例のように、ブロックの内側で宣言されたローカル変数は、そのブロックの内側だけで有効です。ブロックの外側では使えません。そして、その変数は制御がブロックを抜けるときに消滅します。

もうひとつ、別の例をあげましょう。

#include <stdio.h>
#include <stdlib.h>

int main() {
  int nSum = 0;

  for (int i=0; i<10; i++) {
    int temp = i * i;
    nSum += temp;
  }

  printf("SUM = %d\n", nSum);

  return EXIT_SUCCESS;
}

SUM = 285

ifやwhileなどの制御構文とともに現れる中括弧で囲まれた部分もブロックです。上記はfor文の例ですが、中括弧の内側にある変数tempは、ブロックを抜けるときに消滅します。同じ名前の変数がループの回数（ここでは10回）だけ、生まれては消えているというわけです。

一般的に、一つ一つの変数の寿命（生まれてから消えるまで）を短くするほうが理解しやすいプログラムになります。アルゴリズムを考えるときに、一度に気を配らなければならない範囲を狭められるためです。