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 并且专业化符合原始模板的标准库要求，并未明确说明禁止的。

std :: hash模板部分特化

1 个答案: