Discussion :

[MatRem]

Bonjour,

Je travaille en ce moment sur un exercice de style perso qui va me permmetre je l'espère de bien comprendre l'utilisation des templates: "les pointeurs intelligents" (smart pointers).

J'ai réalisé deux solutions:
- Pointer-1.h
- Pointer-2.h

La première solution me plasait bien. Cependant je voulais qu'au niveau de la vérification du nombre d'instance à allouer tout se fasse à la compilation. C'est la raison d'exister de la deuxième solution.

J'aurais deux petites questions concernant la deuxième solution:
- pour éviter de pouvoir créer un Pointer<T, 0>, c'est à dire allouant 0 instance de classe T, j'ai mis le constructeur de la spécialisation corespondante en private. Je ne trouve pas ça trés propre, y aurait il une autre manière de procéder?
- Ensuite il est impossible d'initialiser un pointeur de N instances avec un pointeur de M instance (Pointer<T, 10> p; Pointer<T, 11> p1 = p. Comment je peux faire pour que ça le soit?

Enfin je suis preneur de tout conseil au sujet de mon implémentaion des pointeurs intelligents.

[capitN.flam]

Pour ta première question je ne sais par contre pour la seconde, je pense qu'un truc du genre devrait fonctionner:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
template <typename T, unsigned int N=1>
class Pointer
{
  public:
    // ...
    template <unsigned int M>
    Pointer<T, N>& operator= (const Pointer<T, M>& e)
    {
      // Le code qui va bien pour la copie
      // ...
      return *this;
    }
    // ...
}

[Laurent Gomila]

- pour éviter de pouvoir créer un Pointer<T, 0>, c'est à dire allouant 0 instance de classe T, j'ai mis le constructeur de la spécialisation corespondante en private. Je ne trouve pas ça trés propre, y aurait il une autre manière de procéder?

Ce n'est pas spécialement sale. Ce que tu peux faire aussi si tu utilises boost, c'est utiliser leurs assertions statiques.

Code :

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

1
2
3
4
5
6
7
template <typename T, unsigned int N = 1>
class Pointer
{
    BOOST_STATIC_ASSERT(N != 0);
 
   ...
};

Tu peux aussi te coder un équivalent, ce n'est pas dur et c'est un bon petit exercice de méta-programmation

- Ensuite il est impossible d'initialiser un pointeur de N instances avec un pointeur de M instance (Pointer<T, 10> p; Pointer<T, 11> p1 = p. Comment je peux faire pour que ça le soit?

Comment gérerais-tu ça, pour qu'affecter M instances à un Pointer<T, N> reste correct ?

Sinon concernant les pointeurs intelligents, je te conseille de lire le chapitre consacré dans Modern C++ Design d'Andrei Alexandrescu, chapitre qui est dispo en ligne si je me souviens bien.

[MatRem]

Merci pour vos réponses.

Comment gérerais-tu ça, pour qu'affecter M instances à un Pointer<T, N> reste correct ?

J'étais arrivé à ta solution, capitN.flam, seulement je voudrais que le fait d'initialiser un Pointer<T,N> à un Pointer<T, M> transforme ce dernier en Pointer<T, N>. C'est d'ailleurs ce qui se passe avec la première solution puisque N est alors une variable membre.

Je me demande si c'est vraiment possible...


Bon sur ce je vais essayer de coder les assertions statiques, je sais pas du tout comment faire, mais déjà je sais que c'est à coup de template .

Pour info le chapitre sur les pointeurs intelligents est ici: http://www.informit.com/articles/art...=25264&redir=1

[Matthieu Brucher]

Pour les assertions statiques de Boost, j'ai un article qui va bientôt paraître à ce sujet http://miles.developpez.com/tutoriel.../staticassert/

[Laurent Gomila]

Bon sur ce je vais essayer de coder les assertions statiques, je sais pas du tout comment faire, mais déjà je sais que c'est à coup de template

Le principe n'est pas compliqué : tu fais un template qui prend un booléen en paramètre, et dont la spécialisation pour false génère une erreur de compilation. Après on peut s'amuser à trouver des choses marrantes pour que l'erreur en question soit la plus explicite possible.

seulement je voudrais que le fait d'initialiser un Pointer<T,N> à un Pointer<T, M> transforme ce dernier en Pointer<T, N>

Pas possible, puisque Pointer<T, N> et Pointer<T, M> sont deux classes différentes ; et on ne peut bien sûr pas changer le type statique d'une variable à l'exécution.