Discussion :

[bouba]

Bonjour, j'ai un problème que je ne comprends pas, voici le code:

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
17
18
19
 
#include <map>
 
using namespace std;
 
template<class Type>
class Test {
public:
	void bidon() {
		map<int,int>::iterator it1;	   // OK
		map<int, Type*>::iterator it2;	// Plante à cause du paramètre Type*
	}
};
 
int main(int argc, char** argv) {
	Test<int> test;
	test.bidon();
	return 0;
}

Le problème est que mon compilateur ne veux pas de la déclaration du deuxième itérateur. Apparemment celà viendrait du type template (Type*), pourquoi ? Comment résoudre ce problème ?

Voici les erreurs que mon compilateur me renvoi:

g++ main.cpp -o test
main.cpp: In member function 'void Test<Type>::bidon()':
main.cpp:16: error: expected `;' before 'it2'
main.cpp: In member function 'void Test<Type>::bidon() [with Type = int]':
main.cpp:25: instantiated from here
main.cpp:16: error: dependent-name 'std::map<int,Type*,std::less<int>,std::allocator<std::pair<const int, Type*> > >::iterator' is parsed as a non-type, but instantiation yields a type
main.cpp:16: note: say 'typename std::map<int,Type*,std::less<int>,std::allocator<std::pair<const int, Type*> > >::iterator' if a type is meant

Savez-vous comment résoudre celà ?

Merci.

Bouba

[Laurent Gomila]

La solution est donnée par le compilo :

say 'typename std::map<int,Type* [...] >::iterator' if a type is meant

Code :

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

typename map<int, Type*>::iterator it2;

[bouba]

Ouai, merci, c'est bon.

[smashy]

en fait, le compilateur a besoin d un petit cout de pouce pour comprendre (ajout du mot cle typename)

en prenant l exemple ci-dessous on comprend mieux pourquoi ?

template<typename T> class X {

typedef int type;
};

template<> class X<int> { /* une specialisation de X */

static const int type = 3;
};


au moment de la compilation de ton template, le compilateur est incapable de savoir comment traiter Type !! (dans mon exemple si par hazard T etait int, la symbologie de type serait completement differente)

[bouba]

Ah, ok, merci, j'ai pigé.

[smashy]

note que tu as un soucis homologue avec des template imbrique (courant dans boost::mpl)

struct machin {

template<int> struct apply {

};

};

template<T> struct essai {

... T::apply<3> ...

};

la encore si apply etait un entier la symbologie serait quelque chose comme

... (apply < 3) > ...

ce qui est un boolean

on peut resoudre le probleme avec un coup de pouce au compilo:

... T::template apply<3> ...