名前空間
変種
操作

std::conditional

From cppreference.com
< cpp‎ | types
 
 
メタプログラミングライブラリ
型特性
型のカテゴリ
(C++11)
(C++11)(DR*)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11)
(C++11) 
(C++11)
(C++11)
型のプロパティ
(C++11)
(C++11)
(C++14)
(C++11)(C++26で非推奨)
(C++11)(C++20まで*)
(C++11)(C++20で非推奨)
(C++11)
型特性定数
メタ関数
(C++17)
サポートされている操作
関係とプロパティクエリ
型の変更
(C++11)(C++11)(C++11)
型の変換
(C++11)(C++23で非推奨)
(C++11)(C++23で非推奨)
(C++11)
(C++11)(C++20まで*)(C++17)

conditional
(C++11)
(C++11)
(C++17)
コンパイル時有理数演算
コンパイル時整数シーケンス
 
ヘッダ <type_traits> で定義
template< bool B, class T, class F >
struct conditional;
(C++11以降)

コンパイル時にBtrueならTとして、BfalseならFとして定義されるメンバ型typeを提供します。

プログラムがstd::conditionalの特殊化を追加した場合、動作は未定義となります。

目次

[編集] メンバ型

メンバ型 定義
type B == true ならTB == false ならF

[編集] ヘルパー型

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)
条件に応じて関数のオーバーロードやテンプレートの特殊化をオーバーロード解決から除外する
(クラステンプレート) [編集]
English 日本語 中文(简体) 中文(繁體)