SmartPointer non fonctionnel

Version imprimable

Voir 40 message(s) de cette discussion en une page

06/03/2008, 12h02
corrector

Citation:

Envoyé par Médinoc

Code:

CSmartPointer(T *p)

C'est exprès que tu définis une conversion implicite?
06/03/2008, 12h08
Médinoc

Non plus. J'ai tapé le truc à la va-vite car je voulais surtout mettre en évidence l'idiome copy-swap (ce à quoi j'ai magnifiquement échoué parce que j'ai mis un const de trop :oops:)...

J'ai corrigé, et je viens d'en profiter pour rajouter un constructeur par défaut.

Citation:
Envoyé par Médinoc
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 template< class T > class CSmartPointer { public: CSmartPointer(void) : p(NULL), pr(NULL) { } CSmartPointer(CSmartPointer const &src) : p(src.p), pr(src.pr) { (*pr)++; } private: T *p; int *pr; };
Edit: Menues corrections.
On ne peut pas copier un CSmartPointer défaut-initialisé :

Code:

CSmartPointer<int> p (CSmartPointer ());

déréférence un pointeur nul!

06/03/2008, 13h43
Médinoc

re-re-re-corrigé!

Dis, quand on aura fini, on pourra supprimer les postes de corrections ? Ils me dépriment un peu...
(d'un autre côté, je n'ai jamais voulu cacher que c'était codé sur le pouce)
06/03/2008, 13h50
corrector
Citation:

Envoyé par Médinoc

re-re-re-corrigé!

Dis, quand on aura fini, on pourra supprimer les postes de corrections ? Ils me dépriment un peu...
(d'un autre côté, je n'ai jamais voulu cacher que c'était codé sur le pouce)

Oui, j'y avais pensé.

Code:

CSmartPointer(void)

Pourquoi (void)? Pourquoi pas ()?
Code:

1 2 3 4 5 explicit CSmartPointer(T *p) { this->p = p; this->pr = new int(1); }
Pourquoi pas d'init-list?
06/03/2008, 13h59
Médinoc
1. L'habitude de la différence entre () et (void) en C, je préfère mettre systématiquement (void).
2. Et donc, ça, ça marche, ça compilera et ça fera exactement ce qu'on veut que ça fasse ? (hormis le contrôle sur les exceptions)
  Code:
  
  1 2 3 explicit CSmartPointer(T *p) : p(p), pr(new int(1)) { }
06/03/2008, 14h04
corrector
Citation:
Envoyé par Médinoc

L'habitude de la différence entre () et (void) en C, je préfère mettre systématiquement (void).
Et donc, ça, ça marche, ça compilera et ça fera exactement ce qu'on veut que ça fasse ? (hormis le contrôle sur les exceptions)

Code:

1 2 3 explicit CSmartPointer(T *p) ; p(p), pr(new int(1)) { }
2 : Hormis un échec de new, et le ";" au lien de ":", oui, ça fait ce qu'on veut.
06/03/2008, 20h06
babar63
Citation:

Envoyé par corrector

Oui. C'est justement le cas typique où on nomme un paramètre comme un membre, exprès : quand le membre est initialisé par le paramètre. C'est idiomatique, et probablement le seul cas où j'admettrai le masquage de noms de variables

Je ne sais pas pourquoi mais j'avais en tête que ce n'étais pas possible, j'ai du le vérifier pour le croire :D, mais au final je suppose qu'il est quand même plus clair d'avoir deux noms différents et ça ne coute pas bien cher non... (enfin je suppose que c'est une question de choix personel)...?

Citation:

Envoyé par corrector

C'est très vraisemblablement ce voudra l'utilisateur, même si ce n'est techniquement pas commit-or-rollback, donc le constructeur lui-même n'est pas strong exception safe, mais il faut considérer le contexte d'utilisation :

Code:

CSmartPointer<T> p (new T);

Si CSmartPointer (T*) garanti la prise en charge même en cas d'échec ("fail-and-commit"), alors la déclaration de p est strong exception safe : soit l'objet créé est pris en charge par un CSmartPointer, soit tout est nettoyé

Je ne suis pas sûr de tout saisir (:oops:), quelle serait le code adapté alors... :
Code:

1 2 3 4 5 6 7 8 9 10 CSmartPointer(T *_p) : p(_p) { try{ this->pr = new int(1); } catch(bad_alloc &) { delete p; throw; } }
Dans ce cas précis, la gestion d'un bloc catch_try ne coûte pas trop cher en terme de performance?
Juste par curiosité, dans quelle cas ce genre d'exception arrive en général (je n'ai jamais été confronté à ce problème :oops:)?
06/03/2008, 21h44
babar63
Et tant qu'à faire, n'est-il pas préférable d'éviter les exceptions justement :
Code:

