Discussion :

[Vorl]

Bonjour,

Je viens de passer de Windows a Linux et donc de VC++ a gcc et je suis etonné de voir que le code suivant compile avec VC++ mais pas avec gcc:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
template <class X>
class A
{	
protected:
	int i;
};
 
template <class X>
class B: public A<X>
{
puclic:
	void f() {	i=0;}
};

L'erreur est : "error: `i' undeclared (first use this function)" (sur la ligne "void f() { i=0;}"). Si on enleve les templates ca marche evidemment, de meme si on ecrit:

Code :

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

void f() {	A<X>::i=0;}

Mais je trouve cette dernière solution un peu pénible. Aurais-je loupé quelque chose ? Il y a-t-il une option mistique de gcc a activer ?

Vorl

[Luc Hermitte]

Je soupçonne que c'est ce point du standard qui requiert que l'on écrive "this->i" au lieu de juste "i".
GCC est plus respectueux que VC là dessus.

[Vorl]

Oui, avec le this-> ca marche et c'est vraiment indispensable pour gcc visiblement (car A<X>::i ne peut pas etre caste en int visiblement donc ca generait d'autres erreurs de compile). J'avais pas l'habitude de cette notation (qui alourdi pas mal je trouve) mais je vais m'y mettre.
Sinon c'est vrai que gcc est plus "respectueux" pour pas mal de choses : j'ai des dizaines d'autres types d'erreur de compile.
En tout cas, merci bien !

Vorl

[Charlemagne]

'using' est encore plus pratique que 'this->i'.
Le problème est similaire avec:
-une fonction membre héritée
-les types déclarés dans la classe mère. Dans ce cas il faut redefinir le type avec un 'typedef'.


Ton problème vient effectivement d'une histoire de standard, GCC est bien plus strict que VC et ICL. Et franchement cette restriction est vraiment énervante. Les premières versions 3.X de GCC donnaient des warnings. Depuis la version 3.3, c'est considéré comme une erreur.

Ca vient du fait que GCC analyse autant que possible les codes des classes templates, même sans instance.
Quand les types et variables sont sensés provenir d'une classe mère elle-même template, GCC n'a aucun moyen de déterminer si il sagit d'une variable ou d'un type. Donc il faut l'aider en lui donnant quelques indications.

Code :

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

1
2
3
4
5
6
7
8
9
 
template <class X> 
class B: public A<X> 
{ 
  typedef A<X> base;
  typedef typename base::value_type value_type;
  using base::i;
  using base::une_fonction;
};