条件コンパイル

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

C++言語

一般的なトピック
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件付き実行文
if	switch
繰り返し文 (ループ)
for range-for (C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ関数宣言
inline 指定子
例外指定 (C++20未満)
noexcept 指定子 (C++11)
例外
throw 式	try-catch ブロック
名前空間
名前空間宣言	名前空間エイリアス
型
基本型 列挙型 関数型	複合型 共用体型
指定子
decltype (C++11) auto (C++11) alignas (C++11)	const/volatile constexpr (C++11)
記憶域期間指定子
初期化
デフォルト初期化 値初期化 ゼロ初期化 コピー初期化 直接初期化	集成体初期化 リスト初期化 (C++11) 定数初期化 参照初期化

式
値カテゴリ 評価順序	演算子 演算子の優先順位
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点
文字 - 文字列 - nullptr (C++11)
ユーザ定義 (C++11)
ユーティリティ
属性 (C++11)
型
typedef 宣言
型エイリアス宣言 (C++11)
キャスト
暗黙の変換 - 明示的な変換
static_cast - dynamic_cast
const_cast - reinterpret_cast
メモリ確保
new 式	delete 式
クラス
クラス宣言 コンストラクタ this ポインタ	アクセス指定子 friend 指定子
クラス固有の関数特性
仮想関数 override 指定子 (C++11) final 指定子 (C++11)	explicit (C++11) static
特別なメンバ関数
デフォルトコンストラクタ コピーコンストラクタ ムーブコンストラクタ (C++11)	コピー代入 ムーブ代入 (C++11) デストラクタ
テンプレート
クラステンプレート 関数テンプレート	テンプレートの特殊化 パラメータパック (C++11)
その他
インラインアセンブリ	C++ の歴史

 

プリプロセッサ

#if#ifdef#ifndef#else#elif#endif

#define#undef#,## 演算子

#include__has_include(C++17)

#error

#pragma_Pragma(C++11)

#line

 

プリプロセッサはソースファイルの一部の条件コンパイルをサポートします。 この動作は #if、 #else、 #elif、 #ifdef、 #ifndef および #endif 指令で制御されます。

構文

#if expression
#ifdef identifier
#ifndef identifier
#elif expression
#else
#endif

説明

条件プリプロセッシングブロックは #if、 #ifdef または #ifndef 指令で始まり、オプションで任意の数の #elif 指令を含み、オプションで多くとも1個の #else 指令を含み、 #endif 指令で終わります。 あらゆる内側の条件プリプロセッシングブロックは別々に処理されます。

#if、 #elif、 #else、 #ifdef および #ifndef 指令はそれぞれ、いかなる内側の条件プロセッシングブロックにも属していない最初の #elif、 #else、 #endif までのコードブロックを制御します。

#if、 #ifdef および #ifndef 指令は指定された条件をテストし (後述)、それが真に評価された場合、制御対象のコードブロックをコンパイルします。 その場合、後続の #else および #elif 指令は無視されます。 そうでなければ (指定された条件が偽に評価された場合)、制御対象のブロックはスキップされ、後続の #else または #elif 指令 (もしあれば) が処理されます。 前者の場合、その #else 指令の制御対象のコードブロックが無条件にコンパイルされます。 後者の場合、 #elif 指令は #if 指令であったかのように動作します。 条件をチェックし、その結果を基に制御対象のコードブロックをコンパイルするかスキップし、後者の場合は後続の #elif および #else 指令を処理します。 条件プリプロセッシングブロックは #endif 指令によって終了します。

条件の評価

#if, #elif

expression は定数式です。

式は defined identifier または defined (identifier) 形式の単項演算子を含むことができます。 identifier がマクロ名として定義されているまたは identifier が __has_include である (C++17以上)場合、結果は 1 であり、そうでなければ結果は 0 です。

すべてのマクロ展開および defined および __has_include (C++17以上) 式の評価の後、ブーリアンリテラルでないあらゆる識別子は数値 0 で置き換えられます (これは字句的にキーワードである識別子も含まれますが、 and のような代替トークンは含まれません。

expression が非ゼロの値に評価される場合、制御対象のコードブロックは含まれ、そうでなければ、スキップされます。

ノート: #if cond1 ... #elif cond2 ... は #if cond1 ... #else #if cond3 ... と異なります。 cond1 が真の場合、2つめの #if はスキップされ、 cond3 が well-formed である必要はありませんが、 #elif の cond2 は有効な式でなければなりません。

(C++14未満)

#ifdef, #ifndef

識別子が マクロ名として定義されている かどうか調べます。

#ifdef identifier は実質的に #if defined identifier と同等です。

#ifndef identifier は実質的に #if !defined identifier と同等です。

例

Run this code

#define ABCD 2
#include <iostream>

int main()
{

#ifdef ABCD
    std::cout << "1: yes\n";
#else
    std::cout << "1: no\n";
#endif

#ifndef ABCD
    std::cout << "2: no1\n";
#elif ABCD == 2
    std::cout << "2: yes\n";
#else
    std::cout << "2: no2\n";
#endif

#if !defined(DCBA) && (ABCD < 2*4-3)
    std::cout << "3: yes\n";
#endif
}

出力:

1: yes
2: yes
3: yes

欠陥報告

以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。

DR	適用先	発行時の動作	正しい動作
CWG 1955	C++14	failed #elif's expression was required to be valid	failed elif is skipped

関連項目

条件コンパイル の C言語リファレンス