Discussion :

[Flo.]

Bonjour

Dans quelle situation est-il utile de pouvoir récupérer le type du template ?

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
template <class T>
class A
{
typedef T type; // comment et à quoi cela est utile ?
};

Pour l'utiliser (avec VC++6) je ne sais pas faire autrement que de préciser le type :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
A<int>::type myvar = 5;

Mais je doute que ce soit l'intérêt....

Pouvez-vous me donner un exemple où cela est utile ?

Merci.

Flo.

[Obsidian]

Bonjour

Dans quelle situation est-il utile de pouvoir récupérer le type du template ?

Récupérer le type du template, c'est surtout intéressant à l'intérieur de la déclaration ou la définition de la classe elle-même. C'est même tout l'intérêt des templates.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
template <class T>
class A
{
typedef T type; // comment et à quoi cela est utile ?
};

Pour l'utiliser (avec VC++6) je ne sais pas faire autrement que de préciser le type :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
 
A<int>::type myvar = 5;

Récupérer un type défini par typedef en dehors de la classe elle-même, par contre, ça peut avoir un intérêt dans le cas de spécialisations de templates pour que type puisse comporter des exceptions dans certains cas et mapper occasionnellement quelque chose d'autre que T. À part ça, je ne vois pas.

[koala01]

Salut,

Ce qu'il faut d'abord comprendre, c'est que ce qui est intéressant avec les fonctions et classes template, c'est que le type générique indiqué peut être... strictement tout et n'importe quoi, y compris... un autre type générique

D'un autre coté, il faut prendre conscience que l'on peut spécialiser une structure ou une classe template, de manière complete ou partielle, mais que l'on ne peut pas spécialiser une fonction template.

Pour comprendre toute la puissance et tout l'intérêt de la définition d'un alias de type, et parce que l'explication prendrait énormément de temps, je te conseillerais de t'intéresser aux traits de politique (policy traits)...

C'est en effet dans cet optique que la définition d'alias de type s'épanouit pleinement

[Alp]

Salut,

koala01 ne "t'a dit que la moitié des choses" (façon de parler hein, ce n'est pas une critique ). En effet, j'ai écrit un article sur la question que tu te poses, en plus de celui sur les traits/politiques
Je te renvoie donc vers mon article sur le template rebinding.

[Flo.]

J'ai lu vos articles ...

... et j'en ai appris beaucoup.

Je comprends l'intérêt de récupérer le type d'un template ... et tout ce que cela entraîne derrière.

Je ne saurais pas encore comment utiliser tout ce que j'ai lu mais savoir que cela existe est déjà un pas.

Merci.

Flo.

[koala01]

Tu peux aussi t'intéresser à la bibliothèque loki, qui est une bibliothèque mettant en oeuvre les différents desing patterns, orientée template, et qui manipule énormément les alias de type génériques...

Les explications aidant, cela devrait t'aider à comprendre toute l'utilité

(désolé, mais le lien est en Anglais )

[Alp]

Tu peux aussi t'intéresser à la bibliothèque loki, qui est une bibliothèque mettant en oeuvre les différents desing patterns, orientée template, et qui manipule énormément les alias de type génériques...

Les explications aidant, cela devrait t'aider à comprendre toute l'utilité

(désolé, mais le lien est en Anglais )

D'ailleurs, Loki a été réalisée "pour un livre" que son auteur a écrit, "Modern C++ Design" de A. Alexandrescu, et mon tutoriel est fortement influencé par le point de vue d'Alexandrescu, tout comme ma façon de concevoir des architectures logicielles l'est
Ce livre est excellent, donc si les problématiques de modularité, généricité & compagnie t'intéressent, n'hésite pas

[Matthieu Brucher]

Je ne saurais pas encore comment utiliser tout ce que j'ai lu mais savoir que cela existe est déjà un pas.

Ca viendra vite
Dans une bibliothèque matricielle, c'est le seul moyen qu'une fonction libre puisse récupérer de manière statique (à la compilation) le type de données stockées, par exemple pour initialiser correctement le résultat d'une opération.