Discussion :

[Pragmateek]

Salut!

J'ai entendu parler de la notion de traits dans plusieurs cours et tutoriels (notamment le MegaCour sur le site) mais je n'ai pas trouvé d'exemples concrets.

A ce que j'ai compris les traits sont des classes contenants des methodes reutilisables par d'autres classes.
Mais comment les déclarer et indiquer dans une classe que l'on va utiliser tel ou tel trait?

Merci de m'éclairer!

[JolyLoic]

C'est difficile sans exemple précis de t'aider. On peut considérer std::numeric_limits comme une classe de traits asociée aux types entiers. Peut-être que regarder cet exemple t'éclairera ?

[Pragmateek]

Numeric_limits est donc un trait?

Un exemple concret:
j'ai une classe template:

Code :

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

1
2
3
4
5
template<class T>
class nombre{
      T a;
      T b;
      };

j'en fait 2 instances:

Code :

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

1
2
nombre<int> nombre_entier;
nombre<float> nombre_float;

Maintenant je voudrait définir une methode print qui affiche a et b et qui est commune aux deux classes déclarées:

Code :

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

1
2
3
4
void print(){
             cout<<a<<endl;
             cout<<b<<endl;
             }

Comment la définir dans une classe de trait et faire en sorte qu'elle soit utilisée par les deux premieres?

Merci pour toutes vos contributions.

[JolyLoic]

Il n'y a pas besoins de traits pour ça, il suffit d'ajouter la gestion de l'opérateur<< dans ton template.

Souvent, les traits servent à ajouter des informations à un type, quand on peut pas modifier celui ci (type de base, ou type fourni par une bibliothèque fournie par un tiers).

[Pragmateek]

Il n'y a pas besoins de traits pour ça, il suffit d'ajouter la gestion de l'opérateur<< dans ton template.

Je suis d'accord mais juste pour savoir comment faire!

Merci pour ces précisions je voit mieux quand les utiliser et c'est vrai que cet exemple n'est pas vraiment approprié mais c'est juste pour apprendre le principe et voir la syntaxe.

[HanLee]

Evitez d'utilisez les mots anglais comme ça... C'est ridicule lol. Moi on me dit trait j'pense à un trait au crayon !

D'ailleurs en français, c'est... Caractéristique ?

Sinon les "traits classes" sont beaucoup utilisées dans boost, tu peux peut-être jeter un coup d'oeil aussi.

[Jean-Marc.Bourguet]

Un trait c'est une classe dont toute l'utilité est disponible sans
l'instancier ni la dériver. On utiliserait vraissemblablement des
namespace plutôt que des classes si un namespace pouvait avoir des
paramètres template et être un paramètre template.

Bien que les traits puissent être utiles en dehors des templates, c'est
surtout en conjonction avec ceux-ci qu'ils servent.

Commençons par un template avec beaucoup de paramètres:

Code :

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

template <typename T, T min, T max> f() {... min ... max}

Si la valeur passées pour une série de ces paramètres sont souvent liées,
on peut gagner de la clarté en les regroupant dans un type et en passant
plutôt ce type (exactement comme on peut gagner de la clarté en regroupant
des paramètres et en passant une structure):

Code :

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

template <typename T, typename Limits> f() {... Limit::min ... Limit::max ...}

S'il y a des valeurs par défaut adéquate, on peut les fournir:

Code :

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

1
2
template <typename T, typename MyLimits = Limits<T> > f() 
{... MyLimits::min ... MyLimits::max ...}

Ou si c'est vraiment toujours les mêmes valeurs, on peut même éviter de les
passer:

Code :

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

1
2
template <typename T> f() 
{... Limits<T>::min ... Limits<T>::max ...}

Je reprends ton exemple:

Code :

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

1
2
3
4
5
6
7
template<class T>
class nombre{
   T a;
   T b;
public:
   friend std::ostream& operator<<(std::ostream&, nombre);
};

où tu cherches à définir l'opérateur en permettant de controler l'affichage.

On va définir une classe trait donnant un défaut:

Code :

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

1
2
3
4
5
6
template <typename T>
struct afficheur {
   static void print(std::ostream& os, T const& v) {
      os << v;
   }
};

On ajoute un paramètre à ta classe:

Code :

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

template<class T, typename aff = afficheur<T> >

et on l'utilise dans l'operateur<<:

Code :

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

1
2
3
4
5
6
7
8
friend std::ostream& operator<<(std::ostream& os, nombre const& n) {
   os << '(';
   aff::print(os, n.a);
   os << ", ";
   aff::print(os, n.b);
   os << ')';
   return os;
}

A noter qu'il y a une intersection entre les policy et les traits.

[Pragmateek]

Merci pour toute ces informations et exemples!

Mais on n'est pas obligé de définir l'opérateur <<?

On pourrait pas utiliser directement "print" comme une méthode:

Code :

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

nombre_entier.print()

renverrait a et b?

[Pragmateek]

On ajoute un paramètre à ta classe:

Code :

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

1
2
 
template<class T, typename aff = afficheur<T> >

C'est pas vraiment le sujet mais le compilo, Dev-C++, aime pas le "<T> >":

Code :

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

1
2
3
18 C:\DOCUME~1\PROPRI~1\Bureau\main.cpp spurious `>>', use `>' to terminate a template argument list 
18 C:\DOCUME~1\PROPRI~1\Bureau\main.cpp expected identifier 
18 C:\DOCUME~1\PROPRI~1\Bureau\main.cpp expected `>'

[JolyLoic]

Jean-Marc a bien pris soin de taper > > avec un espace entre les deux, ton message d'erreur laisse penser que tu as tappé >> dans espace, ce qui fait que >> est interprété comme l'opérateur >>, et non comme deux > d'affilé...

[Pragmateek]

J'ai déja essayé avec un espace et il m'a indiqué une erreur de type:
"il manque un >"

Bon finalement j'ai modifié quelques trucs et j'ai recompilé et c'est bon!

[Pragmateek]

J'y voit beaucoup plus clair maintenant.

Merci a tous!

Je note le probleme