Exercice du livre de Abrahams C++ Template Metaprogramming

Bonjour,

Dans le livre de Abrahams, il propose un exo:
write an unary metafunction add_const_ref that returns T if it is a reference type otherwise return T const&.

voila ce que je propose:

Code:

---

1 2 3 4 5 6 7 8 9

template<class U> XXX add_const_ref(){ typedef const U& MyConstRefType; typedef U& MyRefType; if(is_same<U,MyRefType>()==0){   return MyConstRefType; }; };

---

Mais je ne vois pas quoi écrire dans XXX. Je ne vois pas comment déclare le type de renvoie d'une telle fonction add_const_ref().


Je vous remercie.

Tu ne peux pas renvoyer comme ca un type. Tu peux seulement renvoyer des objets. Si tu veux faire ca, il faut passer par de la meta-prog et des templates comme le montre le livre que tu cites. Mais absolument pas par des fonctions.

PS: Je te conseille de t'attarder plus sur les template elles mêmes avant de livre$ C++ Template Metaprogramming, car tu as de grosses lacunes.

Citation:

---

Si tu veux faire ca, il faut passer par de la meta-prog et des templates comme le montre le livre que tu cites. Mais absolument pas par des fonctions.

---

Mais je ne comprends pas l'exo. Qu'est ce qu'il veut qu'on fasse?

T'as lu le livre avant? :s. Parce que là ce que tu fais c'est pas une metafunction hein c'est une fonction tout ce qu'il y'a de plus classique. (et en effet tu y'arrives pas... tu peux pas "retourner" un type).

Une solution possible :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12

template <typename T> struct add_const_ref { typedef const T& type; };   template <typename T> struct add_const_ref<T&> { typedef T type; };

---

Ok, merci pour la réponse.
ce que je ne comprends pas, c'est comment une struct peut-elle être une metafonction?
Si je reprends la définition de metafonction: a function that operates on metadata and can be invoked at compile time. For the remainder of this book, a template or class will be called a metafunction if it has no non-type parameters and returns type called type.

Mais ok, si on définit une metafonction comme un template ou une classe, alors j'accepte la définition.

Citation:

---

Envoyé par deubelte

Mais ok, si on définit une metafonction comme un template ou une classe, alors j'accepte la définition.

---

Les méta-fonction correspondent en C++ à l'utilisation des classes génériques et de leur spécialisation en opérant sur les types (et d'éventuelles constantes). Je te donnerais le même conseil que Davidbrcz : renforce d'abord ta connaissance du langage.

Je donnerais pour ma part un conseil légèrement différent : Renforce d'abord ta pratique du langage. J'ai un peu l'impression que tu commences à avoir une certaine connaissance théorique du langage, mais sans l'avoir suffisamment mise en pratique pour réellement la maîtriser, et que tu fais une fuite en avant vers encore plus de théorie.

Citation:

---

Je donnerais pour ma part un conseil légèrement différent : Renforce d'abord ta pratique du langage. J'ai un peu l'impression que tu commences à avoir une certaine connaissance théorique du langage, mais sans l'avoir suffisamment mise en pratique pour réellement la maîtriser, et que tu fais une fuite en avant vers encore plus de théorie.

---

Tu as parfaitement raison. Mais j'ai néanmoins des contraintes professionnelles qui m'obligent à aller plus vite en théorie qu'en pratique, et donc avoir un décalage. Mais bon, je vais aller doucement en théorie et renfocer la pratique