C++(11)：true_type, false_type

true_type和false_type是integral_constant实例化的别名：

C++(11)：integral_constant_风静如云的博客-CSDN博客

template <bool _Val>
using bool_constant = integral_constant<bool, _Val>;

using true_type  = bool_constant<true>;
using false_type = bool_constant<false>;

true_type表示通过true实例化的bool_constant的别名类型

false_type表示通过false实例化的bool_constant的别名类型

也就是说true_type和false_type是一种类型，由于是类型，因此可以通过函数的重载的方式解决

C++(11)：if constexpr编译期的if_风静如云的博客-CSDN博客

中