Source file inclusion

現在のソースファイルに、他のソースファイルをディレクティブの直後の行に挿入します。

構文

説明

__has_include は #if および #elif の式内で展開可能です。 #ifdef 、 #ifndef 、 #elifdef 、 #elifndef (C++23以降) および defined によって定義済みマクロとして扱われますが、それ以外の場所では使用できません。

注記

典型的な実装では、構文 (1) に対して標準インクルードディレクトリのみを検索します。標準C++ライブラリと標準Cライブラリは、これらの標準インクルードディレクトリに暗黙的に含まれています。標準インクルードディレクトリは通常、コンパイラオプションを通じてユーザーが制御できます。

構文 (2) の意図は、実装によって制御されないファイルを検索することです。典型的な実装では、まず現在のファイルが存在するディレクトリを検索し、その後 (1) にフォールバックします。

ファイルがインクルードされると、それは 翻訳フェーズ 1-4によって処理され、これにはネストされた #include ディレクティブの再帰的な展開が含まれる場合があり、実装定義のネスト制限に達するまで続きます。同じファイルの重複インクルードや、ファイルが直接的または間接的に自身をインクルードした際の無限再帰を防ぐために、 ヘッダガード が一般的に使用されます：ヘッダ全体を以下のように囲みます

#ifndef FOO_H_INCLUDED /* any name uniquely mapped to file name */
#define FOO_H_INCLUDED
// ファイルの内容がここに記述されます
#endif

多くのコンパイラは非標準の pragma #pragma once も同様の効果で実装しています：同じファイル（ファイルの同一性はOS固有の方法で決定される）が既にインクルードされている場合、そのファイルの処理を無効にします。

q-char-sequence または h-char-sequence 内のエスケープシーケンスに類似する文字シーケンスは、実装によっては、エラーとなる場合、エスケープシーケンスに対応する文字として解釈される場合、または全く異なる意味を持つ場合があります。

__has_include の結果が 1 であることは、指定された名前のヘッダまたはソースファイルが存在することを意味するのみです。これは、そのヘッダやソースファイルがインクルードされた際にエラーが発生しないことや、有用な内容を含んでいることを保証するものではありません。例えば、C++14モードとC++17モードの両方をサポートするC++実装（かつC++14モードで準拠した拡張として __has_include を提供する場合）では、C++14モードにおいて __has_include ( < optional > ) が 1 を返す可能性がありますが、実際には #include <optional> がエラーを引き起こす場合があります。

例

#if __has_include(<optional>)
    #include <optional>
    #define has_optional 1
    template<class T>
    using optional_t = std::optional<T>;
#elif __has_include(<experimental/optional>)
    #include <experimental/optional>
    #define has_optional -1
    template<class T>
    using optional_t = std::experimental::optional<T>;
#else
    #define has_optional 0
    template<class V>
    class optional_t
    {
        V v{};
        bool has{};
    public:
        optional_t() = default;
        optional_t(V&& v) : v(v), has{true} {}
        V value_or(V&& alt) const&
        {
            return has ? v : alt;
        }
        // etc.
    };
#endif
#include <iostream>
int main()
{
    if (has_optional > 0)
        std::cout << "<optional> is present\n";
    else if (has_optional < 0)
        std::cout << "<experimental/optional> is present\n";
    else
        std::cout << "<optional> is not present\n";
    optional_t<int> op;
    std::cout << "op = " << op.value_or(-1) << '\n';
    op = 42;
    std::cout << "op = " << op.value_or(-1) << '\n';
}

<optional> is present
op = -1
op = 42

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目

• リソースインクルージョン (C++26以降)