C++の基礎 - プリプロセッサ

提供：MochiuWiki - SUSE, Electronic Circuit, PCB
ナビゲーションに移動 検索に移動

概要

プリプロセッサはC++コンパイルの最初の段階で動作する重要な機能である。
ソースコードがコンパイラに渡される前に、プリプロセッサがテキスト操作を行う。

主な役割として、ディレクティブの処理がある。
ディレクティブは#で始まる特殊な命令であり、コードの条件付きコンパイル、マクロの定義・展開等を制御する。

例えば、#includeディレクティブは指定されたファイルの内容をその場所に挿入する。
これにより、ヘッダファイルの内容を効率的にソースコードに取り込むことができる。
#defineディレクティブはマクロを定義する。
マクロは、単純なテキスト置換、引数を取る関数のような複雑なものまで可能である。
これにより、コードの再利用性や可読性を向上させることができる。

条件付きコンパイルも重要な機能である。
#ifdef、#ifndef等のディレクティブを使用して、特定の条件下でのみコードをコンパイルすることができる。
これは異なるプラットフォームやコンパイラ向けのコードを管理する際に非常に有効である。

プリプロセッサは以下に示すような順序で動作する。

  1. トリグラフの置換 (古い機能で、現代ではあまり使用されていない)
  2. 行連結 (バックスラッシュで終わる行を次の行と連結)
  3. トークン化 (ソースコードをトークンに分割)
  4. ディレクティブの処理
  5. マクロ展開
  6. 文字列リテラル内のエスケープシーケンスの変換


プリプロセッサの過度の使用は可読性を損なう可能性があり、デバッグを困難にすることがある。
また、名前空間を汚染する可能性もあるため、現代のC++では可能な限りプリプロセッサの使用を避け、代わりにconstexpr、テンプレート、インライン関数等の言語機能を使用することが推奨されている。


条件付きインクルード

条件付きインクルードは、C++のプリプロセッサ機能の1つで、特定の条件下でのみヘッダファイルをインクルードする方法である。
これは、コードの重複インクルードを防いで、コンパイル時間を短縮、プラットフォーム依存の問題を解決するのに役立つ。

#ifdef / #ifndef / #elif / #endif

主に使用されるのは、#ifndefと#defineの組み合わせである。
これは、インクルードガードと呼ばれる技術である。

以下の例では、ヘッダファイルが複数回インクルードされた場合でも、実際には1度のみ処理されている。

 #ifndef SOME_UNIQUE_NAME_H
 #define SOME_UNIQUE_NAME_H
 
 // ヘッダファイルの内容
 
 #endif


また、#ifと#elifを使用して、より複雑な条件分岐を作成することもできる。
以下の例では、コンパイル環境に応じて適切なヘッダファイルをインクルードしている。

 #if defined(_WIN32)
    #include <windows.h>
 #elif defined(__APPLE__)
    #include <MacOS.h>
 #else
    #include <unistd.h>
 #endif


条件付きインクルードは、以下に示すような状況で特に有効である。

  • 循環依存性の回避
    複数のヘッダファイルが相互に依存している場合
  • プラットフォーム固有のコード管理
    異なるOSやハードウェア向けのコードを1つのプロジェクトで管理する場合
  • コンパイル時の最適化
    特定の機能が必要な場合にのみ、関連するヘッダファイルをインクルードすることでコンパイル時間を短縮できる。


※注意
ただし、過度に複雑な条件付きインクルードはコードの可読性を低下させ、保守を困難にする可能性がある。
そのため、可能な限りシンプルに保ち、必要な場合にのみ使用することが推奨される。

また、モダンなC++では、モジュールシステムの導入により、従来のヘッダファイルとインクルードガードの必要性が減少しつつある。
しかし、レガシーコードや特定の状況では、条件付きインクルードは依然として重要な役割を果たしている。

__has_include

条件付きインクルードを行うには、__has_includeプリプロセッサディレクティブを使用する必要がある。
ただし、__has_includeは、C++ 17以降で利用可能な機能である。

 #if __has_include("hoge.h")
    #include "hoge.h"
 #elif __has_include("piyo.h")
    #include "piyo.h"
 #endif


  1. まず __has_include("hoge.h") では、hoge.hファイルの存在を確認する。
  2. hoge.hファイルが存在する場合は、それをインクルードする。
  3. hoge.hファイルが存在しない場合は、__has_include("piyo.h") で piyo.hファイルの存在を確認する。
  4. piyo.hファイルが存在する場合は、それをインクルードする。


※注意
この方法は、コンパイル時にチェックを行う。
実行時のファイル存在チェックではないことに注意する。


「https://mochiuwiki.online/index.php?title=C%2B%2Bの基礎_-_プリプロセッサ&oldid=10778」から取得