如何让boost unordered_map支持flyweight

Question

我正在尝试执行以下操作：

boost::unordered_map<boost::flyweight<std::string>, boost::flyweight<std::string> > map;

        boost::flyweight<std::string> foo(name);
        map[foo] = foo;

但编译器抱怨： “错误 C2665：'boost::hash_value'：17 个重载中没有一个可以转换所有参数类型”。

但我定义了以下函数：

std::size_t hash_value(const boost::flyweight<std::string> & b)
{
    boost::hash<std::string> hasher;
    const std::string & str = b.get();
    return hasher(str);
}
bool operator==(const boost::flyweight<std::string>& f, const boost::flyweight<std::string> & second)
{
    return f.get() == second.get();
}

但它无法编译。

我需要做什么才能让 boost unordered_map 支持 Flyweight？

[编辑] 我让它使用以下代码：

    struct flyweight_hash
    {
        std::size_t operator()(const boost::flyweight<std::string> &elm) const
        {
            boost::hash<std::string> hasher;
            const std::string & str = elm.get();
            return hasher(str);
        }
    };

并将其作为模板参数传递给地图的构造：

boost::unordered_map<boost::flyweight<std::string>, boost::flyweight<std::string> , flyweight_hash > map;

在这种情况下，我不明白重载 hash_value 不起作用的方式。

Answer 1

boost::hash 通过参数相关查找 (ADL) 调用 hash_value。您正在尝试为命名空间 boost 中的类定义 hash_value 函数。因此，您的 hash_value 函数也需要进入此命名空间才能使 ADL 正常工作。不幸的是，向外部名称空间添加函数是相当邪恶的，应该避免。您使用自定义哈希器的解决方案似乎不错。

一个小示例代码来说明：

namespace boost {
  // somewhere in boost
  template<typename T>
  std::size_t hash(const T& t) { 
    // call using ADL
    // e.g. if called with object of class type foo::bar this will
    // pick up foo::hash_value despite the lack of namespace
    // qualification
    return hash_value(t); 
  }
}

// your hash_value (presumably in the global namespace)
// not picked up by above call
std::size_t hash_value(boost::flyweight<T>...);

namespace boost {
  // this would be picked up but is slightly evil
  std::size_t hash_value(boost::flyweight<T>...);
}

Answer 2

对已经被散列过的东西进行散列是很遗憾的。 Flyweight 保留相等对象的单个实例，因此散列该实例的地址而不是其内容更有效。我执行如下操作（在 std 中，而不是在 boost 中，因为我使用的是 C++11，所以我扩展了 std::hash code>，而不是 boost::hash）：

namespace std
{
  template <typename T>
  struct hash<boost::flyweight<T, boost::flyweights::no_tracking>>
  {
    using value_type = boost::flyweight<T, boost::flyweights::no_tracking>;
    size_t operator()(const value_type& ss) const
    {
      hash<const void*> hasher;
      return hasher(&ss.get());
    }
  };
}

我已确认这是设计使然，而不是偶然：http://lists.boost.org/boost-users/2013/03/78007 .php