C++特化与偏特化之hash特化与偏特化

• 特化问题引出

  对于C++模板特化和偏特化，对于别人来说，已经不是什么新东西了，但是对于我来说，的确是我的盲区.这个问题的出现是在我想定义一个unordered_map<pair<int, int>, int> 类型的变量时出现的问题。
  #2C++模板
  所谓模板是一种使用无类型参数来产生一系列函数或类的机制。若一个程序的功能是对某种特定的数据类型进行处理，则可以将所处理的数据类型说明为参数，以便在其他数据类型的情况下使用。
  #1特化
  对于C++模板特化和偏特化，对于别人来说，已经不是什么新东西了，但是对于我来说，的确是我的盲区.这个问题的出现是在我想定义一个unordered_map<pair<int, int>, int> 类型的变量时出现的问题。
  #2C++模板
  所谓模板是一种使用无类型参数来产生一系列函数或类的机制。若一个程序的功能是对某种特定的数据类型进行处理，则可以将所处理的数据类型说明为参数，以便在其他数据类型的情况下使用。下面是stl库里对hash仿函数模板的定义。

// STRUCT TEMPLATE hash
template <class _Kty>
struct hash
    : _Conditionally_enabled_hash<_Kt,!is_const_v<_Kty>
     &&!is_volatile_v<_Kty> 
     && (is_enum_v<_Kty> || is_integral_v<_Kty> || is_pointer_v<_Kty>)> {
    // hash functor primary template (handles enums, integrals, and pointers)
    static size_t _Do_hash(
        const _Kty& _Keyval) noexcept { // hash _Keyval to size_t value by pseudorandomizing transform
        return _Hash_representation(_Keyval);
    }
};

• 特化与偏特化

模板特化不同于模板的实例化，模板参数在某种特定类型下的具体实现称为模板的特化，以实现特定类型下非通用行为。模板特化有时也称之为模板的具体化，分别有函数模板特化和类模板特化。
下面是STL库提供的hash模板全特化示例

template <>
struct hash<float> {//float类型数据全特化
    _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef float argument_type;
    _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef size_t result_type;
    _NODISCARD size_t operator()(const float _Keyval) const
        noexcept { // hash _Keyval to size_t value by pseudorandomizing transform
        return _Hash_representation(_Keyval == 0.0F ? 0.0F : _Keyval); // map -0 to 0
    }
};
template <>
struct hash<double> {//double类型数据全特化
    _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef double argument_type;
    _CXX17_DEPRECATE_ADAPTOR_TYPEDEFS typedef size_t result_type;
    _NODISCARD size_t operator()(const double _Keyval) const
        noexcept { // hash _Keyval to size_t value by pseudorandomizing transform
        return _Hash_representation(_Keyval == 0.0 ? 0.0 : _Keyval); // map -0 to 0
    }
};
...

下面是我写的偏特化示例代码

namespace std
{
 template<typename T1, typename T2>
 struct hash<std::pair<T1, T2>>
 {
  std::size_t operator()(pair<T1, T2> const& s) const noexcept
  {
   std::size_t h1 = std::hash<T1>{}(s.first);
   std::size_t h2 = std::hash<T2>{}(s.second);
   return h1 + h2<1;
  }
 };
}

定义后可以定义

int main(){ 
	unordered_map<pair<int, int>, int> a;
	a.insert(make_pair(make_pair(1, 2), 3));
	return 0;
 }