Comment simplifier l'alias d'activation_if dans le paramètre Modèle de modèle

Voici ce qui se passe avec votre nécessitent_tester :

Ceci ne correspond pas à la spécialisation partielle de requier_tester , qui a juste Arguments de deux modèles , nous utilisons donc le modèle principal xxx

avec check = require_arithmetic ; t = double ; Types = Double, Int . Il ne correspond pas à la spécialisation partielle de requiert_tester . Membre valeur est le résultat de xxx

où la pièce intéressante est requier_tester_impl = requis_tester_impl < / code>. Premièrement, puisque les paramètres de modèle de requir_tester_impl sont xxx

et seulement deux arguments de modèle explicite sont donnés, nous savons que les arguments de modèle réels sont . Maintenant, nous devons voir si cela correspond ou non à la spécialisation partielle de requier_template_impl , nous essayons donc de correspondre à: xxx

SO Template Argument déduction Déduction < Code> Check = Exiger_arithmetic et t1 = double . Le type void_t > ne provoque aucune déduction de vérifier ou t1 . Mais les valeurs de paramètres déduites doivent être remplacées dans, et nous trouvons void_t > est void_t > est annulation . Ceci correspond à la Void à partir des arguments de modèle, de sorte que la spécialisation partielle correspond à la correspondance, et requier_template_impl hériter std :: true_type , pas std :: faux_type .

d'autre part, si t1 était std :: string de double , substituer les arguments de modèle déduits dans Wider (code> void_t > est invalide, via l'éventuel activer_if << / code> ... > :: Type Si aucun membre type existe. Lors de la substitution des arguments de modèle déduits dans d'autres paramètres de modèle échouent, cela signifie que la spécialisation partielle est jetée comme non une correspondance. SO nécessitent_template_impl utilise le modèle principal et hérités std :: faux_type .

retour au Valeur Membre de Exiger_Tester , il trouve Récursivement (code> requis_tester :: valeur via EXCEX_TESTER :: Valeur via requier_tester :: valeur identique à requier_tester :: valeur . Toutes les membres sont tristes, de sorte que la valeur finale est vraie.

Bien que je simplifie cela un peu:

1. Le vide est inutile dans la récursion requis_tester et provoque l'étrange "fait" que requier_tester :: valeur < / code> est toujours vrai. Il serait préférable de supprimer le = vide par défaut à partir du modèle principal EXCEPTE_TESTER et faites le boîtier de base Modèle Vérification de la classe> Exiger_Tester à la place.

2. Votre expression dans l'expression requier_tester donne toujours exactement deux arguments de modèle à conjonction , donc ce n'est pas vraiment en train d'utiliser Sa propriété variadique, et vous pouvez aussi bien écrire exiger_tester_impl << / code> ... > :: valeur && requri_tester << / code> ... > :: Valeur . Étant donné que exiger_tester fait une récursion elle-même, elle n'a pas besoin de la définition récursive abstraite dans conjonction . Au lieu de cela, requir_tester pourrait être simplifié pour compter sur conjonction et éviter de faire une récursion elle-même: XXX

   Le modèle requir_varididic_tester peut suivre un motif similaire, sauf que je vais donner le paramètre Modèle mannequin qui n'était que typename = vide un nom, < Code> Typename Activer . Et il doit arriver avant le jeu de paramètres de modèle, il n'est donc pas utile de la défaut de défaut à Void , et nous devons veiller à utiliser l'argument de modèle approprié Dans la position correspondante. xxx

   voir Le programme modifié sur Godbolt , avec les résultats souhaités.