SFINAE en C : type de retour par rapport au type de paramètre pour la spécialisation de modèle conditionnel ?

SFINAE dans les types de retour de modèle et les paramètres

Description du problème

En C, SFINAE (l'échec de substitution n'est pas une erreur) peut être utilisé pour activer ou désactiver sous condition les spécialisations de modèles en fonction des traits de type. Cependant, un problème courant survient lorsque SFINAE est appliqué différemment dans les types de retour de modèle et les paramètres de modèle.

Considérez la fonction principale suivante :

int main()
{
    foo(5);
    foo(3.4);
}

Implémentation défectueuse à l'aide de SFINAE dans les paramètres de modèle

Lorsque SFINAE est placé dans les paramètres du modèle, comme indiqué ci-dessous, il ne parvient pas à se compiler avec un erreur :

template<typename t typename="typename" std::enable_if>::value>::type>
auto foo(T) -> void
{
    std::cout ::value>::type>
auto foo(T) -> void
{
    std::cout <h3 id="Implémentation-correcte-à-l-aide-de-SFINAE-dans-les-types-de-retour">Implémentation correcte à l'aide de SFINAE dans les types de retour</h3>
<p>Cette implémentation fonctionne cependant correctement :</p>
<pre class="brush:php;toolbar:false">template<typename t>
auto foo(T) -> typename std::enable_if<:is_integral>::value>::type
{
    std::cout 
auto foo(T) -> typename std::enable_if<:is_floating_point>::value>::type
{
    std::cout <h3 id="Explication">Explication</h3>
<p>La différence réside dans la manière dont la surcharge des modèles de fonctions est définie dans le standard C (14.5.6.1). Les modèles surchargés sont équivalents s'ils ont le même nom de fonction, le même nombre de paramètres et les mêmes types de paramètres. Cependant, les arguments de modèle par défaut ne sont pas pris en compte dans cette comparaison.</p>
<p>Dans l'implémentation défectueuse, la condition SFINAE est incluse comme argument de modèle par défaut, ce qui donne lieu à deux modèles de fonctions identiques définis deux fois. Cela déclenche l'erreur de compilation.</p>
<p>Dans l'implémentation correcte, la condition SFINAE est utilisée dans le cadre du type de retour du modèle. Puisqu'il s'agit d'expressions faisant référence à des paramètres de modèle, les deux fonctions ont des signatures différentes et permettent ainsi à SFINAE de fonctionner comme prévu.</p></:is_floating_point></:is_integral></typename>

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!