c++ std::conditional详解

std::conditionalC++11引入的类模板，表示的是一种编译期的分支逻辑，我们来看看它的源码吧，其实非常的简单。

// STRUCT TEMPLATE conditional
template <bool _Test, class _Ty1, class _Ty2>
struct conditional { // Choose _Ty1 if _Test is true, and _Ty2 otherwise
    using type = _Ty1;
};

template <class _Ty1, class _Ty2>
struct conditional<false, _Ty1, _Ty2> {
    using type = _Ty2;
};

template <bool _Test, class _Ty1, class _Ty2>
using conditional_t = typename conditional<_Test, _Ty1, _Ty2>::type;

从以上可以看到，std::conditional 包含一个泛化和特化的版本，在结构体里面用type来表示类型模板参数的类型，当第一个非类型模板参数的值为true时，type的类型为第一个类型模板参数的类型，为false时为第二个类型模板参数的值。

#include<iostream>
#include <string>
using namespace std;
int main(void)
{
	std::conditional<false, int, float>::type var;
	std::cout << typeid(decltype(var)).name() << std::endl;
	std::conditional<true, int, float>::type var1;
	std::cout << typeid(decltype(var1)).name() << std::endl;
}

再来看一个复杂点的例子，逻辑上类似与if-else

#include<iostream>
#include <string>
using namespace std;
int main(void)
{
	constexpr int j = 135; //假设给进去35
	std::conditional<
		(j > 100), double,  //值>100，var是double，
		std::conditional<
		(j > 80), float, //值在80-100之间，那么var是float类型。
		std::conditional<
		(j > 40), int,  //值在40-80之间，那么var是int类型。
		char       //值不超过40，var是char类型
			>::type
		> ::type
	>::type var;
	cout << "tsvar的类型为:" << typeid(decltype(var)).name() << endl;
}

不过这里的变量j好像只能是常量类型。