Templates, pointeurs et égalités

Bonjour à tous,

J'ai un petit souci de compilation que je n'arrive pas à comprendre. J'ai une classe "template" ARRAY que j'utilise afin de gérer un tableau de pointeurs de type quelconque.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19

template<class T> class ARRAY { // mon tableau de pointeurs T *_elements; // le nombre de pointeurs dans le tableau int _size;   // la fonction qui retourne l'indice d'un pointeur passé en param. int _search(const T &element) const { for (int i=0; i<_size; i++) { if (_elements[i] == element) // ligne où apparaît l'erreur de compilation return i; } }   }

---

J'instancie ce tableau de la manière suivante, afin d'avoir un tableau de pointeurs sur des objets de type MaClasse :

Code:

---

ARRAY<MaClasse*> _monTableau;

---

Or, à la compilation j'ai le message suivant :
no match for 'operator=='

Je ne comprends pas pourquoi il n'est pas capable de comparer _elements[i] et element sachant qu'il s'agit de 2 pointeurs tout bête !?

Merci d'avance pour votre aide, n'hésitez pas s'il vous faut plus de précisions...

Je ne connais pas suffisamment les templates pour t'aider sur ton probleme particulier, mais pourquoi es tu en train de reinventer la roue ?

Es tu sur qu'aucun conteneur de la STL ne correspond a tes besoins ?

Pour deux raisons :

1) ce n'est pas mon projet, je ne fais qu'intervenir ponctuellement. La politique étant : on y touche le moins possible.
2) par curiosité, j'aimerai comprendre :mrgreen:

Si je ne dis pas de bêtises, une classe template est créée à compilation. Donc si quelque part tu utilises ce template avec une classe qui ne possède par d'opérateur ==, le compilateur ne parviendra pas creer cette classe.
La façon dont cette classe template est construite implique qu'elle ne peut spécialiser que des classes qui implémentent l'opérateur ==.

voir la faq

Aucune erreur de compilation chez moi.
Voici le code utilisé.

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

template<class T> class ARRAY { // mon tableau de pointeurs T *_elements; // le nombre de pointeurs dans le tableau int _size;   // la fonction qui retourne l'indice d'un pointeur passé en param. int _search(const T &element) const { for (int i=0; i<_size; i++) { if (_elements[i] == element) // ligne où apparaît l'erreur de compilation return i; } return -1; }   };   struct Foo;   int main() { ARRAY<Foo*> foo; }

---

Il me semble que l'erreur ne surviendra que si tu tentes un _search().

Et pourquoi donc l'erreur se produirait à ce moment ?
Les erreurs sont détectées quand le template est instancié. Encore heureux.

Citation:

---

Envoyé par loufoque

Et pourquoi donc l'erreur se produirait à ce moment ?
Les erreurs sont détectées quand le template est instancié. Encore heureux.

---

_search n'est instancié que quand il est utilisé. C'aurait été indéterminé si _search avait été virtuel. Il y a des cas où la résolution de surcharge entraîne l'instantiation de template qui ne sont pas utilisés.

Essaie d'ajouter quelque chose de manifestement invalide mais dépendant du paramêtre template dans _search (par exemple un appel element.foo()), ton programme doit toujours compiler.

A noter qu'il me semble me souvenir que certains compilateurs ne respect(ai)ent pas la norme en mode debug.

J'aimerais bien un exemple COMPLET et n'ayant comme problème empéchant la compilation que celui-ci.

@loufoque : effectivement, j'ai extrait le code qui posait problème pour le compiler à part et cela fonctionne.

J'ai trouvé d'où venait le problème, il ne s'agissait finalement pas d'une instanciation via un pointeur (ex : ARRAY<MaClasse*>) mais d'une autre instanciation qui m'avait échappée.

Celle-ci était bien du type ARRAY<MaClasseB> (sans pointeur donc) et MaClasseB ne définissait effectivement pas opérateur==.
:mouarf1:

Merci à tous pour votre aide.