Discussion :

[zais_ethael]

Salut à tous.
Comme nous le savons tous, on ne peut pas passer le résultat d'un appel de fonction en tant que référence non constante en argument d'une autre fonction.
Le code suivant ne compile pas:

Code :

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

1
2
3
4
int getint();
void takeint(int&);
...
takeint(getint);

Par contre dans le cas de la classe auto_ptr ce code compile:

Code :

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

1
2
3
4
auto_ptr<int> getauto();
...
auto_ptr<int> myauto(getauto());
myauto=getauto();

Ca n'aurait rien d'anormal dans le cas d'une autre classe, mais auto_ptr a la particularité de prendre en argument une référence non constante en argument dans son constructeur par défaut et son opérateur d'affectation. Donc logiquement on se retrouve dans le même cas de figure que le premier code, pourtant le compilateur l'accepte.
Donc ma question: pourquoi?

Edit: faudrait que je lise un peu mieux le code avant de poster moi, en fait c'est un hack toute bête au niveau de la classe auto_ptr, faites comme si j'avais rien dit!

[Jean-Marc.Bourguet]

auto_ptr joue des tours avec la résolution de surcharge et les conversions implicites (et si j'ai bonne mémoire, ces tours dépendent du fait que c'est une classe template). J'ai pas trop envie d'expliquer les détails: il faudrait que je les retrouve d'abord car les règles de résolutions de surcharges sont complexes, en particulier quand on fait intervenir les conversions implicites et les templates.

Un bon point de départ pour ceux qui comprennent l'anglais et veulent approfondir le sujet est
http://www.informit.com/content/imag...tr_update.html

[zais_ethael]

A vrai dire c'est assez simple, auto_ptr contient un opérateur de conversion implicite vers la classe auto_ptr_ref (qui contient simplement un pointeur) qui fait un release.
Il possède aussi un constructeur et un opérateur d'affectation en prenant un en argument par référence constante et qui ont le même effet que si il s'agissait d'un simple pointeur.