C++ std::conditional 条件模板

std::conditional C++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时为第二个类型模板参数的值。

class A 
{
public:
	void T()
	{
		std::cout << "OUT : A" << std::endl;
	}
};

class B
{
public:
	void T()
	{
		std::cout << "OUT : B" << std::endl;
	}
};


int main(int argc, char* argv[])
{
	std::conditional<true, int, float>::type var;
	std::cout << typeid(decltype(var)).name() << std::endl;
	std::conditional<false, A, B>::type var1;
	std::cout << typeid(decltype(var1)).name() << std::endl;
	var1.T();
	return 0;
}

int
class B
OUT : B

第一个参数必须是常量，毕竟模板是需要在编译的时候就需要知道具体类型。

80后程序员