Comment appliquer un type d'argument unique pour les fonctions ou modèles variadiques sans utiliser de conteneurs ?

Spécification d'un type d'argument unique pour les fonctions variadiques ou les modèles sans conteneurs

Lorsque vous travaillez avec des fonctions variadiques ou des fonctions de modèle, il peut être souhaitable de assurez-vous que tous les arguments adhèrent à un type spécifique, tout en affichant une erreur de compilation claire en cas d'utilisation incorrecte.

Fonctions variadiques

Fonctions variadiques, telles que la famille printf , acceptez un nombre variable d’arguments de différents types. Cependant, ils manquent de sécurité de type, ce qui rend difficile l'application d'un type spécifique pour tous les arguments.

Fonctions de modèle variadiques

Les fonctions de modèle variadiques peuvent fournir une sécurité de type via le type de modèle paramètres. Cependant, spécifier un tableau ou un vecteur du type souhaité dans les paramètres du modèle ajoute une complexité inutile à la signature de la fonction.

Solution : métaprogrammation de modèle (SFINAE)

Pour y parvenir application de type sans utiliser de conteneurs, vous pouvez tirer parti de la métaprogrammation de modèles et de la technique SFINAE (Substitution Failure Is Not An Error). Voici un exemple simplifié :

template<typename ToType, typename Arg>
struct is_convertible { static constexpr bool value = false; };

template<typename ToType, typename FromType>
struct is_convertible<ToType, FromType> : std::is_convertible<FromType, ToType> {};

template<typename ...Args>
void f(Args...) {
    // Check if all arguments are convertible to the desired type
    typename std::enable_if<
        is_convertible<ToType, Args>::value && ...
    >::type...;
}

Dans cet exemple, la métafonction du modèle is_convertible vérifie si chaque argument peut être converti en type ToType. La fonction f utilise ensuite SFINAE pour activer son utilisation uniquement si tous les arguments remplissent cette condition.

Utilisation

Pour appliquer la contrainte de type pour votre fonction make_dragon_list, vous pouvez utiliser SFINAE comme suit :

template<typename ToType, typename ...Args>
typename std::enable_if<
    is_convertible<ToType, Args>::value && ...
>::type
make_dragon_list(Args...);

Avec cette approche, le compilateur rejettera toute tentative de transmission d'arguments de types incorrects, fournissant des messages d'erreur clairs et précoces.

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!