1 2 3 CSmartPointer(T *_p) : p(_p), pr(new(nothrow) int(1)) { }
07/03/2008, 09h11
Médinoc

Dans un constructeur, pas trop.
07/03/2008, 11h46
corrector
Citation:
Envoyé par babar63

Et tant qu'à faire, n'est-il pas préférable d'éviter les exceptions justement :

Code:

1 2 3 CSmartPointer(T *_p) : p(_p), pr(new(nothrow) int(1)) { }
Montre moi ta ré-écriture de toute la classe CSmartPointer.

Je retire ce que j'ai dit sur le nothrow (:oops:) la suite de mon code est basé sur un compteur sencé être alloué correctement donc... voila le code complet de ma classe :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
template <class T>
class CSmartPointer
{
public:
 
	CSmartPointer(T *Pointer = NULL);
	CSmartPointer(CSmartPointer<T> const &SmartPointer);
 
	~CSmartPointer();
 
	CSmartPointer<T> & operator = (CSmartPointer<T> const &SmartPointer);
	CSmartPointer<T> & operator = (T *Pointer);
	bool operator () ();
	T const * const operator -> () const;
	T * const operator -> ();
	T const & operator * () const;
	T & operator * ();
 
	operator T const * const() const;
	operator T * const();
 
	void Swap(CSmartPointer<T> &SmartPointer);
 
	template <class Other>
	operator CSmartPointer<Other>() const;
 
private:
 
	T		*m_Pointer;			// Pointer on the object
	int		*m_Counter;			// Counter on the object pointed
};

Et l'implémentation :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
template <class T>
inline CSmartPointer<T>::CSmartPointer(T *Pointer) : m_Pointer(Pointer), m_Counter(NULL)
{
	try{
		m_Counter = new int(1);
	}
	catch(std::bad_alloc &) {
		SAFE_DELETE(m_Pointer);
		throw;
	}
}
 
 
template <class T>
inline CSmartPointer<T>::CSmartPointer(CSmartPointer<T> const &SmartPointer) : m_Pointer(SmartPointer.m_Pointer), m_Counter(SmartPointer.m_Counter)
{
	++(*m_Counter);
}
 
template <class T>
inline CSmartPointer<T>::~CSmartPointer()
{
	if( --(*m_Counter) == 0 )
	{
		delete m_Pointer;
		delete m_Counter;
	}
}
 
template <class T>
inline CSmartPointer<T> & CSmartPointer<T>::operator = (CSmartPointer<T> const &SmartPointer)
{
	CSmartPointer<T> CopyTmp(SmartPointer);
	Swap(CopyTmp);
	return *this;
}
 
template <class T>
inline CSmartPointer<T> & CSmartPointer<T>::operator = (T *Pointer)
{
	CSmartPointer<T> CopyTmp(Pointer);
	Swap(CopyTmp);
	return *this;
}
 
template <class T>
inline bool CSmartPointer<T>::operator () ()
{
	return(m_Pointer!=NULL);
}
 
template <class T>
inline T const * const CSmartPointer<T>::operator -> () const
{
	Assert( m_Pointer != NULL );
	return m_Pointer;
}
 
template <class T>
inline T * const CSmartPointer<T>::operator -> ()
{
	Assert( m_Pointer != NULL );
	return m_Pointer;
}
 
template <class T>
inline T const & CSmartPointer<T>::operator * () const
{
	Assert( m_Pointer != NULL );
	return (*m_Pointer);
}
 
template <class T>
inline T & CSmartPointer<T>::operator * ()
{
	Assert( m_Pointer != NULL );
	return (*m_Pointer);
}
 
