C言語のマクロとは？#defineによる文字列置換の仕組みと使い方を徹底解説

C言語におけるマクロ置換（マクロ展開）とは、文字列を別の文字列に置き換える仕組みのことです。この機能は、#defineディレクティブを使うことで実現できます。

マクロは、プログラムの実行前に処理されるのが大きな特徴です。コンパイルの前段階である「プリプロセス」の時点で、マクロ定義の第一部分が第二部分に置き換えられます。

なお、置き換え対象となる第一部分には、関数形式のものとオブジェクト形式（定数など）の2種類があります。

マクロの基本構文

マクロを定義する構文は以下の通りです。

#define 第一部分 第二部分

この定義により、コード内に現れるすべての「第一部分」が「第二部分」に置き換えられます。

サンプルプログラム1：関数形式マクロ

次のプログラムでは、引数を持つ関数形式のマクロを定義しています。コード中のすべてのsquare(a)がa*aに置き換えられます。

#include<stdio.h>
#define square(a) a*a
int main(){
    int b,c;
    printf("bの値を入力してください：");
    scanf("%d",&b);
    c=square(b); // プログラム実行前に c=b*b に置き換えられる
    printf("%d",c);
    return 0;
}

実行結果

bの値を入力してください：4
16

この例では、c=square(b)という記述が、プログラムの実行前にc=b*bへと展開されます。そのため、入力値4に対して計算結果16が出力されます。

サンプルプログラム2：式を置き換えるマクロ

続いて、数式全体をマクロとして定義した例を見てみましょう。

#include<stdio.h>
#define equation (a*b)+c
int main(){
    int a,b,c,d;
    printf("a、b、cの値を入力してください：");
    scanf("%d %d %d",&a,&b,&c);
    d=equation; // プログラム実行前に d=(a*b)+c に置き換えられる
    printf("%d",d);
    return 0;
}

実行結果

a、b、cの値を入力してください： 4 7 9
37

この場合、d=equationは実行前にd=(a*b)+cへと置き換えられます。入力値が4、7、9であれば、(4×7)+9＝37という計算結果が出力されます。

マクロ使用時の注意点

マクロは便利な機能ですが、いくつか注意すべき点があります。

• 演算子の優先順位： #define square(a) a*aのように括弧を付けないと、square(b+1)がb+1*b+1に展開され、意図しない結果になります。安全のため#define square(a) ((a)*(a))のように括弧で囲むのが定石です。
• 型チェックがない： マクロは単純な文字列置換なので、関数と異なり引数の型チェックが行われません。
• デバッグの難しさ： 展開後のコードがエラーメッセージに表示されるため、原因の特定が難しくなることがあります。

これらの点を理解した上で活用すれば、マクロはコードの可読性向上や定数の一元管理に役立つ強力な機能です。