conditional.md

conditional

• type_traits[meta header]
• std[meta namespace]
• class template[meta id-type]
• cpp11[meta cpp]

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

  template <bool B, class T, class F>
  using conditional_t = typename conditional<B,T,F>::type; // C++14
}

概要

コンパイル時条件式。

条件式がtrueかfalseかによって、使用する型を切り替える。

効果

conditionalは、条件式Bがtrueであれば型Tを、そうでなければ型Fを、メンバ型typeとして定義する。

備考

• この機能が標準ライブラリに導入される前、Boost C++ Librariesでは、boost::mpl::if_cやboost::mpl::if_という機能が使われていた。if_cが現在のconditionalであり、bool定数 (constantのc) を条件式としてとり、使用する型を分岐する。if_はstatic const bool valueをメンバとして持つ型をパラメータとしてとる高階メタ関数であり、標準ライブラリに直接採用されてはいない
• conditionalやboost::mpl::if_cを使う以外に、テンプレートの特殊化を使用する方法もあり、conditionalやboost::mpl::if_cはその手法を一般化したものである。

  template <bool>
  struct Conditional;
  
  template <>
  struct Conditional<true> {
    using type = int;
  };
  
  template <>
  struct Conditional<false> {
    using type = char;
  };

例

#include <type_traits>

static_assert(std::is_same<std::conditional<true, int, char>::type, int>::value, "select int");
static_assert(std::is_same<std::conditional<false, int, char>::type, char>::value, "select char");

int main() {}

• std::conditional[color ff0000]

出力

バージョン

言語

• C++11

処理系

• Clang: 3.0 [mark verified]
• GCC: 4.3.6 [mark verified]
• Visual C++: 2010 [mark verified], 2012 [mark verified], 2013 [mark verified], 2015 [mark verified]
  • conditional_tは、2013から。

関連項目

• C++17 if constexpr文

参照

• N2240 Two missing traits: enable_if and conditional
• N3546 TransformationTraits Redux
• N3655 TransformationTraits Redux, v2