Les template typedefs existent ils ? [Résolu]

[SalutAVous]

Bonjour,

J'essaye de comprendre certaines notions de généricité en C++ (même si je ne vois pas toujours leurs intérêts...) et je viens donc lire récemment un tutoriel sur le template rebinding : http://alp.developpez.com/tutoriels/templaterebinding/

J'ai compris comment fonctionne le template rebinding (je ne sais pas par contre si c'est souvent utile...) mais dans le tuto il est dit que les template typedefs n'existent pas en C++.
Vu que le tutoriel date un peu (2007) et que je ne trouve pas de réponses sur le web je souhaiterai savoir si maintenant les template typedefs existent.



PS: Je préfère vous demander conseil avant : j'aimerais aussi lire ce tutoriel sur la metaprogrammation : http://loulou.developpez.com/tutoriels/cpp/metaprog/
Mais vu qu'il date de 2004 je me demande si c'est toujours d'actualité ? Ou si je perds mon temps en lisant. Quelqu'un pour m'aider ?

[Arzar]

Bonjour,

Oui les template typedef sont maintenant disponibles en C++11 ! Hourra !
Par contre elles ne sont implémentées que sur les compilateurs très récents, et encore pas sur tous... (pas sur visual studio par exemple)

L'article à l'époque prévoyait une syntaxe dans ce genre :

Code :

1
2
3
4
5
6
7
8
9
 
template <typename T>
struct S
{
	template <typename U> typedef S<U> OtherType;
};
 
// On y accèderait ainsi
S<int>::OtherType<double> sd; // sd est de type S<double>

Mais finalement la syntaxe choisie ne fait pas appel à typedef mais à l'instruction "using". On n'appelle plus ça des "template typedef" mais des "template alias"
Il faut écrire :

Code :

1
2
3
4
5
6
7
8
9
10
 
template <typename T>
struct S
{
   template <typename U> 
   using OtherType = S<U>;
};
 
// On y accèderait ainsi
S<int>::OtherType<double> sd; // sd est de type S<double>

Note que using peut s'appliquer partout où un typedef est valide et, de fait, peut remplacer entièrement typedef en C++11.

On peut par exemple écrire :

Code :

1
2
3
4
5
6
7
8
9
10
11
12
 
using MYINT = int;
using HANDLE = void*;
using funcptr =  void(*)(int, int); // plus lisible que le typedef correspondant !
 
template <typename T>
class my_vector
{
public:
   using iterator = T*;
   using value_type = T;
};

[SalutAVous]

Ah oui effectivement la syntaxe est bien mieux je trouve.
Et du coup plus besoin de template rebinding.

Et bien merci pour cette réponse

[gbdivers]

En complément : Nouvelles fonctionnalités du C++11 - Alias de templates. On peut également les utiliser avec des types non template, à la place de typedef (à terme, cela pourrait remplacer complètement les typedef). C'est dans gcc à partir de 4.7

Pour le second article, oui, il est très intéressant à lire, d'autant plus si tu vois pas forcement l'intérêt de la méta prog

[SalutAVous]

Merci, je vais lire tout ça alors !
Et je met le sujet en résolu bien sûr.

[koala01]

Salut,

En fait, le template rebinding est une technique qui est appelée à pallier certains manques que la nouvelle norme tente de combler.

La nouvelle norme nous permet d'écrire plus facilement des algorithmes qui tiennent du template rebinding, mais le principe reste toujours le même.

En plus, il faut savoir que, comme la nouvelle norme est "toute récente", le nombre de compilateurs qui supportent l'ensemble des opportunités qu'elle offre reste restreint, et que tu risques malgré tout de te trouver face à un compilateur qui... ne supporte pas toutes les possibilités de C++11.

L'idéal est donc de ne pas se dire "plus besoin de template rebinding" mais bien de se dire "avec un peu de chance, je pourrai faire sans", tout en gardant cette technique sous la main pour le cas où "tu n'aurais pas de chance"

Pour ce qui concerne l'article sur la méta programmation, il a beau dater un peu, il reste tout à fait d'actualité (meme si la nouvelle norme nous apporte certaines facilités) et te permettra d'avoir une idée plus que correcte de l'utilité que peut avoir la méta programmation.

Mais, en deux mots, il te permet de te rendre compte qu'il est parfois possible de "laisser travailler le compilateur pour nous" et donc de s'éviter d'avoir à recoder sans cesse la même chose