std::conditional的value_type用法

`std::conditional` 是一个模板类，它可以根据一个条件表达式的真假来决定类型的选择。它的语法如下：

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

其中，`B` 是一个布尔值，表示条件表达式的真假；`T` 和 `F` 分别是两个类型，当 `B` 为真时，`conditional` 的类型为 `T`，否则为 `F`。

`value_type` 不是 `std::conditional` 中的一个成员，但是可以用于表示 `T` 或 `F` 的类型中的元素类型。例如：

#include <iostream>
#include <type_traits>
#include <vector>

int main() {
    using type1 = std::vector<int>::value_type;  // int
    using type2 = std::vector<double>::value_type;  // double

    using result_type1 = std::conditional<true, type1, type2>::type;  // int
    using result_type2 = std::conditional<false, type1, type2>::type;  // double

    std::cout << std::boolalpha;
    std::cout << "result_type1 is int? " << std::is_same<result_type1, int>::value << std::endl;
    std::cout << "result_type2 is double? " << std::is_same<result_type2, double>::value << std::endl;

    return 0;
}

在上面的代码中，我们使用 `std::vector<int>` 和 `std::vector<double>` 分别表示 `type1` 和 `type2` 类型中的元素类型。然后，我们使用 `std::conditional` 来根据条件表达式的真假来选择元素类型。最后，我们使用 `std::is_same` 来判断 `result_type1` 和 `result_type2` 是否分别为 `int` 和 `double` 类型。