Fonction de hachage générique pour les tuples dans les collections non ordonnées

Le std :: non ordonné_map et std :: non ordonné les conteneurs. Cependant, l'utilisation de tuples comme touches dans ces collections sans définir une fonction de hachage personnalisée peut conduire à un comportement inattendu.

pour rectifier cela, une approche consiste à définir manuellement une fonction de hachage pour le type de tuple spécifique, tel que:

template
struct std::hash<:tuple int>> {
  size_t operator()(std::tuple const& tuple) const { ... }
};

Bien que cette approche fonctionne, il peut être fastidieux de définir les fonctions de hachage pour chaque type de tuple utilisé. Pour automatiser cela, une fonction de hachage générique peut être implémentée comme suit:

#include 

namespace std {
  namespace {

    // Code derived from Boost
    template
    inline void hash_combine(std::size_t& seed, T const& v) { ... }

    // Recursive template code from Matthieu M.
    template::value - 1>
    struct HashValueImpl { ... };

  }

  template
  struct hash<:tuple>> {
    size_t operator()(std::tuple const& tuple) const { ... }
  };
}

Cette fonction exploite la recherche de nom dépendant de l'argument (ADL) pour permettre au compilateur de sélectionner automatiquement l'implémentation du hachage correct basé sur le type de tuple. Pour une solution conforme aux normes, un espace de noms personnalisé peut être créé et utilisé pour définir la fonction de hachage:

espace de noms my_hash { // Forme les types de non-tuple au hachage std :: modèle struct hash {...}; // fournit le hachage optimisé pour les tuples modèle struct hash > {...}; } Lorsque vous utilisez cette solution, la collection non ordonnée doit référencer explicitement l'implémentation de hachage personnalisée comme suit:

non ordonné_set , std :: hash >, std :: equal_to > > test;