C++ 11：使用 unordered_set::push 将 const int* 转换为 int*

Question

我有这个使用 c++11 标准的代码转换的问题：

#include<unordered_set>
struct B
{
   int x, y;
};

class A
{
   struct hash
   {
      std::size_t operator()( int* const a ) const
      {
         return std::hash<int>()( *a );
      }
   };

   struct equal_to
   {
      std::size_t operator()( int* const a, int* const b ) const
      {
         return std::equal_to<int>()( *a, *b );
      }
   };

   private:
      std::unordered_set< int*, hash, equal_to > set;

   public:
      void push( const B& b )
      {
         set.insert( &b.x );
      }
};

有人知道这是为什么吗？我可以解决删除“push”参数中的“const”修饰符的问题。但我不想要它，因为参数“b”没有被修改。

编辑：我对代码的简化产生了一个未引用的地址。我已经制作了一个结构 B 删除它。

Answer 1

set 的键被声明为一个 pointer-to-int，一个int*。但是这个：

void push( const B& b )
{
    set.insert( &b.x );
}

正在传递常量int、int const* 的地址，因此编译器出错。

从参数中删除 const 将解决编译器错误，就像将密钥类型设为 int const* 一样，但这两种解决方案都会：

• 允许程序的某些其他部分，非const 访问传递给push() 的B 实例，以更改集合中的一个键的值并破坏集合不变量：

  A a;
  
  B b1{17, 22};
  B b2{30, 22};
  
  a.push(b1);
  a.push(b2);
  
  b1.x = 30;  // set no longer contains unique keys.
  

• 引入set对b所引用对象生命周期的依赖：

  A a;
  a.push({14, 23}); // a now contains a dangling pointer.
  

最安全的解决方案是存储一个int 作为密钥，在线演示见http://ideone.com/KrykZw（感谢bitmask 的评论）。

---

可能的解决方案：

1. 动态复制b.x。或者，
2. 使用int const* 作为密钥。或者最好（避免显式动态分配），
3. 使用int 作为键，而不是int*（参见http://ideone.com/KrykZw）