Comment détecter les conteneurs STL à l’aide de traits de type en C ?

Détection des conteneurs STL à l'aide de traits de type

Introduction

Un trait de type est un outil puissant en C qui évalue les propriétés d'un type au moment de la compilation . Dans cette question, nous visons à construire un trait de type (is_vector ou is_container) qui discerne divers types de conteneurs STL courants.

Solution pour is_vector

L'implémentation fournie pour is_vector rencontre une erreur comme elle le fait n'utilise pas le paramètre de modèle U. Pour remédier à cela, voici une version révisée :

<code class="cpp">template<class T>
struct is_vector {
  static bool const value = false;
};

template<class U>
struct is_vector<std::vector<U>> {
  static bool const value = true;
};</code>

Généralisation à is_container

En développant le concept is_vector, nous pouvons créer un trait is_container générique qui identifie divers Types de conteneurs STL :

<code class="cpp">template<typename T, typename _ = void>
struct is_container : std::false_type {};

template<typename... Ts>
struct is_container_helper {};

template<typename T>
struct is_container<
        T,
        std::conditional_t<
            false,
            is_container_helper<
                typename T::value_type,
                typename T::size_type,
                typename T::iterator,
                decltype(std::declval<T>().size()),
                decltype(std::declval<T>().begin()),
                decltype(std::declval<T>().end())
                >,
            void
            >
        > : public std::true_type {};</code>

Ce trait is_container amélioré peut être personnalisé pour vérifier des caractéristiques supplémentaires spécifiques au conteneur ou limité aux seuls conteneurs STL en vérifiant la présence de fonctions et de types de membres spécifiques.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!