标签：stdhash unordered-map c c11 visual-studio-2012

我需要一个键为std :: pair< T *,T *>的std :: unordered_map.所以我“偷”了以下代码：

template <class T>
inline void hash_combine(std::size_t & seed, const T & v)
{
  std::hash<T> hasher;
  seed ^= hasher(v) + 0x9e3779b9 + (seed << 6) + (seed >> 2);
}

namespace std
{
  template<typename S, typename T> struct hash<pair<S, T>>
  {
    inline size_t operator()(const pair<S, T> & v) const
    {
      size_t seed = 0;
      ::hash_combine(seed, v.first);
      ::hash_combine(seed, v.second);
      return seed;
    }
  };
}

来自这个stackoverflow answer.

在使用gcc 4.9.2的linux机器上,它像一个超级按钮一样工作.但是在Windows Visual Studio 2012中,它在调用我的unordered_map的成员函数find()时崩溃.我的一个朋友调试了Windows计算机上的崩溃,并报告说,只有在调试编译模式下,它才会给出“向量下标超出范围”才能中断崩溃.

问：

>发布的代码对于散列std :: pair< T *,T *>是否有效？
>是否有更健壮/更好的散列std :: pair< T *,T *>的方法？
>是什么导致这种奇怪的行为？

P.S：非常抱歉没有发布mcve,但是这是不可能的.

解决方法:

在std中将模板专门化为std中的类型也可能使您的程序不正确(标准是模棱两可的,似乎以多种不同方式使用“用户定义类型”,而从未定义过).参见my question on the subject和active working group defect on the issue.

因此,创建您自己的哈希名称空间：

namespace my_hash {
  template<class T=void,class=void>
  struct hasher:std::hash<T>{};

  template<class T, class=std::result_of_t< hasher<T>(T const&) >>
  size_t hash( T const& t ) {
    return hasher<T>{}(t);
  }
  template<>
  struct hasher<void,void> {
    template<class T>
    std::result_of_t<hasher<T>(T const&)>
    operator()(T const& t)const{
      return hasher<T>{}(t);
    }
  };

  // support for containers and tuples:
  template <class T>
  size_t hash_combine(std::size_t seed, const T & v) {
    seed ^= hash(v) + 0x9e3779b9 + (seed << 6) + (seed >> 2);
    return seed;
  }

  template<class Tuple, size_t...Is>
  size_t hash_tuple_like(Tuple const& t, size_t count, std::index_sequence<Is...>) {
    size_t seed = hash(count);
    using discard=int[];
    (void)discard{0,((
      seed = hash_combine(seed, std::get<Is>(t))
    ),void(),0)...};
    return seed;
  }
  template<class Tuple>
  size_t hash_tuple_like(Tuple const& t) {
    constexpr size_t count = std::tuple_size<Tuple>{};
    return hash_tuple_like(t, count, std::make_index_sequence<count>{} );
  }
  struct tuple_hasher {
    template<class Tuple>
    size_t operator()(Tuple const& t)const{
      return hash_tuple_like(t);
    }
  };
  template<class...Ts>
  struct hasher<std::tuple<Ts...>,void>:
    tuple_hasher
  {};
  template<class T, size_t N>
  struct hasher<std::array<T,N>,void>:
    tuple_hasher
  {};
  template<class...Ts>
  struct hasher<std::pair<Ts...>,void>:
    tuple_hasher
  {};
  template<class C>
  size_t hash_container( C const& c ) {
    size_t seed = hash(c.size());
    for( const auto& x:c ) {
      seed = hash_combine( seed, x );
    }
    return seed;
  }
  struct container_hasher {
    template<class C>
    size_t operator()(C const& c)const{ return hash_container(c); }
  };
  template<class...Ts>
  struct hasher< std::vector<Ts...>, void >:
    container_hasher
  {};
  // etc
};

现在您通过my_hash :: hasher<>就像您向容器中的哈希器一样,您不必做繁琐的事情(主要是为std中的类型提供std专业化).

my_hash ::散列器和LT;？,空隙&GT存在,因此您可以进行SFINAE测试(例如,检测类型是否类似于容器,然后转发到hash_container.my_hash :: hash为类型提供ADL覆盖,而不必在my_hash命名空间中四处走动.

举个例子：

template<class T>
struct custom {
  std::vector<T> state;
  friend size_t hash( custom const& c ) {
    using my_hash::hash;
    return hash(state);
  }
};

和自定义现在可哈希化.无需杂乱的专业知识.

标签：stdhash,unordered-map,c,c11,visual-studio-2012
来源： https://codeday.me/bug/20191009/1881680.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。