ホーム / C言語 /

C言語のマクロ定義を徹底解説！#defineの基本から注意点まで

2025年4月15日火曜日

C言語

C言語のマクロ定義、コードを書いていて「#define」って出てきて、これなんだ？ってなった経験、ありませんか？

なんとなく便利そうだけど、使い方がいまいちピンとこない…そんな方もいるかもしれませんね。

この機能、実はC言語の「プリプロセッサ」っていう、コンパイルの前処理で活躍するやつなんです。

この記事では、そんなC言語のマクロ定義について、基本のキから、実際の書き方、サンプルコードを使った使い方、そして「ここに気を付けて！」っていうポイントまで、バッチリ解説していきます。

この記事を読むと、こんなことが分かります。

  • マクロ定義 (#define) が何をするものなのか
  • 定数や関数みたいなマクロの書き方
  • 実際のコードでのマクロの使い方
  • マクロを使うときに気を付けるべき落とし穴


C言語のマクロ定義 (#define) とは何か？

まず、「マクロ定義」って一体何者なのか、そこからいきましょう。

C言語のプログラムは、コンパイルっていう翻訳作業を経て実行ファイルになりますよね。
実はそのコンパイルの前に、「プリプロセッサ」っていう下準備専門のプログラムが動いているんです。

マクロ定義は、このプリプロセッサに対する指示の一つで、#define という目印を使って書きます。

簡単に言うと、「この単語が出てきたら、こっちの文字列に置き換えてね！」という指示をプリプロセッサに出すのがマクロ定義の役割です。
まさに、コードの中の単語を一斉に書き換える、テキスト置換のようなイメージですね。

例えば、#define PI 3.14159 と書いておくと、プリプロセッサはコード中の PI という単語を全部 3.14159 に置き換えてから、コンパイラにデータを渡してくれる、という流れになります。

C言語のマクロ定義の基本的な書き方

#define を使ったマクロ定義には、大きく分けて2つのタイプがあります。

数字や文字列みたいな「値」に名前を付けるタイプと、まるで関数みたいに使えるタイプです。

それぞれ見ていきましょう。

定数を定義するマクロ（オブジェクト形式マクロ）

まずは、特定の「値」に名前を付ける、シンプルなマクロです。
これは「オブジェクト形式マクロ」と呼ばれたりします。

書き方はこんな感じです。

#define 識別子 置換リスト

「識別子」というのがマクロの名前、「置換リスト」が置き換え後の文字列になります。
識別子と置換リストの間は、スペースやタブで区切ります。

よく使われるのは、プログラムの中で何度も使う数字（定数）に分かりやすい名前を付ける場合ですね。
例えば、円周率や配列のサイズとか。

#define PI 3.14159
#define ARRAY_SIZE 100
#define MESSAGE "Hello, C World!"

こうしておくと、後で円周率の精度を上げたくなった時も、#define の行だけ修正すれば、コード中のすべての PI が新しい値に置き換わるので、修正が楽ちんになります。

ちなみに、マクロ名は慣習的に全部大文字で書くことが多いです。普通の変数と区別しやすくするためですね。

関数のように使えるマクロ（関数形式マクロ）

次に、引数を取って、関数みたいに使えるマクロです。

これは「関数形式マクロ」と呼ばれます。
書き方はこちら。

#define 識別子(引数リスト) 置換リスト

識別子の直後に括弧 `()` が来て、その中に引数を書くのがポイントです。引数が複数ある場合はコンマ `,` で区切ります。

例えば、受け取った数値を二乗するマクロは、こんな風に書けます。

#define SQUARE(x) (x)*(x)

こう定義しておくと、コードの中で y = SQUARE(5); みたいに書けるようになります。
プリプロセッサは SQUARE(5) の部分を (5)*(5) に置き換えてくれる、という仕組みです。

あれ？なんで (x)*(x) みたいに、やたら括弧が多いの？って思いませんか？
実は、この括弧がめちゃくちゃ大事なんです。理由は後で「注意点」のところで詳しく説明しますね！

C言語のマクロ定義の使い方

さて、定義の仕方が分かったところで、実際にどうやってコードの中で使うのか、短いプログラムで見てみましょう。

オブジェクト形式マクロと関数形式マクロ、両方の例を用意しました。

オブジェクト形式マクロの利用例

まずは定数を定義するオブジェクト形式マクロを使った例です。
配列のサイズと、ループの回数をマクロで定義してみます。

#include <stdio.h>

#define ARRAY_SIZE 5
#define LOOP_COUNT 3

int main(void) {
    int i;
    int data[ARRAY_SIZE]; // マクロで配列サイズを指定

    printf("配列のサイズは %d です。\n", ARRAY_SIZE);
    printf("ループを %d 回実行します。\n", LOOP_COUNT);

    // 配列に値を代入 (ここでは例としてループ回数分だけ)
    for (i = 0; i < LOOP_COUNT; i++) {
        data[i] = i * 10;
        printf("data[%d] に %d を代入しました。\n", i, data[i]);
    }

    // もしARRAY_SIZEを変更したら、ここのループ条件も変える必要があるかもしれない
    // でも、マクロを使えば一箇所変更するだけで済む
    printf("配列の要素数はマクロで定義: %d\n", ARRAY_SIZE); 

    return 0;
}

ソースコードの表示結果:

配列のサイズは 5 です。
ループを 3 回実行します。
data[0] に 0 を代入しました。
data[1] に 10 を代入しました。
data[2] に 20 を代入しました。
配列の要素数はマクロで定義: 5

解説:
#define ARRAY_SIZE 5 と #define LOOP_COUNT 3 でマクロを定義しました。
プログラム中の ARRAY_SIZE はプリプロセッサによって全部 5 に、LOOP_COUNT は 3 に置き換えられます。

だから、int data[ARRAY_SIZE]; は int data[5]; と同じ意味になりますし、printf 文の中や for ループの条件式でも、定義した値が使われているのが分かりますね。


もし後で配列のサイズを 10 に変えたくなったら、#define ARRAY_SIZE 5 を #define ARRAY_SIZE 10 に書き換えるだけでOK。コードのあちこちを修正する必要がなくて便利です。これがオブジェクト形式マクロの大きなメリットです。

関数形式マクロの利用例

次に関数形式マクロです。二つの値のうち、大きい方を返すマクロを作ってみましょう。

#include <stdio.h>

// a と b のうち大きい方を返す関数形式マクロ
// (注意: この書き方には後述する問題点があります！)
// #define MAX(a, b) ((a) > (b) ? (a) : (b)) 

// より安全な括弧の使い方をした例
#define MAX_SAFE(a, b) (((a) > (b)) ? (a) : (b))

int main(void) {
    int x = 10;
    int y = 20;
    int max_val;

    max_val = MAX_SAFE(x, y); // マクロを使って大きい方の値を取得
    printf("%d と %d では、 %d の方が大きいです。\n", x, y, max_val);

    int a = 5 + 5; // 10
    int b = 3 * 5; // 15
    max_val = MAX_SAFE(a, b);
    printf("%d と %d では、 %d の方が大きいです。\n", a, b, max_val);
    
    // ちょっと意地悪な例 (注意点の伏線)
    int i = 1;
    max_val = MAX_SAFE(i++, 5); // i++ を引数に使うと...？
    printf("MAX_SAFE(i++, 5) の結果: %d, 実行後の i: %d\n", max_val, i);


    return 0;
}

ソースコードの表示結果:

10 と 20 では、 20 の方が大きいです。
10 と 15 では、 15 の方が大きいです。
MAX_SAFE(i++, 5) の結果: 5, 実行後の i: 3

解説:
#define MAX_SAFE(a, b) (((a) > (b)) ? (a) : (b)) で、二つの引数 a と b を比較し、大きい方を返すマクロを定義しました。三項演算子を使っていますね。

max_val = MAX_SAFE(x, y); は、プリプロセッサによって max_val = (((x) > (y)) ? (x) : (y)); というコードに置き換えられます。

結果として、x (10) と y (20) を比較して大きい方の 20 が max_val に代入されます。
MAX_SAFE(a, b) の例でも同様に、a (10) と b (15) が比較されて 15 が代入されています。

最後の MAX_SAFE(i++, 5) の結果、ちょっと不思議じゃないですか？ i が 1 だったのに、結果は 5 で、実行後の i は 3 になっています。これは関数形式マクロ特有の落とし穴なんです。次の注意点で詳しく見ていきましょう。

C言語のマクロ定義における注意点

マクロは便利ですが、使い方を間違えると本当に厄介なバグを生み出します。
ここでは、特に初心者がハマりやすい、絶対に知っておくべき注意点を3つ紹介します。

【注意点1】括弧 () の省略による意図しない計算結果

関数形式マクロでは、引数と置換リスト全体を、これでもか！というくらい括弧 `()` で囲むのが鉄則です。
これを怠ると、思わぬ計算結果になることがあります。

例えば、二乗するマクロを、括弧を省略してこう書いたとしましょう。

#define NG_SQUARE(x) x*x // これは危険な書き方！

一見問題なさそうですが、次のように呼び出すとどうなるでしょう？

int result = NG_SQUARE(2 + 3); // 期待するのは (2+3)*(2+3) = 5*5 = 25 だけど...

プリプロセッサは、単純に文字を置き換えるだけなので、NG_SQUARE(2 + 3) はこう展開されます。

int result = 2 + 3 * 2 + 3;

C言語の演算子の優先順位により、掛け算 * が足し算 + より先に計算されます。
つまり、3 * 2 が先に計算されて 6 になり、result = 2 + 6 + 3; となって、結果は 11 になってしまいます！期待した 25 とは全然違いますよね。

これを防ぐために、引数と置換リスト全体を括弧で囲む必要があるのです。

#define OK_SQUARE(x) ((x)*(x)) // これが正しい書き方

こう書いておけば、OK_SQUARE(2 + 3) は次のように展開されます。

int result = ((2 + 3)*(2 + 3)); // (5)*(5) となり、期待通り 25 になる

関数形式マクロを書くときは、引数と全体を括弧で囲む！これは絶対に覚えておきましょう。

【注意点2】副作用のある引数と複数回評価

先ほどの MAX_SAFE(i++, 5) の例を思い出してください。結果が 5 で、i が 3 になりましたね。
これは、マクロの引数に i++ のような「副作用」（式を評価すると変数の値が変わるなど、計算以外の影響があること）を持つ式を使うと、予期せぬ動作を引き起こすことがあるからです。

MAX_SAFE(a, b) は (((a) > (b)) ? (a) : (b)) と展開されます。
ここに a = i++, b = 5 を当てはめると、こうなります。

(((i++) > (5)) ? (i++) : (5))

さあ、何が起こるか見てみましょう。

  1. まず条件式 (i++) > (5) が評価されます。この時点で i は 1 なので、1 > 5 は偽 (false) です。そして、この評価の副作用で i が 2 になります。
  2. 条件式が偽だったので、 : の後、つまり (5) が式の値として採用されます。なので、マクロ全体の結果は 5 になります。（これが printf で表示された値です）
  3. おっと、ここで終わりではありません。実は、条件式が偽だった場合でも、C言語の仕様によっては、あるいはコンパイラの実装によっては、三項演算子の「真の場合」の式 (i++) も（結果には使われないものの）評価されてしまうことがあるのです！ （※必ず評価されるわけではありませんが、危険性はあります）。もし評価された場合、ここでさらに i がインクリメントされ、3 になります。（これが実行後の i の値です）

もし仮に最初に i が 6 だったら、条件 (i++) > (5) は真になり、? の後 (i++) が結果として採用され、さらに i がインクリメント…と、もっと複雑なことになります。

このように、関数形式マクロの引数に i++ や --i 、関数呼び出しなど副作用のある式を渡すと、それが複数回評価されてしまい、まったく予想外の動作をする可能性があります。

非常にデバッグが困難なバグの原因になるので、副作用のある式は関数形式マクロの引数には渡さないようにしましょう。そういう場合は、素直に通常の関数を使うのが安全です。

【注意点3】セミコロンの扱いとデバッグの難しさ

マクロ定義の行末には、基本的にセミコロン ; を付けません。

#define GOOD_PI 3.14159 // OK
#define BAD_PI 3.14159; // NG! 行末にセミコロンは付けない

もし付けてしまうと、マクロが展開されたときに、予期せぬ場所にセミコロンが出現してしまい、コンパイルエラーの原因になることがあります。

// BAD_PI を使うと...
double circumference = 2 * BAD_PI * radius;
// ↓ プリプロセッサでこう展開される
// double circumference = 2 * 3.14159; * radius; // ← 余計なセミコロンが出現！エラーになる

また、マクロはコンパイル前にテキストとして置き換えられてしまうため、デバッグが少しやっかいになることがあります。

コンパイルエラーが出たとき、エラーメッセージが元のマクロ名ではなく、展開後のコードを指していることがあるので、原因特定に少し手間取るかもしれません。
デバッガでステップ実行するときも、マクロは一瞬で展開後のコードに置き換わってしまうため、マクロ自体の動作を追うのが難しいことがあります。

マクロを使うと、こういう少し面倒な側面もある、と頭の片隅に置いておくと良いでしょう。

【まとめ】C言語のマクロ定義を理解して正しく使おう

今回は、C言語のマクロ定義 (#define) について、基本から使い方、そして特に気を付けたい注意点まで解説してきました。

ポイントを振り返ってみましょう。

  • マクロ定義はプリプロセッサによるテキスト置換の仕組み。
  • #define 名前 値 で定数を定義できる (オブジェクト形式)。
  • #define 名前(引数) 処理 で関数みたいに使えるマクロも作れる (関数形式)。
  • 関数形式マクロでは、引数と全体をしっかり括弧 `()` で囲むことが超重要！
  • マクロの引数に i++ のような副作用のある式を使うのは危険！
  • マクロ定義の行末にセミコロン ; は付けない。
  • マクロは便利だけど、デバッグが少し難しくなることもある。

マクロは、適切に使えばコードの可読性を上げたり、修正を楽にしてくれる便利な機能です。
しかし、その仕組みと注意点を理解せずに使うと、思わぬバグに繋がる諸刃の剣でもあります。

この記事で学んだことを活かして、マクロのメリットを享受しつつ、落とし穴をしっかり避けて、より良いC言語のコードを書けるようになってくださいね！


【関連記事】

>> C言語とは？特徴・できること・学ぶメリット

このブログを検索
  • ()

自己紹介

自分の写真
リモートワークでエンジニア兼Webディレクターとして活動しています。プログラミングやAIなど、日々の業務や学びの中で得た知識や気づきをわかりやすく発信し、これからITスキルを身につけたい人にも役立つ情報をお届けします。 note → https://note.com/yurufuri X → https://x.com/mnao111

QooQ