C++ 11：轉換const int的*爲int *使用unordered_set ::推

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訪問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. 
  

最安全的解決方案是將一個int爲重點，見http://ideone.com/KrykZw在線演示（感謝bitmask徵求意見）。

---

可能的解決方案：

1. 動態複製b.x。或者，
2. 使用int const*作爲關鍵。或者最好（避免明確的動態分配），
3. 使用int爲重點，而不是int*（見http://ideone.com/KrykZw）