template <class T>
inline CSmartPointer<T>::operator T const * const() const
{
	return m_Pointer;
}
 
template <class T>
inline CSmartPointer<T>::operator T * const()
{
	return m_Pointer;
}
 
template <class T>
inline void CSmartPointer<T>::Swap(CSmartPointer<T> &SmartPointer)
{
	std::swap(m_Pointer, SmartPointer.m_Pointer);
	std::swap(m_Counter, SmartPointer.m_Counter);
}
 
template <class T>
template <class Other>
inline CSmartPointer<T>::operator CSmartPointer<Other>() const
{
	Other *Pointer = (Other *)m_Pointer;
 
	return CSmartPointer<Other>(Pointer);		
}

Je ne suis pas encore bien habitué au mot clé explicit mais dans mon projet j'utilise :

Code:

SceneManager.AddCamera( new CCamera(*this) );

Avec AddCamera prenant un smart pointer (de CCamera) en paramètre, dans ce cas il faut bien utiliser le constructeur en tant que conversion implicite non?
Enfin si vous avez d'autres conseils ou critiques sur le code je suis preneur encore merci à tous :D

NOTE : l'opérateur de conversion n'a pas encore était testé(:oops:), je ne suis pas sur que ce soit très correct (enfin j'y viendrai...)

07/03/2008, 13h47
Médinoc

Je pense que tu peux utiliser le swap aussi sur operator= (T*).
Et aussi, je te pose la question avant corrector: Constructeur implicite, c'est voulu ?
07/03/2008, 14h18
babar63

Citation:

Envoyé par Médinoc

Je pense que tu peux utiliser le swap aussi sur operator= (T*).

En effet ça semble fonctionner, c'est modifé merci ;)

Citation:

Et aussi, je te pose la question avant corrector: Constructeur implicite, c'est voulu ?

En prévision a cette question qui m'a était posé 3fois :mouarf: j'ai laissé ce message :

Citation:

Envoyé par babar63

Je ne suis pas encore bien habitué au mot clé explicit mais dans mon projet j'utilise :

Code:

SceneManager.AddCamera( new CCamera(*this) );

Avec AddCamera prenant un smart pointer (de CCamera) en paramètre, dans ce cas il faut bien utiliser le constructeur en tant que conversion implicite non?

Pourquoi cette question revient-elle? Il y a des risques (dans mon cas)?
07/03/2008, 14h41
Médinoc

OK. En effet, là, le constructeur implicite est requis, je pense.

Et pour les risques, je ne sais pas trop à part des risques de confusion. J'ai surtout posé la question par mimétisme, parce que corrector la posait...

Citation:
Envoyé par babar63
Code:

1 2 3 4 5 template <class T> class CSmartPointer { public: CSmartPointer(CSmartPointer<T> const &SmartPointer);
Dans la classe elle-même, tu peux écrire CSmartPointer à la place de CSmartPointer<T>.

Citation:

Envoyé par babar63

Code:

bool operator () ();

Pourquoi faire un foncteur?
Citation:
Envoyé par babar63
Code:

1 2 3 4 5 6 7 T const * const operator -> () const; T * const operator -> (); T const & operator * () const; T & operator * (); operator T const * const() const; operator T * const();
Pourquoi la distinction const/non const?

(Soit rigoureux dans ton explication.)
Citation:
Envoyé par babar63
Code:

1 2 3 4 template <class T> inline CSmartPointer<T>::CSmartPointer(T *Pointer) : m_Pointer(Pointer), m_Counter(NULL) { AllocateCounter();
Pourquoi faire une fonction séparée? Tu ne l'appelles qu'une seule fois.
Citation:
Envoyé par babar63
Code:

1 2 3 4 template <class T> inline CSmartPointer<T>::CSmartPointer(CSmartPointer<T> const &SmartPointer) : m_Pointer(SmartPointer.m_Pointer), m_Counter(SmartPointer.m_Counter) { ++(*m_Counter);
Ces parenthèses sont redondantes.
Citation:
Envoyé par babar63
Code:

1 2 3 4 template <class T> inline CSmartPointer<T>::~CSmartPointer() { if( --(*m_Counter) == 0 )
Ces parenthèses sont redondantes.
Citation:
Envoyé par babar63
Code:

1 2 3 4 5 template <class T> inline T const & CSmartPointer<T>::operator * () const { Assert( m_Pointer != NULL ); return (*m_Pointer);
Ces parenthèses sont redondantes.
Citation:
Envoyé par babar63
Code:

1 2 3 4 template <class T> inline void CSmartPointer<T>::AllocateCounter() { SAFE_DELETE(m_Counter);
Pourquoi SAFE_DELETE?

07/03/2008, 15h38
Médinoc

Citation:

Pourquoi la distinction const/non const?

En effet, ce n'est pas forcément approprié. Mais ça peut aussi l'être, dépendant des circonstances. Enfin, je crois. Mais en y réfléchissant plus, je ne vois plus trop où, les exemples que j'avaient en tête s'écroulent dès que j'y pense plus d'une seconde...

Pour bien faire, il faudrait peut-être deux versions de la classe: Une qui fait des contrôles comme ça, une autre où la constance de l'objet est complètement dissociée de celle du pointeur intelligent...
07/03/2008, 15h41
corrector

Citation:

Envoyé par Médinoc

En effet, ce n'est pas forcément approprié.

En fait ça n'a aucun sens.
07/03/2008, 16h31
babar63
Citation:

Envoyé par corrector

Pourquoi faire un foncteur?

D'après la FAQ c'est un prédicat si j'ai bien compris, je l'utilise simplement pour tester si mon objet pointé est valide(NULL) ou non.

Citation:

Envoyé par corrector

Pourquoi la distinction const/non const?

N'est-il pas correct d'utiliser un maximum de const lorsqu'on le peut? Voila un exemple de mon projet qui utilise la fonction

Code:

T const * const operator -> () const;
Code:

1 2 3 4 5 //fonction membre de CSeneManager : std::vector<ILightPtr> const & GetLights() const { return m_Scene->Lights; // Un vecteur de ILightPtr membre de la class }
Je suppose que je n'ai pas besoin de montrer d'exemple pour le même opérateur sans tous ces consts :), ce n'est donc pas correct? pourquoi?

Citation:

Envoyé par corrector

Soit rigoureux dans ton explication

Je fais de mon mieux mais je suis en train d'apprendre donc je ne peux pas toujours expliquer comme il le faudrait, sans doute je l'ai vu quelques part, ça m'a parut intelligent, j'ai gardé l'idée et je la ressort de temps en temps :oops:.

Citation:

Envoyé par corrector

Pourquoi faire une fonction séparée? Tu ne l'appelles qu'une seule fois

Justement je l'appelais dans mon opérateur :

Code:

CSmartPointer<T> & operator = (T *Pointer);

Que j'ai modifié à la suite de la remarque de médinoc, mais j'ai oublié de supprimer la fonction après...(je le fais de suite)

Citation:

Envoyé par corrector

Ces parenthèses sont redondantes

Je préfère parfois mettre un peu plus de parenthèse, dans la limite du raisonnable je trouve le code plus clair... Est-ce un mauvais réflexe?

Citation:

Envoyé par corrector

Pourquoi SAFE_DELETE

Euh....:roll:.... Pour le coup j'avoue que je ne vois plus donc sans doute une mauvaise raison :oops:. En revanche le deuxième :
Code:

1 2 3 4 catch(std::bad_alloc &) { SAFE_DELETE(m_Pointer); throw; }
est correct non? Je l'utilise pour supprimer m_Pointer si il est NULL et le réinitialiser à NULL
07/03/2008, 16h36
Médinoc

Citation:

N'est-il pas correct d'utiliser un maximum de const lorsqu'on le peut? Voila un exemple de mon projet qui utilise la fonction
<snip>
Je suppose que je n'ai pas besoin de montrer d'exemple pour le même opérateur sans tous ces consts , ce n'est donc pas correct? pourquoi?

Le problème, c'est que ce code suppose que dès que le pointeur est constant, les données pointées le sont aussi.
Si tu veux un smart pointer vers des données constantes, tu peux en faire un qui retourne toujours un T* et juste faire un CSmartPointer< const int > par exemple...

Voir 40 message(s) de cette discussion en une page