C++中type_traits的每个特性如何实现和运用，能否详细解析？

本文共计1772个文字，预计阅读时间需要8分钟。

目录- 定义基础常量- 基础类型判断- 类型处理- 类型选择- 判断是否相同- Tips- 实现is_base_of- 本篇文章早期在引导大家自主实现type_traits的基础代码。

模板编程中的非常规代码，如包含if-else等。

目录

• 定义基础常量
• 基础类型判断
• 类型处理
• 类型选择
• 判断是否相同
• tips
• 实现is_base_of

本篇文章旨在引导大家自行实现type_traits的基础代码。

模板编程不像常规的代码，可以有if-else这些流控制语句，我们需要充分利用模板、模板特例、类型转换等特性来实现编译期的一系列判断和类型转换。

定义基础常量

第一步，我们需要定义true和false两个常量，所有的type_traits都基于此。我们的目的就是要用一个模板类型来表示是非，其中的value正好是这两个值。之后我们更高级的判断类型都是继承自这两个类型的其中一个，通过这种方式获取value值就可以获取true和false了。

如果听这个解释有点晕的话，不要紧，我们直接来看代码。这里需要注意的是，既然type_traits都是编译期行为，因此其成员只能是静态不可变成员（编译期就可以确定的成员）。