Pourquoi ne pouvons-nous pas avoir de déduction d'arguments de modèle de classe partielle ?

Déduction partielle des arguments de modèles de classe : pourquoi ce n'est pas possible

Les efforts précédents visant à introduire la déduction d'arguments de modèles pour les modèles de classe visaient à aligner leur comportement sur celui des modèles de fonctions. Cependant, la publication de la proposition P0091 a mis en lumière une limitation clé : la déduction partielle des arguments d'un modèle de classe reste impossible.

Considérez l'exemple fourni, où un test de modèle de classe est défini. La fonction d'assistance helper simplifie la création d'objets de test, comme le montre l'extrait de code où diverses formes de déduction d'arguments sont démontrées.

Bien que le code soit compilé dans la plupart des cas, des difficultés surviennent lors de la tentative de déduction partielle pour les modèles de classe. Par exemple, la ligne 6 du code suivant ne parvient pas à compiler :

int buffer[5];

test<5> b(buffer);      // Type deduced: FAILS.

Cela se produit car le compilateur est incapable de déterminer le paramètre de type T. Sans spécification explicite, le compilateur s'attend à ce que tous les arguments du modèle soient déduits simultanément . Cela pose un défi, car le processus de déduction de chaque paramètre peut avoir un impact sur la déduction des autres.

Le rapport de Botond Ballo met en évidence la justification de cette limitation :

La fonctionnalité initialement proposée incluait une disposition pour une déduction partielle, où vous spécifiez explicitement certains des arguments du modèle et laissez le reste être déduit, mais cela a été annulé en raison des craintes que cela puisse être très déroutant dans certains cas :

// Would have deduced tuple<int, string, float>,
// but tuple<int> is a well-formed type in and of itself!
tuple<int> t(42, "waldo", 2.0f);

Copier après la connexion

Ainsi, alors que les modèles de fonctions permettent une déduction partielle des arguments, l'ambiguïté introduite par la déduction partielle dans les modèles de classe a conduit à son exclusion.

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!