元编程：实现条件if判断 std::conditional

转载：C++ 模板元编程 学习笔记 - 狂奔~ - 博客园 (cnblogs.com)

这一篇实现的if比较好，

重点：

目前C++提供了编译期间选择特性：std::conditional

从C++11开始，可以通过type_traits来实现。因为type_traits提供了编译期选择特性：std::conditional，它在编译期根据一个判断式选择两个类型中的一个，和条件表达式的语义类似，类似于一个三元表达式。它的原型是：

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