std :: hash模板部分特化

Question

我用模板写了一些类：

 template <class T, class Allocator = ::std::allocator<T> >
 class my_list;

我应该为这个类编写:: std :: hash specializtion。 我怎样才能做到这一点？ 简单的部分专业化：

namespace std {
  template <class T, class Allocator>
      class hash<my_list<T, Allocator> >{
      public :
      size_t operator()(const my_list<T, Allocator> &x ) const{
          return ...;
      }
  };
}

但我不能写简单的部分特化，因为它被C ++ ISO禁止：

ISO / IEC 14882第三版2011-09-01

17.6.4.2.1命名空间std [namespace.std]

2如果C ++程序声明了标准库类或类模板的任何成员类模板的显式或部分特化，则它的行为是未定义的。

我能做什么？

Answer 1

您引用的段落不适用。 您正在专门化一个类模板 （ std::hash ），而不是标准库类或类模板的成员类模板。 std::hash不是任何类或类模板的成员。

对于您的情况，同一部分的第1段适用，并且当涉及至少一个用户定义的类型时允许专门化（强调我的）：

如果C ++程序向命名空间std或命名空间std中的命名空间添加声明或定义，则它是未定义的，除非另有说明。 只有当声明取决于用户定义的类型并且特化符合原始模板的标准库要求且未明确禁止时， 程序才可以将任何标准库模板的模板特化添加到命名空间std 。