16.3. リンケージ（結合）

　プログラム中に同じオブジェクト名や関数名で複数の宣言があるとき，それらが同一のオブジェクト，或いは関数として参照されることをリンケージあるいは結合と言います。

■結合（リンケージ，Linkage）[C99, 6.2.2]

• 内部結合（内部リンケージ，Internal Linkage）

  そのソースファイル内で同一のオブジェクト，或いは関数として参照。

• 外部結合（外部リンケージ，External Linkage）

  プログラムが複数のソースファイルから構成される場合，それらすべてのソースファイルにおいて同一のオブジェクト，或いは関数として参照。

リンケージは，有効範囲と記憶域クラスで決まります。

extern を付さないブロック・スコープのオブジェクトは，リンケージなし（無結合，No Linkage）となります。[C99, 6.2.2, 6]

• 制限 [C99, 6.7.1]

  関数に対しては static はファイル・スコープを持つ場合にのみ許される。

■リンケージがある場合の初期化ルール

• sizeof演算子以外に使用する場合，外部定義が必要。しかも，それは一つに限る。[C99, 6.9, 3&5]
• ブロック・スコープを持つオブジェクトの初期化はできない。[C99, 6.7.8, 5]

/* Example 16.3 */

char c = 'A';
static double pi = 3.14;

int main(void)
{
       extern double x;
       char c;
       static long l;
}

最初の char型変数 c はファイル・スコープを持ち，記憶域クラスの指定がありません。したがって，外部結合を持ちます。double型変数 pi はファイル・スコープを持ち，記憶域クラスには static を指定しています。したがって，内部結合をもちます。外部結合はないので，宣言されているソースファイルのみのリンケージとなります。変数 x は，宣言済みの同一変数がないので外部結合を持ちます。これには外部定義が必要です。また，ブロック・スコープを持つので初期化はできません。main関数内の変数 c は，３行目で宣言している変数 c を隠すので，それとは異なる無結合変数として認識されます。同一と認識させるには，変数の宣言を削除するか，３行目の変数 c がリンケージを持っているので extern を付せば良いです。変数 l は記憶域クラスに static を付していますが，ブロック・スコープをもつため，リンケージをもちません。