-6

我有这个使用 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”没有被修改。

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

4

1 回答 1

2

的键set被声明为一个指向 int的指针，一个int*. 但是这个：

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

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

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

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

    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.

最安全的解决方案是将 an 存储int为密钥，请参阅http://ideone.com/KrykZw进行在线演示（感谢bitmask的评论）。

可能的解决方案：

  1. 动态复制b.x. 或者，
  2. 用作int const*钥匙。或者最好（避免显式动态分配），
  3. 用作int键，而不是int*（参见http://ideone.com/KrykZw）
于 2013-05-13T19:47:51.713 回答