C++ std::conditional的简明指南

1. 简介

C++ 11标准引入了std::conditional，这是一个非常有用的类型转换模板，它允许我们在编译时根据条件选择不同的类型。这个模板类通常用于条件类型推断，可以帮助我们根据条件在编译时决定使用哪种类型。在本篇文章中，我们将深入了解std::conditional的用法，并提供一些相关的例子来帮助理解。

std::conditional在头文件 <type_traits>中声明，如下所示：

template< bool B, class T, class F >
struct conditional;

其中，B是一个布尔值，T是B为true时选择的类型，F则是为false时选择的类型。因此，根据条件B的值，std::conditional会在编译时选择合适的类型。

在C++ 14中引入了下面的帮助类，方便直接获取其类型：

template< bool B, class T, class F >
using conditional_t = typename conditional<B,T,F>::type;

2. 使用说明

让我们来看几个使用std::conditional的例子，以更好地理解它的用法。

2.1 示例1：选择整数类型

假设我们要根据某个条件选择整数类型，如果条件为真，则选择int类型，否则选择long类型。我们可以使用std::conditional来实现：

#include <iostream>
#include <type_traits>

template <bool UseInt>
struct IntegerTypeSelector {
    using ResultType = typename std::conditional_t<UseInt, int, long>;
};

int main() {
    bool useIntType = true;
    IntegerTypeSelector<useIntType>::ResultType myNumber = 42;

    std::cout << "myNumber is of type: " << typeid(myNumber).name() << std::endl;

    return 0;
}

在这个示例中，我们定义了一个模板类IntegerTypeSelector，它有一个布尔类型的模板参数UseInt。根据UseInt的值，我们使用std::conditional来选择合适的整数类型作为ResultType。在main函数中，我们设置useIntType为true，因此IntegerTypeSelector<useIntType>::ResultType将是int类型。

2.2 示例2：选择返回类型

我们还可以利用std::conditional在函数模板中选择返回类型，如下所示：

#include <iostream>
#include <type_traits>

template <typename T1, typename T2>
auto max(T1 a, T2 b) -> typename std::conditional_t<(sizeof(T1) > sizeof(T2)), T1, T2> {
    return (a > b) ? a : b;
}

int main() {
    int x = 10;
    double y = 15.5;

    auto result = max(x, y);

    std::cout << "The maximum value is: " << result << std::endl;

    return 0;
}

在这个示例中，我们定义了一个max函数模板，它接受两个参数a和b，并使用std::conditional来根据T1和T2占用内存空间的大小选择合适的返回类型。如果T1占用的空间大于T2，则返回类型是T1，否则返回类型是T2。在main函数中，我们传入一个整数和一个双精度浮点数，函数会选择返回双精度浮点数作为结果。

2.3. 选择特定类型

std::conditional不仅可以选择基本类型，还可以选择特定的自定义类型。例如，我们在实现一个对象池时，对象可以是共享指针std::shared_ptr，也可以是独占型指针std::unique_ptr，这时我们可以使用模板参数来指定需要的指针类型。

template<class T, bool acquire_shared_ptr>
class ObjectPool {
public:
    using ptr_type =
        typename std::conditional_t<acquire_shared_ptr, std::shared_ptr<T>, std::unique_ptr<T>>;
    ....
};

在这个定义中，ObjectPool<MyObject, true>则ObjectPool::ptr_type的结果是std::shared_ptr<MyObject>，否则是std::unique_ptr<MyObject>。

3. 总结

std::conditional是C++标准库中的一个非常有用的类型转换模板，它可以在编译时根据条件选择不同的类型。通过合理地使用std::conditional，我们可以在编译时做出类型选择，避免了运行时的条件分支，从而提高了代码的效率。

4. Reference

1. std::conditional