En quoi SFINAE diffère-t-il lorsqu'il est appliqué aux types de retour par rapport aux paramètres de modèle ?

Applicabilité de SFINAE dans les types de retour par rapport aux paramètres de modèle

En programmation C, SFINAE (Substitution Failure Is Not An Error) est une technique pour métaprogrammation de modèles. SFINAE vous permet d'utiliser des paramètres de modèle pour spécifier des contraintes sur le type d'arguments qui peuvent être transmis à une fonction ou une classe de modèle.

Dans votre exemple, vous avez deux implémentations d'une fonction nommée foo :

template<typename T,
         typename = typename std::enable_if<std::is_integral<T>::value>::type>
auto foo(T) -> void;

template<typename T,
         typename = typename std::enable_if<std::is_floating_point<T>::value>::type>
auto foo(T) -> void;

La première implémentation utilise SFINAE avec la métafonction std::enable_if dans les paramètres du modèle. Cela signifie que la fonction modèle foo ne peut être appelée qu'avec des types qui satisfont à la condition std::is_integral::value.

La deuxième implémentation, cependant, utilise SFINAE avec std::enable_if dans le retour type de la fonction modèle. Dans ce cas, la fonction foo peut être appelée avec n'importe quel type, mais le type de retour sera de type void uniquement si T satisfait la condition std::is_integral::value.

Dans votre exemple, la première implémentation ne parvient pas à se compiler car l'argument de modèle par défaut pour le deuxième paramètre de modèle n'est pas pris en compte lors de la détermination si le modèle est déjà instancié pour le premier paramètre de modèle. Ainsi, le compilateur suppose que vous essayez de redéclarer le même modèle de fonction deux fois, ce qui entraîne l'erreur.

D'un autre côté, la deuxième implémentation fonctionne car l'expression typename std::enable_if::value>::type est évalué lors de l'instanciation du modèle et utilisé comme type de retour de la fonction. Puisque cette expression fait partie de la signature de la fonction modèle, elle permet à SFINAE de différencier les différentes spécialisations de modèle en fonction de la valeur de T.

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!