一、 $std::conditional$的使用

$C++11$标准引入了$std::conditional$，这是一个类模板，用于表现一种编译期间的分支逻辑。

---

它的实现代码比较简单，如下所示：

//std::conditional用于表现一种编译期的分支逻辑

//代码实现

//泛化版本
template<bool b,class T,class U>
struct conditional {
	using type = T;
};

//特化版本
template<class T,class U>
struct conditional<false,T,U> {
	using type = U;
};

可以发现，在它的模板中，如果第一个参数为$false$，那么我们将会调用它的特化版本，其内部的$type$将被替换为第二个$U$类型。反之，将调用它的泛化版本，$type$也将会被替换为第一个$T$类型。

---

下面是$std::conditional$的一个简单使用

//std::conditional的简单使用
void Test1() {
	std::conditional<true, int, double>::type a1; //true，使用泛化类型，type = int
	std::conditional<false, int, double>::type a2;//false，使用特化类型，type = double

	std::cout << "a1的类型为：" << typeid(a1).name() << "\n";
	std::cout << "a2的类型为：" << typeid(a2).name() << "\n";
	
}

可以发现，$a1$的类型是$int$，而$a2$的类型为$double$。

---

二、使用$std::conditional$实现编译期间的条件分支

我们可以使用$std::conditional$的嵌套来实现多重分支。考虑以下代码：

	constexpr int j = 30;
	std::conditional<(j > 100), double,// (j>100) -> double
		std::conditional<(j > 50), float,// (j>50)-> float
		std::conditional<(j > 20), int, //(j>20) -> int
		std::conditional<(j > 0), char, long long> //(j>0) -> char ,(j<=0) ->long long
		::type>::type>::type>::type j_type;

	std::cout << "j的类型为：" << typeid(j_type).name() << "\n";

这里实现了不同大小的$j$，得到不同的类型。观察发现，这里的类型显然是$int$。

运行后：

---

同样的，$std::conditiona{l}_t$是标准库中$std::conditional$的别名模板，我们可以通过以下代码来简写：

//也可以使用别名模板std::conditional_t来简写

const int k = 80;
std::conditional_t<(k > 100), double,// (j>100) -> double
	std::conditional_t<(k > 50), float,// (j>50)-> float
	std::conditional_t<(k > 20), int, //(j>20) -> int
	std::conditional_t<(k > 0), char, long long>>>>k_type; //(j>0) -> char ,(j<=0) ->long long j_type;

std::cout << "k的类型为：" << typeid(k_type).name() << "\n";

其中$k$的类型为$float$：