Comment pouvez-vous garantir que tous les arguments transmis à une fonction variadique ou à une fonction modèle sont du même type sans utiliser de structures de données supplémentaires ?

Spécification d'un type pour les arguments variadiques

Cet article explore une méthode permettant de garantir que tous les arguments transmis à une fonction variadique ou à une fonction de modèle variadique sont du même type, sans utiliser de structures de données supplémentaires telles que des tableaux, des vecteurs ou structs.

Fonctions variadiques et fonctions de modèle

Les fonctions variadiques et les fonctions de modèle variadiques permettent à une fonction d'accepter un nombre inconnu d'arguments. Cependant, ils n'appliquent aucune contrainte de type sur les arguments.

Application de la sécurité des types

Pour garantir que tous les arguments sont du même type, nous pouvons prendre ce qui suit étapes :

1. Accepter les arguments par modèle variadique : Définissez la fonction ou la fonction modèle pour accepter les arguments par un paramètre de modèle variadique.
2. Utilisez SFINAE pour le contrôle de convertibilité : Utilisez la technique L'échec de substitution n'est pas une erreur (SFINAE) sur l'interface de fonction pour vérifier si les arguments peuvent être convertis en un paramètre spécifique taper. Cette technique nous permet de rejeter précocement les arguments invalides.
3. Définir un type d'assistance : Créez un type d'assistance à l'aide d'un modèle variadique fst (premier type) pour déterminer le type du premier argument.
4. Appliquer SFINAE à la signature de fonction : Appliquez activate_if à la signature de fonction pour vérifier si les arguments sont convertibles dans le type souhaité. Si la vérification échoue, le compilateur générera une erreur.

Exemple :

Le code suivant montre comment implémenter cette technique :

template<typename R, typename...> struct fst { typedef R type; };

template<typename ...Args>
typename fst<void, 
  typename enable_if<
    is_convertible<Args, ToType>::value
  >::type...
>::type 
f(Args...);

Utilisation :

Ce code garantit que tous les arguments passés à f peuvent être converti en type ToType. Si un argument n'est pas convertible, le compilateur émettra une erreur.

Approche de conversion ultérieure :

Alternativement, si vous connaissez les étapes de conversion d'un tableau en le type souhaité, vous pouvez utiliser ce qui suit approche :

template<typename ...Items>
dragon_list_t make_dragon_list(Items... maidens) {
    std::array<Maiden, sizeof...(Items)> arr = {{ maidens ... }};
    // here be dragons
}

Conclusion :

En utilisant les fonctions de modèle variadique et SFINAE, nous pouvons appliquer la sécurité de type sur les arguments variadiques, en garantissant que tous les arguments sont identiques taper. Cela nous permet de créer des fonctions qui fonctionnent sur des données homogènes sans avoir besoin de structures de données supplémentaires.

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!