conditional_t和enable_if_t的实现

conditional,enable,if,实现 · 浏览次数 : 9

小编点评

**Conditional_t** ```cpp template using conditional_t = typename __conditional<_Cond, _Tp, _Else>::type; ``` **Enable_if_t** ```cpp template using enable_if_t = typename enable_if<_Cond, _Tp>::type; ``` **区别** * **conditional_t** 是一个模板函数，可以用于检查各种类型并根据条件指定类型。 * **enable_if_t** 是一个模板类，可以用于检查条件并根据条件定义类型。 **用途** * **conditional_t** 可以用于创建根据条件创建类型的新类型。 * **enable_if_t** 可以用于创建根据条件定义类型的新类，并在该类中定义特定的类型。

正文

conditional_t和enable_if_t是元编程里面很相似却有有着一定区别的模板。形如conditional_t<_Cond, _If, _Else>是指如果_Cond表达式为true，则类型为_If，否则类型为_Else。而形如enable_if_t<_Cond, _Tp>是指如果_Cond表达式为true，则类型为_Tp，否则不定义类型。

conditional_t的标准实现

template<bool>
    struct __conditional
    {
      template<typename _Tp, typename>
	using type = _Tp;
    };

  template<>
    struct __conditional<false>
    {
      template<typename, typename _Up>
	using type = _Up;
    };

  // More efficient version of std::conditional_t for internal use (and C++11)
  template<bool _Cond, typename _If, typename _Else>
    using __conditional_t
      = typename __conditional<_Cond>::template type<_If, _Else>;

这里指出一点，最后一行::后面的template其实可以去掉，变成::type<_If, _Else>。

enable_if_t的实现

template<bool, typename _Tp = void>
    struct enable_if
    { };

  // Partial specialization for true.
  template<typename _Tp>
    struct enable_if<true, _Tp>
    { typedef _Tp type; };

  // __enable_if_t (std::enable_if_t for C++11)
  template<bool _Cond, typename _Tp = void>
    using __enable_if_t = typename enable_if<_Cond, _Tp>::type;

对true类型进行了特化，只有true的时候才定义类型，否则不定义任何类型。_Tp的默认缺省类型是void。

关于enable_if_t的简单应用，在之前的C++系列里面也有提到过。