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

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

1. 模板特化与特性类

在C++编程中，模板特化是一项强大的技术，它允许我们为特定的模板参数提供定制化的实现。 模块提供了多种检查类型的方法，而std::numeric_limits则是一个特性模板的例子。

模块定义了std::numeric_limits类模板，其主模板的默认值往往没有实际意义，需要对其进行特化。例如，对于所有内置类型， 模块都定义了显式特化，这样我们就能通过std::numeric_limits ::min()获取int类型的最小值，通过std::numeric_limits ::radix获取double类型的浮点基数。

下面是为自定义的rational类特化std::numeric_limits的示例代码：

namespace std {
template<>
class numeric_limits<rational>
{
public:
  static constexpr bool is_specialized{true};
  static constexpr rational min() noexcept {
    return rational(numeric_limits<int>::min());
  }
  static constexpr rational max() noexcept {
    return rational(numeric_limits<int>::max());
  }
  static rational lowest() noexcept { return -