38、C++模板特化与约束全解析

C++模板特化与约束全解析

1. 模板特化之特性模板

在C++编程中， <type_traits> 模块提供了众多检查类型的方法。同时， std::numeric_limits 也是一个特性模板的例子。 <limits> 模块定义了 std::numeric_limits 类模板，其主模板功能较为基础，例如表明类型的精度位数为零、基数为零等。要让这个模板发挥作用，就需要对其进行特化。 <limits> 模块为所有内置类型都定义了显式特化，这样我们就能通过 std::numeric_limits<int>::min() 获取最小的 int 值，通过 std::numeric_limits<double>::radix 确定 double 类型的浮点基数等。

当我们创建自定义数值类型（如 rational ）时，也可以定义自己的特化。以下是为 rational 类特化 numeric_limits 的示例代码：

namespace std {
template<>
class numeric_limits<rational>
{
public:
  static constexpr bool