Namespaces
Variants

std:: conditional

From cppreference.net
C++
Metaprogramming library
Type traits
Type categories
(C++11)
(C++11) ( DR* )
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
Type properties
(C++11)
(C++11)
(C++11)
(C++11)
(C++14)
(C++11)
(C++17)
(C++23)
(C++11) (deprecated in C++26)
(C++11)
(C++11)
(C++11) ( until C++20* )
(C++11) (deprecated in C++20)
(C++11)
(C++11)
(C++20)
(C++20)
(C++23)
(C++17)
Type trait constants
(C++11) (C++17) (C++11) (C++11)
Metafunctions
(C++17)
(C++17)
(C++17)
Supported operations
Relationships and property queries
Type modifications
Type transformations
(C++11) (deprecated in C++23)
(C++11) (deprecated in C++23)
(C++11)
(C++20)
(C++11) ( until C++20* ) (C++17)

conditional
(C++11)
(C++11)
(C++20)
(C++11)
(C++20)
(C++11)
(C++17)
Compile-time rational arithmetic
Compile-time integer sequences
(C++14)
定義先ヘッダ <type_traits>
template < bool B, class T, class F >
struct conditional ;
(C++11 以降)

メンバー型 type を提供します。これは、コンパイル時に B が true の場合 T として定義され、 B が false の場合 F として定義されます。

プログラムが std::conditional に対する特殊化を追加する場合、動作は未定義です。

目次

翻訳のポイント： - 「Contents」→「目次」に翻訳 - C++関連の用語（Member types、Helper types、Possible implementation、Example、See also）は原文のまま保持 - HTMLタグ、属性、クラス名、IDは一切変更せず - 数値、構造、フォーマットは完全に保持

メンバー型

メンバー型 定義
type T もし B == true 、 F もし B == false

ヘルパー型

template < bool B, class T, class F >
using conditional_t = typename conditional < B,T,F > :: type ;
(C++14以降)

実装例 

template<bool B, class T, class F>
struct conditional { using type = T; };
template<class T, class F>
struct conditional<false, T, F> { using type = F; };

例

このコードを実行 
#include <iostream>
#include <type_traits>
#include <typeinfo>
int main() 
{
    using Type1 = std::conditional<true, int, double>::type;
    using Type2 = std::conditional<false, int, double>::type;
    using Type3 = std::conditional<sizeof(int) >= sizeof(double), int, double>::type;
    std::cout << typeid(Type1).name() << '\n';
    std::cout << typeid(Type2).name() << '\n';
    std::cout << typeid(Type3).name() << '\n';
}

出力例: 

int
double
double

関連項目

(C++11)
オーバーロード解決から関数オーバーロードまたはテンプレート特殊化を条件付きで 除去する
(クラステンプレート)