Discussion :

[indy2]

bonjour,
je voudrais convertir un machin<T> en machin<U> avec un constructeur par copie alors j'ai fait:

template <class U> Machin(const Machin<U> & m) {}

sauf qu'il me faut aussi le contructeur par copie avec le type T (comme celui par defaut) donc j'ai rajouté :

Machin(const Machin & m) (ou const Machin<T> & m qui fait pareil)

mais il me dit que la fonction est déjà défini par la fonction du dessus.
comment doit-je faire?

merci

ps: si quelqu'un pouvais m'expliquer aussi la différence entre template <class U> et template <typename U> merci.

[xavlours]

Bonjour !
Ca ne devrait pas ressembler a un truc du genre :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
template <class U>
class Machin
{
public :
  template<class T> Machin(const Machin<T>& m)
    {
      if (T == U)
        constructeur par copie classique
       else if (T == monType)
        constructeur par conversion
      else
        erreur :  le type T n'est pas convertible
    }
}

P.S. : je suis pas encore tres experimente, et j'ai pas teste, j'implore votre tolerance si j'ai ecrit une grosse c...

[indy2]

non parceque template<class T> Machin(const Machin<T>& m) n'est pas considérer comme un constructeur par copie du même type (Machin<U>)
merci quand même.
Quelqu'un a une autre idée svp?

[Laurent Gomila]

P.S. : je suis pas encore tres experimente, et j'ai pas teste, j'implore votre tolerance si j'ai ecrit une grosse c...

Oui, mais bon on ne t'en veux pas . En C++ pour écrire du code différent selon le paramètre template il faut faire de la spécialisation, càd écrire une version différente de la fonction pour chaque type spécialisé.

Ce code ne compile pas ?

Code :

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

1
2
3
4
5
6
7
template <class T>
class Bop
{
    Bop(const Bop<T>& b) {}
 
    template <class U> Bop(const Bop<U>& b) {}
};

ps: si quelqu'un pouvais m'expliquer aussi la différence entre template <class U> et template <typename U> merci.

Aucune à ma connaissance. D'ailleurs ça m'étonne, car ce n'est pas dans les habitudes du C++ de faire dans l'inutile.

[indy2]

Ce code ne compile pas ?

Code :

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

1
2
3
4
5
6
7
template <class T> 
class Bop 
{ 
    Bop(const Bop<T>& b) {} 
 
    template <class U> Bop(const Bop<U>& b) {} 
};

non ca fait :
bop.cpp(6) : error C2535: '__thiscall Bop<U>::Bop<U>(const class Bop<U> &)' : member function already defined or declared
bop.cpp(4) : see declaration of 'Bop<T>::Bop<T>'
bop.cpp(7) : see reference to class template instantiation 'Bop<T>' being compiled

[Laurent Gomila]

Quel est ton compilo ?

Si c'est VC6 ça pourrait être normal.

[Aurelien.Regat-Barrel]

+1
Chez moi avec VC++ 7.1 ce code compile:

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
16
 
template <class T> 
class Bop 
{ 
public:
    Bop() {}
    Bop(const Bop<T>& b) {} 
 
    template <class U> Bop(const Bop<U>& b) {} 
}; 
 
int main()
{
    Bop<int> b1;
    Bop<float> b2( b1 );
}

[indy2]

oui ca viens bien du compilateur VC6

merci de votre aide

@+

[Luc Hermitte]

Il doit quand même y avoir un moyen de feinter. Dans mes vagues souvenirs de COM, et de la biblio ATL, il y avait des classes (com_ptr_t<> peut-être?) qui avaient justement un constructeur normal et un template -- ou était-ce une spécialisation template...?. Ca marchait bien avec le SP4.

Tu devrais pouvoir t'inspirer du fichier d'en-têtes correspondant. (MSDN pour le retrouver)

[JolyLoic]

ps: si quelqu'un pouvais m'expliquer aussi la différence entre template <class U> et template <typename U> merci.

Aucune à ma connaissance.

Je confirme : Aucune

D'ailleurs ça m'étonne, car ce n'est pas dans les habitudes du C++ de faire dans l'inutile.

Comme le mot clef typename était nécessaire par ailleurs, le coût d'ajouter un mot clef supplémentaire était déjà payé. Et des gens étaient gênés au niveau de l'équilibre de leur karma interne que l'on puisse passer un int ou un double à un template <class T> car ni int ni double ne sont des classes.

[Ti-R]

Ce code ne compile pas ?

Code :

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

1
2
3
4
5
6
7
template <class T> 
class Bop 
{ 
    Bop(const Bop<T>& b) {} 
 
    template <class U> Bop(const Bop<U>& b) {} 
};

non ca fait :
bop.cpp(6) : error C2535: '__thiscall Bop<U>::Bop<U>(const class Bop<U> &)' : member function already defined or declared
bop.cpp(4) : see declaration of 'Bop<T>::Bop<T>'
bop.cpp(7) : see reference to class template instantiation 'Bop<T>' being compiled

Bon il y a une astuce pas super propre... avec VC++ 6... bon les puristes vont pas être d'accord, mais quand on à pas le choix :-/

Au lieu de

Code :

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

    template <class U> Bop(const Bop<U>& b) {}

tu mets

Code :

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

    template <class U> Bop(Bop<U>& b) {}

Sans le const, et cela devrait compiler

Enjoy