Discussion :

[oodini]

Hello,

Soit X un espace de nommage, A, B, C... des classes appartenant à cet espace de nommage, et Y un type défini dans chacune de ces classes.

Je voudrais faire ceci :

Code :

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

1
2
3
4
5
template<typename T>
struct maClasse
{
    X::T::Y mPouet;
};

Apparemment, le compilateur n'en veut pas.

Pas possible ?

[Arzar]

gcc semble l'accepter...

[oodini]

gcc semble l'accepter...

Ce que je chercher à faire, c'est plutôt

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
20
21
#include <string>
namespace X
{
	struct A
	{
		typedef std::string Y ;
	};
}
 
template<typename T>
struct maClasse
{
    X::T::Y mPouet;
};
 
int main()
{
maClasse<int> m;
 
  return 0;
}

J'ai changé le type sur la ligne 4, et accessoirement viré la méthode dans la classe, afin de rester sur l'essentiel.

[screetch]

ah ben oui forcément

pourquoi tu veux specifier X::T, le type que tu recois c'est bien T non?

[oodini]

ah ben oui forcément

pourquoi tu veux specifier X::T, le type que tu recois c'est bien T non?

Oui, mais comme le type passé n'est pas connu de l'espace global, la déclaration de la classe ne le trouve pas.
La solution plus intellligente est en fait de qualifier lors de l'appel (quoique sur mon cas concret, je n'y arrive pas encore), mais je me demandais pourquoi, d'un point de vue langage, ça ne fonctionnait pas.

[screetch]

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
20
21
#include <string>
namespace X
{
        struct A
        {
                typedef std::string Y ;
        };
}
 
template<typename T>
struct maClasse
{
    typename T::Y mPouet;
};
 
int main()
{
maClasse<X::A> m;
 
  return 0;
}

je ne vois pas le problème...

[Davidbrcz]

Chez moi, le code suivant compile bien (g++).

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
namespace X
{
    struct A{ struct Y{}; };
    struct B{ struct Y{}; };
    struct C{ struct Y{}; };
}
 
template <typename T> class U
{
    X::A::Y y;
};
 
int main(int argc, char const *argv[])
{
    U<int> u;
}

Tu peux mettre un exemple minimal qui reproduit l'erreur ?

Edit, grillé

[screetch]

typename X::T::Y ?

aussi, quand tu as une erreur de compilation ou d'execution, copier-coller l'erreur ca mange pas de pain

[Flob90]

Bonjour,

Je ne sais pas comment le comité à rendu plus permissives (*) les règles pour typename en C++1x, mais avant il aurait fallut utiliser une typename dans ce cas (on est dans un template et l'identifiant Y depend de T et est qualifié (**) ).

(*) Cependant dans la norme on trouve ce code qui me fait dire qu'il est au moins autorisé :

Code :

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

1
2
3
4
5
6
7
8
 
template<class T> struct X : B<T> {
typename T::A* pa;
void f(B<T>* pb) {
static int i = B<T>::i;
pb->j++;
}
};

(**) Et on n'est pas dans la déclaration des classes de bases ni dans une liste d'initialisation.

PS: GCC a peut-être anticipé sur le comité et autorisé cette expression (c'est un cas non ambigue pour le compilateur).

Edit: J'avais pas vu le message de screetch, le mien est inutile donc.

[oodini]

Code :

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

1
2
3
4
template <typename T> class U
{
    X::A::Y y;
};

Tu n'utilises pas le type templatisé.

Tu peux mettre un exemple minimal qui reproduit l'erreur ?

cf lien donné juste au-dessus.