Pourquoi ne pouvons-nous pas déduire partiellement les arguments des modèles de classe ?

Déduction partielle des arguments de modèle pour les modèles de classe : revisitée

Malgré les efforts décrits dans P0091 pour unifier les comportements des modèles de fonction et de classe, la possibilité de la déduction partielle des arguments dans les modèles de classe reste insaisissable. Cette discussion clarifie les limitations actuelles et explore les raisons potentielles qui les sous-tendent.

Considérez le test du modèle de classe et sa fonction d'assistance. Bien que l'assistant permette une déduction partielle, comme le démontre le code fourni, le test du modèle de classe correspondant ne le permet pas.

template<std::size_t S, typename T>
struct test {
    static constexpr auto size = S;
    using type_t = T;
    test(type_t(&&input)[size]) : data(input) {}
    type_t(&&data)[size]{};
};

template<std::size_t S, typename T>
test<S, T> helper(T(&&input)[S]) { return input; }

Après l'expérimentation, il devient évident que la déduction du modèle de classe ne se produit que lorsque tous les arguments sont explicitement fourni. Cet écart par rapport au comportement attendu soulève la question de savoir s'il y a eu un malentendu dans l'interprétation de P0091.

Comme le suggère le rapport de voyage de Botond Ballo, une déduction partielle pour les modèles de classe a été proposée puis retirée en raison de problèmes de confusion. . Par exemple, le code suivant aurait provoqué une déduction sur tuple, mais tuple est un type valide en soi :

tuple<int> t(42, "waldo", 2.0f);

Pour éviter de telles ambiguïtés, l'ensemble complet des arguments du modèle doit être fourni pour les modèles de classe, tandis que la déduction partielle reste une option pour les modèles de fonction.

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!