È unordered_set <reference_wrapper <Ty>> valido?

Question

È questo C++ valido (considerando l'ultimo standard)? Ricevo errori di compilazione con clang/libC++ near-top-of-tree su Ubuntu 12.04. Se dovrebbe essere valido, invierò la mail alla lista clang-dev con i messaggi di errore e così via.

#include <functional> 
#include <unordered_set> 

struct X 
{ 
    int i; 
}; 

void f() 
{ 
    std::unordered_set<std::reference_wrapper<X>> setOfReferencesToX; 

    // Do stuff with setOfReferencesToX 
} 

** Per inciso, sono stanco delle qualifiche che la domanda/risposta è specifico per l'ultimo standard. Potrebbe la comunità C++ nel suo complesso, per favore inizia a qualificare cose che sono specifiche del vecchio standard, invece? Il nuovo standard è uscito da circa un anno.

Answer 1

Il problema non è specifico per std::reference_wrapper<T>, ma piuttosto per il tipo X stesso.

Il problema è che std::unordered_set richiede la definizione dei funtori di hashing e di uguaglianza per std::reference_wrapper<X>. È possibile passare il functor hash come secondo parametro template.

Ad esempio, questo dovrebbe funzionare:

#include <functional> // for std::hash<int> 

struct HashX { 
    size_t operator()(const X& x) const { 
    return std::hash<int>()(x.i);  
    } 
}; 

e poi

std::unordered_set<std::reference_wrapper<X>, HashX> setOfReferencesToX; 

Un'altra opzione è quella di fare una specializzazione per std::hash<X>:

namespace std { 
template <> 
struct hash<X> { 
    size_t operator()(const X& x) const { 
    return std::hash<int>()(x.i);  
    } 
}; 
} 

Questo permette di evitare in modo esplicito specificando il secondo argomento del modello:

std::unordered_set<std::reference_wrapper<X>> setOfReferencesToX; 

Per quanto riguarda il confronto di uguaglianza, si può risolvere questo problema fornendo un operatore di uguaglianza per la classe X:

struct X 
{ 
    bool operator==(const X& rhs) const { return i == rhs.i; } 
    int i; 
}; 

caso contrario, è possibile definire il proprio funtore e passarlo come argomento terzo modello.