如何计算 std::weak_ptr 的哈希值？

Question

所以我有使用std::weak_ptr 并将它们维护在std::set 中的代码，并且工作得很好——并且已经工作了5 或7 年。最近我想我会在std::unordered_set（嗯，实际上是在f14::F14ValueSet）中使用它们，为此，我需要一个哈希值。目前还没有std::hash<std::weak_ptr>，那我该怎么办呢？

答案似乎是“只是散列控制块”，正如这个问题和回复所暗示的那样：Why was std::hash not defined for std::weak_ptr in C++0x?，但是我如何访问控制块？在 glibc 中，它位于 __weak_ptr<>::_M_refcount._M_pi-> 但这是私有的（并且是特定于实现的）。我还能做什么？

一个答案是“等一下”：maybe someday there will be a standard owner_hash() for std::weak_ptr，但我更喜欢现在可用的东西。

Answer 1

制作你自己的增强弱指针。

它存储一个哈希值，并基于owner_before()支持==。

您必须从shared_ptrs 制作这些，因为没有强引用的弱ptr 不能被散列以匹配其所有者；这可能会创建两个比较相等但散列不同的增强弱 ptr。

template<class T>
struct my_weak_ptr {
  // weak ptr API clone goes here.  lock() etc.

  // different ctor:
  my_weak_ptr(std::shared_ptr<T>const& sp){
    if(!sp) return;
    ptr=sp;
    hash = std::hash<T*>{}(sp.get());
  }
  std::size_t getHash()const{return hash;}
  friend bool operator<(my_weak_ptr const& lhs, my_weak_ptr const& rhs){
    return lhs.owner_before(rhs);
  }
  friend bool operator!=(my_weak_ptr const& lhs, my_weak_ptr const& rhs){
    return lhs<rhs || rhs<lhs;
  }
  friend bool operator==(my_weak_ptr const& lhs, my_weak_ptr const& rhs){
    return !(lhs!=rhs);
  }
private:
  std::weak_ptr<T> ptr;
  std::size_t hash=0;
};

这些具有稳定、合理的哈希值。虽然回收的对象指针会导致哈希冲突，但只要它们不共享控制块，它们就不会相等。

namespace std{template<class T>struct hash<some_ns::my_weak_ptr<T>>{
  std::size_t operator()(my_weak_ptr<T> const& wp)const{return wp.getHash();}
};}

一个警告：使用别名构造函数可能会导致病态结果。因为相等是基于控制块相等，而不是指针值。