DCL15-C. 外部結合を必要としないファイル有効範囲のオブジェクトや関数は static 宣言する

ファイル有効範囲のオブジェクトや関数がそのファイルの外から可視である必要がないのであれば、static として宣言し隠すべきである。こうすることで、よりモジュール性の高いコードになり、グローバルな名前空間の汚染を制限することができる。

C 標準 [ISO/IEC 9899:2011] セクション 6.2.2 には、次のように記載されている。

オブジェクト又は関数に対するファイル有効範囲の識別子の宣言が記憶域クラス指定子 static を含む場合、その識別子は、内部結合を持つ。

および

オブジェクトの識別子の宣言がファイルスコープをもち、かつ記憶域クラス指定子を持たない場合、その識別子の結合は、外部結合とする。

違反コード

以下のコードでは、helper()関数は暗黙的に外部結合をもつと宣言されている。

enum { MAX = 100 };

int helper(int i) {
  /* i を使った何かしらの計算を行う */
}

int main(void) {
  size_t i;
  int out[MAX];

  for (i = 0; i < MAX; i++) {
    out[i] = helper(i);
  }

  /* ... */

}

適合コード

以下の適合コードは helper() を内部結合をもつよう宣言しており、外部関数から使用されることを防止している。

enum {MAX = 100};

static int helper(int i) {
  /* i を使った何かしらの計算を行う */
}

int main(void) {
  size_t i;
  int out[MAX];

  for (i = 0; i < MAX; i++) {
    out[i] = helper(i);
  }

  /* ... */

}

リスク評価

あまりに多くのオブジェクトが外部結合をもつと、説明的な識別子を消費し尽くしてしまい、より複雑な識別子を使わなくてはならなくなったり、抽象モデルに違反したり、ライブラリと名前が衝突してしまうことになるかもしれない。翻訳単位でデータの抽象化を行っている場合、プライベート関数が抽象化の外から呼び出されてしまうかもしれない。