Farscape

17
mai
2010

Visual C++ 2010 / C++ 0X: utilisation du Trailing return type

Un article de farscape Comments

Après avoir abordé decltype dans mon dernier billet, passons au « Trailing return type » ou en français la mise en place du type de retour (je n’ai pas trouvé mieux comme traduction).

Cette syntaxe utilisée dans les expressions lambda permet de spécifier le type de retour d’une fonction.
Considérons les deux exemples qui suivent :

L’expression la plus simple :

auto GetLong() -> long
{
return 1L;
}

J’ai spécifié que le type de retour était un long grâce à la syntaxe -> type
Bien entendu cet exemple comme celui qui va suivre est franchement improbable dans notre codage de tous les jours.

auto GetFloat() -> decltype(1.0)
{
return 1.0;
}

Cette fois-ci le retour est spécifié par l’évaluation de l’expression contenue dans decltype.
Alors franchement à quoi cela peut il servir ?
Cette syntaxe peut avoir son utilité avec l’utilisation des modèles (template).
Par exemple avec cette fonction template que j’écris initialement comme suit :

template <typename Arg1, typename Arg2>
Arg2 AddItem(Arg1 a1, Arg2 a2)
{
return a1 + a2;
}

Cette fonction se propose d’additionner deux types de données, pour spécifier le retour de ma fonction j’ai spécifié de manière arbitraire le type Arg2 ce qui réduit fortement les possibilités d’utilisation de ma fonction.

Si je reprends mon exemple sur les rvalues avec la classe XDate et que je veuille écrire ce genre de chose :

XDate d(GetCurrentDay());

auto result=AddItem(d, 1);

cet exemple ne passera pas à la compilation.

template <typename Arg1, typename Arg2>
auto AddItem(Arg1 a1, Arg2 a2) -> decltype(a1+a2)
{
return a1 + a2;
}

Celui-ci par contre fonctionne très bien, auto me permet de rester neutre sur le retour qui sera évalué par decltype.
Pour être complet dans mon exemple j’ai du rajouté l’opérateur + dans ma classe XDate pour que l’exemple compile.

class XDate
{
//…..
friend XDate operator+(XDate&& left, const int nDayRight);
friend XDate operator+(const XDate& left, const int nDayRight);
//…
};
XDate operator+(const XDate & left, const int nDayRight)
{
XDate date;
// …
TRACE("\nM+:Date:%04X ->(%s)",date.c_str(),date.c_str());
// operation de concatenation du jour non implementée...
return date;
}

Dans cet exemple on voit la puissance du mécanisme puisque l’expression spécifiée dans decltype à permis au compilateur de déterminer le retour puisque l’opérateur + de XDate était disponible.

L’exemple suivant fonctionne aussi sans avertissement de conversion :

auto v=AddItem(10.,1);

J’additionne un double et un entier.

Pour finir j’ai constaté que dans cet exemple IntelliSense ne savait pas trop comment s’en sortir avec cette utilisation.

Laisser un commentaire

Vous devez être connecté pour poster un commentaire.

Connexion

Identifiez-vous

Créer un compte

Farscape

Laisser un commentaire

Articles récents

Commentaires récents

Archives

Catégories

Méta

Identifiant
Mot de passe

Mot de passe oublié ?