Existují omezení pro datové typy při používání klíčů?

Ano, existují. Hlavním požadavkem na datový typ používaný jako klíč v kolekcích založených na hash tabulkách (například Dictionary<TKey, TValue>, HashSet<T>), je, že musí správně definovat metody Equals() a GetHashCode().

• Equals(): Metoda by měla správně porovnávat dva objekty, aby určila, zda jsou si rovny. Pokud jsou dva objekty považovány za rovné, jejich hash kódy by měly být také stejné.
• GetHashCode(): Metoda by měla vracet stabilní hodnotu hash kódu po celou dobu životnosti objektu. Pokud jsou dva objekty podle Equals() rovné, GetHashCode() by měl vracet stejnou hodnotu pro oba. Spolehlivé a rovnoměrné rozložení hash kódů zlepšuje výkon kolekcí.

Typy hodnot (jako int, string atd.) obvykle tyto požadavky splňují. Uživatelsky definované referenční typy vyžadují explicitní implementaci nebo přepsání těchto metod, pokud výchozí implementace (založená na referenční rovnosti) není dostačující. Měnitelné typy mohou způsobit problémy, pokud se hodnota ovlivňující hash kód nebo rovnost změní po přidání do kolekce.