template et erreur de compilation

Bonjour a tous,

Je bloque depuis un moment sur ce petit bout de code pas bien méchant :

Code:

---

1 2 3 4 5 6

template<int N,class T> template<template<class U> class C> inline void Vector<N,T>::Set(const C<T>& e){ C<T>::const_iterator i = e.begin(); for (int j=0; i != e.end(); ++i, ++j) { elements[j] = *i; } }

---

Lorsque je veux le compiler, j'obtiens une erreur à la seconde ligne : expected ';' before "i" .

Je souhaite creer une classe vector qui puissent se remplir a partir d'un contener quelquonque pourvu qu'il supporte les iterators.

Hébé,
compliqué comme écriture!

c'est la définition d'une fonction template d'une classe template?

Code:

---

1 2 3 4 5 6 7 8 9

template<int N,class T> template<template<class U>, class C> //il manque pas la virgule la? inline void Vector<N,T>::Set(const C<T>& e){ C<T>::const_iterator i = e.begin(); for (int j=0; i != e.end(); ++i, ++j) //premiere fois que je vois une boucle for ecrite comme ca... t'as le droit de faire plusieurs incrementations? { elements[j] = *i; } }

---

C'est bien une fonction template d'un classe template. Mais pour parfaire le tout, la pramettre de la template de la fonction est lui meme une template (c'est un contener comme par exemple std::vector<int>).

La virgule n'a donc pas lieu d'être. Et oui, j'ai le droit d'avoir deux incrémentation dans mon for, ainsi que deux initialisations.

Mais tu as bien cerné le problème : toutes ces templates rendent le tout difficile a cerner. Au passage, si quelqu'un a des conseil pour rendre le tout plus lisible je prend aussi :mrgreen:.

EDIT: par contre, on peut virer le U :

Code:

---

1 2 3 4 5 6

template<int N,class T> template<template<class> class C> inline void Vector<N,T>::Set(const C<T>& e){ C<T>::const_iterator i = e.begin(); for (int j=0; i != e.end(); ++i, ++j) { elements[j] = *i; } }

---

Ce qui ne change strictement rien : toujours une erreur a la seconde ligne.

@loicounet

Non, il ne manque pas de virgule, ce bout de code

Code:

---

template<template<class U> class C>

---

indique que le paramètre template C doit être lui même un type paramétré.
Et oui, on a le droit d'effectuer autant d'opérations que l'on souhaite dans une boucle for, que ce soit pour l'initialisation ou l'incrémentation.

@deadlnix

Il faut indiquer au compilateur que

Code:

---

C<T>::const_iterator

---

est un type, par l'utilisation du mot-clé typename :

Code:

---

typename C<T>::const_iterator i = e.begin()

---

(cf. la FAQ)

Yeah, c'est exactement ce qu'il me fallait.

J'étais passé a coté de ce point dans la FAQ.

Merci a vous deux !