C言語の変数における「宣言」と「定義」の違いとは？役割と使い分けを実例で解説

2026年5月1日

基礎知識

C言語のプログラミングを深く理解しようとする際、避けては通れないのが「宣言（Declaration）」と「定義（Definition）」の区別です。

多くの初心者はこれらを混同してしまいがちですが、大規模なプロジェクトや複数ファイルにまたがるプログラムを作成する場合、この違いを正しく理解していないと解決の難しいリンカエラーに直面することになります。

本記事では、2026年現在のモダンなC言語開発（C23規格以降を含む）の視点も踏まえ、宣言と定義の決定的な違いと、それぞれの役割、そして実戦での使い分けについて詳しく解説します。

目次 [ close ]

宣言と定義の根本的な役割の違い

C言語において、宣言と定義は似て非なるものです。

一言で言えば、宣言はコンパイラに対する「予約」や「通知」であり、定義は「実体の確保」を指します。

宣言 (Declaration) とは

宣言は、コンパイラに対して「このような名前の、このような型の変数がプログラムのどこかに存在します」という情報を伝える行為です。

コンパイラはこの情報を元に、その変数名が使われた際に正しいデータ型として扱われているか、文法的な整合性をチェックします。

重要なのは、宣言だけではメモリ領域が割り当てられないという点です。

宣言はあくまでコンパイラへの「自己紹介」であり、実際にその変数のための場所がメモリ上に用意されるわけではありません。

そのため、宣言は何回繰り返しても（同じ型であれば）エラーになりません。

定義 (Definition) とは

対して定義は、宣言の役割を含みつつ、さらに実際にメモリ領域を確保し、必要であれば初期値を設定する行為を指します。

定義が行われることで初めて、変数はプログラムの中で実体を持ち、値を格納したり操作したりすることが可能になります。

C言語のルールとして、定義はプログラム全体の中で必ず1回だけ行われなければなりません。

これを「単一定義規則（One Definition Rule）」と呼びます。

もし同じスコープやリンクの単位で同じ変数を2回定義してしまうと、コンパイラやリンカは「どちらが本物か判断できない」ため、二重定義エラーを発生させます。

なぜこの区別が必要なのか

C言語が宣言と定義を厳密に分けている理由は、主に「分割コンパイル」という仕組みを支えるためです。

メモリ割り当てのタイミング

C言語のコンパイルプロセスでは、ソースファイル（.c）ごとに個別にオブジェクトファイルが生成されます。

各ファイルで他のファイルにある変数を使いたい場合、その変数の型や名前を知っている必要があります。

しかし、メモリの具体的なアドレスは、最終的にすべてのオブジェクトファイルを結合する「リンク」の段階で決定されます。

もしすべてのファイルで実体を確保（定義）しようとすると、同じ名前の変数が複数存在することになり、衝突が起こります。

そのため、「実体はどこか1つのファイルに定義し、他のファイルでは宣言だけして利用する」という使い分けが必要になるのです。

リンカ (Linker) への通知

コンパイラは、定義されていない変数を見つけたとき、それが「宣言」されていれば「今は実体がないけれど、後でリンカがどこかから見つけてくれるはずだ」と判断し、エラーを出さずに処理を続行します。

その後、リンカがすべてのファイルをスキャンして、宣言された名前に対応する「たった一つの定義」を探し出します。

宣言と定義の違いを比較する

両者の違いをわかりやすく表にまとめると以下のようになります。

項目	宣言 (Declaration)	定義 (Definition)
主な目的	名前と型の情報をコンパイラに伝える	メモリ領域を確保し、実体を作る
メモリの確保	行われない	行われる
記述回数	何度でも可能	ただ一度のみ
externキーワード	基本的に使用する	使用しない
初期化	できない（宣言のみの場合）	可能

具体的な構文と実例

ここからは、実際にコードを見ながら、変数の宣言と定義がどのように異なるかを確認していきましょう。

変数の定義の例

一般的な変数の記述は、ほとんどの場合が「定義」に該当します。

C言語

#include <stdio.h>

int main() {
    // これは「定義」です
    // メモリが確保され、初期値 100 が格納されます
    int score = 100;

    printf("Score: %d\n", score);
    return 0;
}

実行結果

Score: 100

上記の例では、int score = 100; という記述によって、整数型のメモリ領域が確保され、そこに100という値が書き込まれています。

変数の宣言の例（externキーワード）

宣言のみを行いたい場合は、extern キーワードを使用します。

これは主に複数ファイルで変数を共有する場合に使われます。

C言語

// external_vars.h
// 変数の「宣言」のみを行う
// メモリはここでは確保されない
extern int global_counter;

C言語

