C++ 条件类型定义

在 C++ 中，条件类型定义（Conditional Typedef）可以让我们根据某些条件来选择性地定义一些类型，这是一种非常灵活的编程方式。本文将介绍条件类型定义的使用方法并给出示例代码。

语法

条件类型定义的语法格式为：

template <bool T, class U, class V>
struct conditional {
  typedef U type;
};
 
template <class U, class V>
struct conditional<false, U, V> {
  typedef V type;
};

其中，T 表示条件，如果为真则 conditional 结构体的 type 成员类型为 U，否则为 V。

示例代码

下面是一个使用条件类型定义的示例代码，其中根据不同的条件分别定义了 Type 类型：

#include <iostream>
#include <type_traits>
 
template<bool B, class T = void>
using enable_if_t = typename std::enable_if<B, T>::type; // C++11 引入的类型别名语法
 
template<class T>
using remove_cv_t = typename std::remove_cv<T>::type;
 
template<class T>
using remove_reference_t = typename std::remove_reference<T>::type;
 
template<class T>
struct is_void : std::is_same<void, remove_cv_t<remove_reference_t<T>>> {};
 
template<class T>
using enable_if_void_t = enable_if_t<is_void<T>::value>;
 
template<class T>
using enable_if_not_void_t = enable_if_t<!is_void<T>::value>;
 
template<class T>
struct Type
{
    using type = typename conditional<
        is_void<T>::value,
        int,
        float
    >::type;
};
 
int main()
{
    Type<void>::type v1; // int
    Type<int>::type v2; // float
 
    std::cout << std::is_same<decltype(v1), int>::value << std::endl; // 1
    std::cout << std::is_same<decltype(v2), float>::value << std::endl; // 1
}

在这个示例中，我们根据模板参数 T 是否为 void 来分别定义了 type 类型为 int 或 float。

小结

条件类型定义是 C++ 中一种非常灵活的编程方式，它允许我们根据某些条件来选择性地定义一些类型。在实际开发中，我们可以使用条件类型定义来实现通用的、可定制的类型系统，以及类型适配器等高级功能。