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.

[MatRem]

Savez vous comment on génère une erreur à la compilation?
J'ai essayé avec #error, mais l'erreur est déclenchée à la précompilation dès que la ligne est lue.

[Laurent Gomila]

Savez vous comment on génère une erreur à la compilation?

En écrivant du code incorrect pardi.

Du genre :

Code :

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

1
2
3
4
5
6
7
template <>
struct StaticCheck<false>
{
    struct static_check_failed;
 
    static_check_failed error;
};

La sortie du compilo sera un truc du genre "variable 'error' uses incomplete type 'static_check_failed'".

C'est pour cela que je te parlais de choses marrantes pour que l'erreur donnée par le compilo soit la plus explicite possible.

[MatRem]

Ha ouai d'accord , je préfères peut être la solution du constructeur privé alors