STL et classe template

**Ulmo** · 27/02/2009, 11h48

Bonjour,
Pouvez vous m'expliquer pourquoi le code suivant ne compile pas ?

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#include <list>
 
template<class T>
struct A {
    T t;
};
 
template<class T>
struct B {
    std::list<A<T> >::iterator i;
};

Ce n'est probablement pas une question nouvelle, mais je n'ai aucune idée de quelle recherche faire. Ce serait une seconde question.

Merci d'avance

**Médinoc** · 27/02/2009, 11h51

Je n'ai pas testé, mais ceci devrait compiler:

Code C++ :

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

1
2
3
4
5
6
7
8
9
10
11
#include <list>
 
template<class T>
struct A {
    T t;
};
 
template<class T>
struct B {
    typename std::list<A<T> >::iterator i;
};

**Goten** · 27/02/2009, 11h54

Code :

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

typename std::list<A<T> >::iterator i;

Sinon le compilo ne sait pas que A est un type

.

edit : grilled... et puis bien :p

**Ulmo** · 27/02/2009, 13h20

Hmm, A est pourtant défini juste au dessus.
Qu'est ce cela pose comme problème au compilateur ?

Si c'est A qui pose problème, pourquoi ceci marche-t-il ?

Code :

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

1
2
3
4
template<class T>
struct B {
    std::list<A<int> >::iterator i;
};

**3DArchi** · 27/02/2009, 13h54

C'est la norme :

A name used in a template declaration or definition and that is dependent on a template-parameter is assumed not to name a type unless the applicable name lookup finds a type name or the nam is qualified by the keyword typename

Dans ton dernier exemple, tu n'utilises pas ton paramètre template pour instancier ton itérateur de liste.

P.S.: j'ai toujours des craintes quand je vois un iterateur membre d'une classe. Es-tu sûr de ta conception ?

**loufoque** · 27/02/2009, 14h06

std::list<T>::iterator peut être un type mais std::list<U>::iterator peut être une variable.
Les instanciations de templates sont totalement indépendantes car spécialisables.

C'est pour ça qu'il faut mettre typename.

**Ulmo** · 27/02/2009, 17h38

Envoyé par 3DArchi

C'est la norme :

[...]la norme[...]

Dans ton dernier exemple, tu n'utilises pas ton paramètre template pour instancier ton itérateur de liste.

P.S.: j'ai toujours des craintes quand je vois un iterateur membre d'une classe. Es-tu sûr de ta conception ?

Merci pour la citation.

Et pas d'inquiétude, j'utilise bien l'itérateur dans une boucle, c'était juste pour donner un exemple minimal.

Envoyé par loufoque

[...]std::list<U>::iterator peut être une variable.[...]

Toujours pas très clair. "iterator" pourrait être le nom d'une variable de std::list<U>, qui cacherait le type défini dans std::list<> ?