noms dependants

Bonjour à tous,

Je ne suis pas super à l'aise avec ces histoires de noms dépendant et
l'usage de typename. J'ai un problème avec gcc et je me demande si le
problème vient de moi ou de gcc.

Soit le programme suivant :

template <class X>
class A {
public:
typedef int entier;
};

template <class X>
class B : public A<X> {
public:
void f(entier i);
};

int main(int argc, char* argv[]) {
return 0;
}

gcc 3.2.3 me donne :

[meurgues@precision79]/tmp >gcc32 gcc.cpp
gcc.cpp:11: warning: `typename B<X>::entier' is implicitly a typename
gcc.cpp:11: warning: implicit typename is deprecated, please see the
documentation for details
[meurgues@precision79]/tmp >

Mais ça compile.

gcc 3.4.4 me donne :

[meurgues@precision79]/tmp >gcc gcc.cpp
gcc.cpp:11: error: `entier' has not been declared
gcc.cpp:11: error: ISO C++ forbids declaration of `i' with no type
[meurgues@precision79]/tmp >

Je suppose donc que le problème est que entier n'est pas dans le scope
de B<X> et qu'il faut donc utiliser une clause using :

template <class X>
class B : public A<X> {
public:
using A<X>::entier;
void f(entier i);
};

Là, gcc 3.4.4 me donne :

[meurgues@precision79]/tmp >gcc gcc.cpp
gcc.cpp:12: error: `entier' is not a type
gcc.cpp:12: error: ISO C++ forbids declaration of `i' with no type
[meurgues@precision79]/tmp >

Je suppose qu'il ne sait pas que entier est un type et que c'est là
qu'il faut utiliser typename pour le stipuler. Je rajoute donc le
typename ainsi :

template <class X>
class B : public A<X> {
public:
using typename A<X>::entier;
void f(entier i);
};

Mais là, gcc 3.4.4 me dit toujours :

[meurgues@precision79]/tmp >gcc gcc.cpp
gcc.cpp:12: error: `entier' is not a type
gcc.cpp:12: error: ISO C++ forbids declaration of `i' with no type
[meurgues@precision79]/tmp >

et je ne comprends plus. J'ai sûrement raté quelque chose.

--
Arnaud