C++プリプロセッサ入門：#defineマクロと条件付きコンパイルの基本をわかりやすく解説

プリプロセッサ（前処理器）とは、実際のコンパイルが始まる前に、コンパイラへ情報の前処理を指示するためのディレクティブ（指令）のことです。ソースコードをコンパイルする前に、テキストレベルでコードを書き換えたり調整したりする役割を担っています。

すべてのプリプロセッサディレクティブは「#」で始まり、その行では「#」より前に空白文字（スペースやタブ）しか置けません。また、プリプロセッサディレクティブはC++の文ではないため、行末にセミコロン（;）を付けない点に注意しましょう。

これまでの例でも「#include」ディレクティブを目にしたことがあるでしょう。これはヘッダファイルをソースファイルに取り込むためのマクロです。

C++には、#include、#define、#if、#else、#line など、さまざまなプリプロセッサディレクティブが用意されています。ここでは、特によく使われる重要なディレクティブを見ていきましょう。

#define プリプロセッサ

#define ディレクティブは、シンボリック定数（記号定数）を作成します。このシンボリック定数はマクロと呼ばれ、一般的な書式は次のとおりです。

#define マクロ名 置換テキスト

この定義以降、ソースコード内で「マクロ名」が現れるたびに、プリプロセッサが自動的に「置換テキスト」へ置き換えます。

サンプルコード

#include <iostream>
using namespace std;

#define PI 3.14159

int main () {
    cout << "Value of PI :" << PI << endl;
    return 0;
}

実行結果

Value of PI :3.14159

条件付きコンパイル

プログラムのソースコードの一部だけを選択的にコンパイルするためのディレクティブもいくつか存在します。この仕組みを条件付きコンパイルと呼びます。

条件付きプリプロセッサの構造は、C++の if 選択文に非常によく似ています。次のプリプロセッサコードを見てください。

#ifndef NULL
    #define NULL 0
#endif

この例では、NULL がまだ定義されていない場合にのみ、NULL を 0 として定義します。#ifndef（未定義なら）と #endif の組み合わせにより、二重定義を防ぐことができます。

また、デバッグ目的でプログラムをコンパイルすることもできます。1つのマクロを使ってデバッグ機能のオン・オフを切り替えるには、次のように記述します。

#ifdef DEBUG
cerr <<"Variable x = " << x << endl;
#endif

このコードは、#ifdef DEBUG より前にシンボリック定数 DEBUG が定義されていれば、cerr 文がプログラムにコンパイルされます。DEBUG が定義されていない場合は、この部分は完全に無視されるため、リリース版ではデバッグ出力が消える仕組みです。

さらに、「#if 0」文を使うと、プログラムの一部をまとめてコメントアウトできます。

#if 0
    コンパイルされないコード
#endif

通常のコメント /* */ は入れ子にできませんが、#if 0 を使えば大きなブロックを丸ごと無効化できるため、一時的にコードを退避させたいときに便利です。

サンプルコード

#include <iostream>
using namespace std;
#define DEBUG

#define MIN(a,b) (((a)<(b)) ? a : b)

int main () {
    int i, j;
    i = 100;
    j = 30;

    #ifdef DEBUG
        cerr <<"Trace: Inside main function" << endl;
    #endif

    #if 0
        /* ここはコメントアウトされた部分 */
        cout << MKSTR(HELLO C++) << endl;
    #endif

    cout <<"The minimum is " << MIN(i, j) << endl;

    #ifdef DEBUG
        cerr <<"Trace: Coming out of main function" << endl;
    #endif

    return 0;
}

実行結果

Trace: Inside main function
The minimum is 30
Trace: Coming out of main function

この例では、DEBUG が定義されているため、トレースメッセージが出力されています。もし「#define DEBUG」の行を削除すれば、トレースメッセージは表示されず、最小値の出力のみが行われます。関数形式マクロ MIN(a,b) は、引数として渡された2つの値のうち小さい方を返すマクロです。

主なプリプロセッサディレクティブ一覧

• #include：ヘッダファイルなどの外部ファイルを取り込む
• #define / #undef：マクロを定義する／定義を解除する
• #ifdef / #ifndef：マクロが定義されている／されていない場合にコンパイルする
• #if / #else / #elif / #endif：条件に応じてコンパイル範囲を切り替える
• #line：行番号やファイル名の情報を変更する
• #error：指定したメッセージを出力してコンパイルを中断させる
• #pragma：処理系固有の動作をコンパイラに指示する

プリプロセッサを上手に活用すると、デバッグコードの制御や環境ごとのビルド設定の切り替えなど、柔軟なプログラム管理が可能になります。ただし、マクロは型チェックが行われないため、乱用せず必要な場面で適切に使うことが大切です。