Surcharge particulière de fonctions templates ?

Version imprimable

Bonjour à tous,
Mon problème peut être résumé dans le code suivant :
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 #include <iostream> #include <vector> #include <list> using namespace std; template<class T> void foo(const T& t) { cout << "Default" << endl; }; template<class T> void foo(const vector<T>& v) { cout << "Vector : " << v.size() << endl; for(uint i=0;i<v.size();i++) { foo(v[i]); } }; template<typename T> void foo(const list<T>& v) { cout << "List : " << v.size() << endl; }; int main(int argc, char **argv) { vector< list<double> > v(3); v[0] = list<double>(1); v[1] = list<double>(2); v[2] = list<double>(3); foo(v); return 0; }
Ce code compile sous gcc 4.2.4 mais alors que je m'attendrais à ce qu'il me renvoie :

Citation:

Vector : 3
List : 1
List : 2
List : 3

j'ai à la place :

Citation:

Vector : 3
Default
Default
Default

Sauriez-vous comment corriger ce code pour obtenir le résultat attendu en exploitant au mieux les fonctions template ?? Faut-il abandonner les templates dans cette configuration ?

Merci pour votre aide.

04/02/2009, 13h22
Jean-Marc.Bourguet

La surchage pour list<> n'est pas visible dans la surcharge pour vector<>. Inverse les deux definitions ou bien ajoute une declaration pour la surchage pour list<> avant celle pour vector<>.

Merci pour ta réponse, mais le nouveau code suivant (avec les prédéclarations) ne change rien au résultat.

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
 
#include <iostream>
#include <vector>
#include <list>
 
using namespace std;
 
template<class T> void foo(const T& t);
template<class T> void foo(const vector<T>& v);
template<class T> void foo(const list<T>& v);
 
template<class T> void foo(const T& t)
{
	cout << "Default" << endl;
}
 
template<class T> void foo(const vector<T>& v)
{
	cout << "Vector : " << v.size() << endl;
 
	for(uint i=0;i<v.size();i++)
	{
		foo(v[i]);
	}
}
 
template<class T> void foo(const list<T>& v)
{
	cout << "List : " << v.size() << endl;
}
 
int main(int argc, char **argv)
{
	vector< list<double> > v(3);
	v[0] = list<double>(1);
	v[1] = list<double>(2);
	v[2] = list<double>(3);
 
	foo(v);
 
	return 0;
}

Ca marche ici apres avoir fixe la compilation. (Sur Solaris, Linux et AIX)

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
$ cat surcharge.cpp
#include <iostream>
#include <vector>
#include <list>
 
using namespace std;
 
template<class T> void foo(const T& t);
template<class T> void foo(const vector<T>& v);
template<class T> void foo(const list<T>& v);
 
template<class T> void foo(const T& t)
{
        cout << "Default" << endl;
}
 
template<class T> void foo(const vector<T>& v)
{
        cout << "Vector : " << v.size() << endl;
 
        for(int i=0;i<v.size();i++)
        {
                foo(v[i]);
        }
}
 
template<class T> void foo(const list<T>& v)
{
        cout << "List : " << v.size() << endl;
}
 
int main(int argc, char **argv)
{
        vector< list<double> > v(3);
        v[0] = list<double>(1);
        v[1] = list<double>(2);
        v[2] = list<double>(3);
 
        foo(v);
 
        return 0;
} 
 
$ g++-4.3 -Wall -Wextra -o surcharge surcharge.cpp
surcharge.cpp:31: warning: unused parameter 'argc'
surcharge.cpp:31: warning: unused parameter 'argv'
surcharge.cpp: In function 'void foo(const std::vector<T, std::allocator<_CharT>
 >&) [with T = std::list<double, std::allocator<double> >]':
surcharge.cpp:38:   instantiated from here
surcharge.cpp:20: warning: comparison between signed and unsigned integer expres
sions
$ ./surcharge 
Vector : 3
List : 1
List : 2
List : 3
$ CC -V
CC: Sun C++ 5.9 Linux_i386 Patch 124865-01 2007/07/30
$ CC -o surcharge surcharge.cpp
$ ./surcharge
Vector : 3
List : 1
List : 2
List : 3

Citation:

Envoyé par rulianf

Merci pour ta réponse, mais le nouveau code suivant (avec les prédéclarations) ne change rien au résultat.

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
 
#include <iostream>
#include <vector>
#include <list>
 
using namespace std;
 
template<class T> void foo(const T& t);
template<class T> void foo(const vector<T>& v);
template<class T> void foo(const list<T>& v);
 
template<class T> void foo(const T& t)
{
	cout << "Default" << endl;
}
 
template<class T> void foo(const vector<T>& v)
{
	cout << "Vector : " << v.size() << endl;
 
	for(uint i=0;i<v.size();i++)
	{
		foo(v[i]);
	}
}
 
template<class T> void foo(const list<T>& v)
{
	cout << "List : " << v.size() << endl;
}
 
int main(int argc, char **argv)
{
	vector< list<double> > v(3);
	v[0] = list<double>(1);
	v[1] = list<double>(2);
	v[2] = list<double>(3);
 
	foo(v);
 
	return 0;
}

et pourtant, chez moi cela fonctionne sans problème (Gcc 4.3.0, Code::Blocks rev 5322, win XP pro SP3, atlon 1700 XP)

04/02/2009, 14h00
3DArchi

COK : Idem avec Visual Express 2008
04/02/2009, 14h07
rulianf

Merci pour toutes vos réponses. Je ne sais pas trop ce qui c'est passé mais le code fonctionne maintenant. Il y a des fois comme ça où il ne vaut mieux pas chercher à comprendre...