// main.c
#include <stdio.h>
#include "external_vars.h"

// 別の場所で定義された global_counter を利用する
void increment() {
    global_counter++;
}

// ここが実体の「定義」
int global_counter = 0;

int main() {
    increment();
    printf("Counter: %d\n", global_counter);
    return 0;
}

実行結果

Counter: 1

この例では、extern int global_counter; が宣言であり、int global_counter = 0; が定義です。

もし定義を忘れて宣言だけで変数を使おうとすると、コンパイルは通りますが、リンク時に「未解決の外部シンボル」といったエラーが発生します。

複数ファイル開発における「extern」の重要性

現代のC言語開発において、宣言と定義の使い分けが最も重要になるのは、ヘッダーファイルとソースファイルの役割分担です。

ヘッダーファイルでの注意点

初心者がよくやってしまうミスに、ヘッダーファイル内で変数の定義を記述してしまうというものがあります。

C言語

// bad_header.h
int shared_value = 10; // ここに定義を書いてしまうと危険

このヘッダーファイルを A.c と B.c の両方でインクルードすると、それぞれのオブジェクトファイルに shared\_value という実体が作成されます。

その結果、リンク時に「二重定義」エラーが発生し、プログラムをビルドできなくなります。

正しい方法は以下の通りです。

ヘッダーファイル（.h）には extern を付けた「宣言」のみを書く。
ソースファイル（.c）のいずれか1つに、実体の「定義」を書く。

2重定義エラーを防ぐベストプラクティス

より堅牢なプログラムを作成するためには、変数のスコープを最小限に抑えることも重要です。

どうしてもグローバル変数が必要な場合を除き、static 修飾子を使ってそのファイル内だけで閉じた「定義」にすることも検討してください。

static が付いた変数は、他のファイルから参照できない「内部結合」を持ちます。

これにより、ファイル間での名前衝突を避けることができます。

C23規格以降の視点と現代的な書き方

2026年現在、C言語の最新規格であるC23（あるいはそれ以降の微修正）が普及しています。

宣言と定義の基本ルールそのものは変わっていませんが、型推論のような機能（auto キーワードの導入など）により、定義の仕方にバリエーションが増えています。

モダンな型推論による定義

C23からは、初期化子を伴う定義において auto キーワードが使用可能になりました。

C言語

// C23規格以降のスタイル
auto threshold = 0.75; // double型として定義される

これも「定義」の一種ですが、宣言と定義が同時に行われることが前提となります。

型を明示しないことでコードの柔軟性は上がりますが、宣言と定義の区別が曖昧なまま使うと、意図しない型としてメモリが確保されるリスクもあります。

「明示的な型宣言」が必要なヘッダーファイルでの extern 宣言と、「自動的な型推論」によるソースファイルでの定義を使い分ける知識が、現代のエンジニアには求められます。

関数の宣言と定義

変数と同様に、関数にも「宣言」と「定義」があります。

関数の場合は、変数の場合よりも区別が意識しやすいかもしれません。

関数プロトタイプ（宣言）

関数の宣言は、通常「関数プロトタイプ」と呼ばれます。

C言語

// 関数の宣言
// 戻り値の型、名前、引数の情報を伝える
int calculate_sum(int a, int b);

関数本体（定義）

関数の定義は、実際の処理内容（波括弧 {} の中身）を記述することです。

C言語

// 関数の定義
// 実際にプログラムとして動作する実体
int calculate_sum(int a, int b) {
    return a + b;
}

関数においても、ヘッダーファイルにはプロトタイプ宣言を書き、ソースファイルに定義を書くというルールは共通です。

これにより、関数の実装がどこにあるかを気にせず、他のファイルからその関数を呼び出すことができます。

まとめ

C言語における変数の「宣言」と「定義」の違いは、単純な用語の差ではなく、メモリ管理とコンパイル・リンクの仕組みに直結する重要な概念です。

宣言 (Declaration)：コンパイラに名前と型を教える。メモリは確保されない。何度でも書ける（extern を使用）。
定義 (Definition)：メモリ領域を確保し実体を作る。プログラム全体で一度だけ許される。

この違いを正しく理解することで、複数ファイルでの開発において「二重定義エラー」や「未定義シンボルエラー」に悩まされることがなくなります。

特にヘッダーファイルに変数の実体を書いてしまうミスは、中級者へステップアップする過程で誰もが経験する道です。

この記事を通じて、適切な使い分けをマスターし、より構造化された美しいC言語プログラムを記述できるようになりましょう。

現代のC言語（C23以降）においても、この基礎は変わりません。

むしろ、より厳格な型チェックやモジュール化が進む中で、宣言と定義を意識的に使い分けるスキルの重要性はさらに高まっています。