Probleme de auto_ptr avec les map

Version imprimable

Bonjour,

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
 
#include <iostream>
#include <string>
#include <map>
#include <memory>
 
using namespace std;
 
class Toto
{
  public:
    Toto(int a){/* nothing*/}
 
    void pouet(void){cout << "coucou" << endl;}
};
 
int main(void)
{
  map<string, auto_ptr<Toto> > tyty;
 
  tyty["ee"].reset(new Toto(4));
  tyty["ee"] -> pouet();
 
  return 0;
}

et l'erreur de compilation (sous gcc) :

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
 
/usr/include/c++/3.3.3/bits/stl_pair.h: In constructor `std::pair<_T1, 
   _T2>::pair(const _T1&, const _T2&) [with _T1 = const std::string, _T2 = 
   std::auto_ptr<Toto>]':
/usr/include/c++/3.3.3/bits/stl_map.h:319:   instantiated from `_Tp& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const _Key&) [with _Key = std::string, _Tp = std::auto_ptr<Toto>, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'
t1.cc:21:   instantiated from here
/usr/include/c++/3.3.3/bits/stl_pair.h:84: error: passing `const 
   std::auto_ptr<Toto>' as `this' argument of `std::auto_ptr<_Tp>::operator 
   std::auto_ptr_ref<_Tp1>() [with _Tp1 = Toto, _Tp = Toto]' discards 
   qualifiers
/usr/include/c++/3.3.3/bits/stl_pair.h: In constructor `std::pair<_T1, 
   _T2>::pair(const std::pair<_U1, _U2>&) [with _U1 = const std::string, _U2 = 
   std::auto_ptr<Toto>, _T1 = const std::string, _T2 = std::auto_ptr<Toto>]':
/usr/include/c++/3.3.3/bits/stl_construct.h:78:   instantiated from `void std::_Construct(_T1*, const _T2&) [with _T1 = std::pair<const std::string, std::auto_ptr<Toto> >, _T2 = std::pair<const std::string, std::auto_ptr<Toto> >]'
/usr/include/c++/3.3.3/bits/stl_tree.h:618:   instantiated from `std::_Rb_tree_node<_Val>* std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_create_node(const _Val&) [with _Key = std::string, _Val = std::pair<const std::string, std::auto_ptr<Toto> >, _KeyOfValue = std::_Select1st<std::pair<const std::string, std::auto_ptr<Toto> > >, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'
/usr/include/c++/3.3.3/bits/stl_tree.h:985:   instantiated from `std::_Rb_tree_iterator<_Val, _Val&, _Val*> std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::_M_insert(std::_Rb_tree_node_base*, std::_Rb_tree_node_base*, const _Val&) [with _Key = std::string, _Val = std::pair<const std::string, std::auto_ptr<Toto> >, _KeyOfValue = std::_Select1st<std::pair<const std::string, std::auto_ptr<Toto> > >, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'
/usr/include/c++/3.3.3/bits/stl_tree.h:1068:   instantiated from `std::_Rb_tree_iterator<_Val, _Val&, _Val*> std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>::insert_unique(std::_Rb_tree_iterator<_Val, _Val&, _Val*>, const _Val&) [with _Key = std::string, _Val = std::pair<const std::string, std::auto_ptr<Toto> >, _KeyOfValue = std::_Select1st<std::pair<const std::string, std::auto_ptr<Toto> > >, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'
/usr/include/c++/3.3.3/bits/stl_map.h:364:   instantiated from `typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, _Alloc>::iterator std::map<_Key, _Tp, _Compare, _Alloc>::insert(typename std::_Rb_tree<_Key, std::pair<const _Key, _Tp>, std::_Select1st<std::pair<const _Key, _Tp> >, _Compare, _Alloc>::iterator, const std::pair<const _Key, _Tp>&) [with _Key = std::string, _Tp = std::auto_ptr<Toto>, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'
/usr/include/c++/3.3.3/bits/stl_map.h:319:   instantiated from `_Tp& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const _Key&) [with _Key = std::string, _Tp = std::auto_ptr<Toto>, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'
t1.cc:21:   instantiated from here
/usr/include/c++/3.3.3/bits/stl_pair.h:88: error: passing `const 
   std::auto_ptr<Toto>' as `this' argument of `std::auto_ptr<_Tp>::operator 
   std::auto_ptr_ref<_Tp1>() [with _Tp1 = Toto, _Tp = Toto]' discards 
   qualifiers

une idée d'ou peut venir l'erreur ?

Luther

07/04/2005, 18h52
Selenite

http://c.developpez.com/faq/cpp/?pag...NTEURS_autoptr

On y lit, entre autre, que auto_ptr ne devrait pas être utilisé avec les conteneurs de la STL. Et je suis bien d'accord ;-).
07/04/2005, 19h47
Luther

Citation:

Envoyé par Selenite

http://c.developpez.com/faq/cpp/?pag...NTEURS_autoptr

On y lit, entre autre, que auto_ptr ne devrait pas être utilisé avec les conteneurs de la STL. Et je suis bien d'accord ;-).

Je viens de lire la ref mais je ne comprend pas pk ?

Luther
07/04/2005, 20h26
Selenite

Parce que concrètement, tes pointeurs seront invalides.
07/04/2005, 21h31
Aurelien.Regat-Barrel

Oui, mais il constatera ce problème à l'exécution. Là il a un problème de compilation, mais je sais pas trop pourquoi.

J'ai reçu a trouver une explication :

Le debut de mon erreur :

Code:

1
2
 
/usr/include/c++/3.3.3/bits/stl_map.h:319:   instantiated from `_Tp& std::map<_Key, _Tp, _Compare, _Alloc>::operator[](const _Key&) [with _Key = std::string, _Tp = std::auto_ptr<Toto>, _Compare = std::less<std::string>, _Alloc = std::allocator<std::pair<const std::string, std::auto_ptr<Toto> > >]'

A la ligne 319 de stl_map.h:

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
 
 mapped_type&
    operator[](const key_type& __k)
    {
      // concept requirements
      __glibcpp_function_requires(_DefaultConstructibleConcept<mapped_type>)
 
      iterator __i = lower_bound(__k);
      // __i->first is greater than or equivalent to __k.
      if (__i == end() || key_comp()(__k, (*__i).first))
        __i = insert(__i, value_type(__k, mapped_type())); // ligne 319
      return (*__i).second;
    }

avec dans mon cas :

Code:

1
2
3
4
 
value_type(__k, mapped_type())
<=>
pair<string, Toto>

Or dans le constructucteur de pair (stl_pair.h ligne 84) :

Code:

1
2
 
pair(const _T1& __a, const _T2& __b) : first(__a), second(__b) {}

Donc il faut un constructeur par copie pour les deux elementde map.

Le probleme est que les auto_ptr en n'ont pas !

Luther

Si, apparement il existe.
C'est bizarre, j'ai essayé ton exemple avec BCB et ça compile bien.
Tu utilises peut-être une STL non standard ?!?!

Par contre je m'associe à Selenite pour la mise en garde.
Il faut bien savoir comment fonctionne les auto_ptr pour s'amuser à ça!
Code:

1 2 3 4 5 6 7 8 9 10 11 12 Public Member Functions auto_ptr (element_type *__p=0) throw () An auto_ptr is usually constructed from a raw pointer. auto_ptr (auto_ptr &a) throw () An auto_ptr can be constructed from another auto_ptr. template<typename Type1> auto_ptr (auto_ptr< Type1 > &a) throw () An auto_ptr can be constructed from another auto_ptr. auto_ptr & operator= (auto_ptr &a) throw () auto_ptr assignment operator. template<typename Type1> auto_ptr & operator= (auto_ptr< Type1 > &a) throw () auto_ptr assignment operator.

08/04/2005, 10h42
Luther

Pour l'aspect standard, j'utilise la STL de Linux donc je suis quasi sur qu'elle respect le standard...

Par contre apres une recherche plus approfondi sur internet, j'ai trouvé un peu plus d'information :

http://cpptips.hyperformix.com/cpptips/autoptr_contain

et

http://www.gotw.ca/publications/usin...ffectively.htm

donc c'est logique qu'il n'est pas de constructeur par copie dans le template auto_ptr.

Luther
08/04/2005, 10h49
Aurelien.Regat-Barrel

VC++ donne un seul message d'erreur apparement plus clair:

Citation:

c:\Program Files\Microsoft Visual Studio .NET 2003\Vc7\include\utility(34): error C2558: class 'std::auto_ptr<_Ty>' : pas de constructeur de copie disponible ou le constructeur de copie est déclaré 'explicit'
with
[
_Ty=Toto
]

moi aussi je pensais que ça venait du constructeur explicit de auto_ptr, sauf que si je fait la même chose avec Toto, et utilise Toto dans la map, ça passe... http://arb.developpez.com/smileys/gratgrat.gif