Loading article…
コンピュータサイエンスにおいて、プリプロセッサ（またはプリコンパイラ）[ 1 ]とは、入力データを処理して、別のプログラムへの入力として使用される出力を生成するプログラムです。出力は入力データの前処理された形式と呼ばれ、コンパイラなどの後続のプログラムによってよく使用されます。実行される処理の量と種類はプリプロセッサの性質によって異なります。一部のプリプロセッサは比較的単純なテキスト置換とマクロ展開しか実行できませんが、他のプリプロセッサは本格的なプログラミング言語の力を持っています。
コンピュータプログラミングにおける一般的な例としては、コンパイルの次のステップの前にソースコードに対して行われる処理が挙げられます。一部のプログラミング言語（C言語やPL/Iなど）では、プリプロセッシングと呼ばれる変換フェーズが存在します。これには、マクロ処理、ファイルインクルード、言語拡張なども含まれます。
字句プリプロセッサは、字句解析のみを必要とするため、プリプロセッサの中で最も低レベルです。つまり、構文解析を行う前に、ソーステキストに対して、ユーザー定義のルールに従ってトークン化された文字シーケンスを別のトークン化された文字シーケンスに単純に置換する処理を実行します。通常、マクロ置換、他のファイルのテキストインクルード、条件付きコンパイルまたはインクルードを実行します。
この最も一般的な例はC言語のプリプロセッサで、'#'で始まる行をディレクティブとして受け取ります。C言語のプリプロセッサは、入力がC言語の構文を使用することを想定していません。一部の言語は異なるアプローチを取り、組み込みの言語機能を使用して同様のことを実現します。たとえば、次のようになります。
その他の字句プリプロセッサとしては、汎用的なm4 （ autoconfなどのクロスプラットフォームビルドシステムで最も一般的に使用されている）や、コンテキストのパターンに基づいて動作するオープンソースのマクロプロセッサであるGEMAなどがある。
構文プリプロセッサは、 Lisp系の言語とともに導入されました。その役割は、ユーザーが定義した複数のルールに従って構文木を変換することです。一部のプログラミング言語では、ルールはプログラムと同じ言語で記述されます（コンパイル時リフレクション）。LispやOCamlがこれに該当します。一方、 XML用のXSLTプリプロセッサや、その静的型付け版であるCDuceのように、変換を定義するために完全に外部の言語に依存する言語もあります。
構文プリプロセッサは、一般的に言語の構文をカスタマイズしたり、新しい基本要素を追加して言語を拡張したり、汎用言語の中にドメイン固有プログラミング言語（DSL）を埋め込んだりするために使用されます。
構文のカスタマイズの良い例として、Objective Camlプログラミング言語に 2 つの異なる構文が存在することが挙げられます。[ 2 ]プログラムは「標準構文」または「改訂構文」のどちらを使用しても区別なく記述でき、必要に応じてどちらの構文でも整形出力できます。
同様に、 OCamlで書かれた多くのプログラムは、新しい演算子を追加することで言語の構文をカスタマイズしている。
マクロによる言語拡張の最良の例は、Lisp系の言語に見られます。Lisp自体は単純な動的型付けの関数型言語ですが、SchemeやCommon Lispの標準ディストリビューションでは、命令型プログラミングやオブジェクト指向プログラミング、さらには静的型付けも可能です。これらの機能のほぼすべては構文プリプロセッシングによって実装されていますが、Lispではコンパイルの「マクロ展開」フェーズはコンパイラによって処理されることに注意が必要です。これはコンパイルの他のフェーズよりも前に行われるため、プリプロセッシングの一種とみなすことができます。
Lispファミリーの言語の特異な特徴の 1 つは、マクロを使用して内部 DSL を作成できることです。通常、大規模なLispベースのプロジェクトでは、モジュールはさまざまなミニ言語で記述される可能性があり、たとえば、1 つのモジュールはSQLベースのLisp方言を使用し、別のモジュールはGUIや整形出力に特化した方言を使用するなどです。Common Lispの標準ライブラリには、このレベルの構文抽象化の例として LOOP マクロが含まれています。これは、複雑な反復処理を記述するための Algol のようなミニ言語を実装しつつ、標準 Lisp 演算子の使用も可能にします。
MetaOCamlプリプロセッサ／言語は、外部DSLに対しても同様の機能を提供します。このプリプロセッサは、言語（すなわちインタプリタ）のセマンティクス記述を受け取り、コンパイル時解釈とコード生成を組み合わせることで、その定義をOCamlプログラミング言語へのコンパイラに変換し、さらにその言語からバイトコードまたはネイティブコードを生成します。
ほとんどのプリプロセッサは、特定のデータ処理タスク（例えば、C言語のコンパイル）に特化しています。一方、汎用プリプロセッサとして宣伝されるものもあり、これは特定の用途やプログラミング言語を対象としておらず、幅広いテキスト処理タスクに使用できることを意図していることを意味します。
M4はおそらくこのような汎用プリプロセッサの最もよく知られた例ですが、CプリプロセッサはC言語に特化しない用途で使用されることもあります。例：
