C++ 11: Ci sono ragioni per cui alcuni tipi regolari non dovrebbero avere `std :: hash` specializzato?

Question

Con un tipo regolare, intendo la definizione di Stepanov in Elementi di programmazione, in sostanza, che esiste il concetto di uguaglianza e che gli oggetti che sono copie l'uno dell'altro sono uguali.

Quindi, quando si dispone di un tipo regolare T, e il rapporto uguaglianza è transitiva (a == b & & b == c => a == c), è possibile definire una (non banale) funzione di hash che è coerente con la definizione di uguaglianza (a == b => h (a) == h (b)). Sempre.

Ma lo standard non include molte specializzazioni std::hash. Per esempio. std::complex non ne ha uno e nessuno dei due ha i contenitori, con le notevoli eccezioni di vector<bool> e bitset.

Quindi mi chiedo quale sia il principio di progettazione qui.

Oppure, chiesto in modo diverso: ci sono motivi per non fornire specializzazioni std::hash per i propri tipi, a condizione che siano regolari e che l'uguaglianza sia transitiva?

Answer 1

Fornire specializzazione per i tipi proprio non ha senso, se sono classi template, dal momento che la funzione di hash (con alta probabilità molto alto) dipende anche dal tipo parametri del modello, che sono sconosciute.

E non ci sono parametri del modello, oi parametri del modello sono limitati a determinati tipi

// provide no implementation to restrict all types 
template<typename T> container; 

// int is allowed 
template<> container<int> { 
    ... 
} 

// double is allowed 
template<> container<double> { 
    ... 
} 

fornendo una specializzazione di std::hash è possibile, poiché le implementazioni delle classi (o le classi modello instanced) sono noti , come lo è per vector<bool> in contrasto con complex<T>.

Answer 2

Sì.

Quando un tipo ha le seguenti due proprietà non credo che si dovrebbe definire std::hash:

• Non c'è modo efficace per creare costantemente un hash di qualità che copre tutti i dati utilizzati per descrivere l'uguaglianza .

• Non esiste un modo efficace e/o intuitivo per selezionare un sottoinsieme di dati coerente in hash.