Discussion :

[akirira]

Bonjour,

Petit problème de template (sous GCC4.4.5): comment spécialiser un constructeur de (re)copie pour pouvoir convertir une instanciation d'un type en un autre type ?

Je m'explique. Soit l'ECM suivant:

Code :

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

1
2
3
template <typename T>
struct A
{  T t; }

Comment écrire le constructeur de copie pour que le code suivant compile ?

Code :

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

1
2
3
4
5
int main()
{
	A<int>   a_int;
	A<float> a_float ( a_int );
}

J'ai tenté une spécialisation du constructeur de copie (qui au passage m'a obligé à déclarer aussi un constructeur explicite, je ne sais pas trop pourquoi...).
D'abord, le cas général:

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 <typename T>
struct A
{
	T t;
	A();
	A( const A& a );
};
template <typename T>
A<T>::A()
{}
 
template <typename T>
A<T>::A( const A<T>& a )
{ t = a.t; }

Mais pour la spécialisation, je vois vraiment pas comment faire...
Ceci :

Code :

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

1
2
3
template <>
A<float>::A( const A<int>& a )
{ t=(float)a.t; }

est refusé par gcc...
Bref, je patauge un peu...
Si vous aviez des idées ?

[Flob90]

Il faut que tu rajoutes une constructeur template, qu'on pourrait qualifié de constructeur de copie généralisé :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
template<class T>
struct A
{
  A(); //default ctor
  A(const A&); //copy ctor
 
  //generalized copy ctor
  template<class U>
  A(const A<U>&)
  { /*ton code*/ }
};

Si le code du constructeur de copie normal a besoin d'êter écrit (ie que celui généré automatiquement ne convient pas), alors il faut l'écrire même si il est identique à celui du constructeur de copie généralisé. (sinon c'est celui généré automatiquement qui va être utilisé).

NB: Tu es obligé d'écrire un constructeur par defaut pour que la première ligne de ton main soit valide et car comme tu déclares un constructeur (celui de copie), le constructeur par défaut n'est pas généré par le compilateur.

[akirira]

Il faut que tu rajoutes une constructeur template, qu'on pourrait qualifié de constructeur de copie généralisé

Super merci, c'est exactement ça que je cherchais ! Curieusement, cette notion n'est pas souvent explicitée. Je regarderais dans un bouquin à l'occasion.

Dernier détail, je n'arrivais pas à l'"inliner". Si je veux juste laisser la déclaration dans la classe, et mettre la définition à l'extérieur, eh bien je galerais un peu et m'appretais à poser la question, quand (pour une fois...) un message d'erreur du compilateur m'a mis sur la voie.

Donc, pour référence ultérieure, ça s'écrit:

Code :

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

1
2
3
4
5
6
7
template<typename T>
template<typename U>
inline A<T>::A( const A<U>& aa )
{
	cout << "CCG\n";
	t =aa.t;
}

(c'est pas que c'est important, c'est juste que j'essaye de garder le minimum de code dans les classes, et plutot le déporter dans un autre fichier, inliné dans le .hpp)

NB: Tu es obligé d'écrire un constructeur par defaut pour que la première ligne de ton main soit valide et car comme tu déclares un constructeur (celui de copie), le constructeur par défaut n'est pas généré par le compilateur.

Oui, bien sur, j'avais oublié que le constructeur de copie est avant tout un constructeur, class template ou pas...

Encore merci.