Accès protégé membre d'une classe dans une classe dérivée

Question

J'ai une ancienne base de code ici, où ils ont utilisé des variables membres protégés. Que ce soit ou non une bonne idée peut être discutée. Cependant, le code doit avoir été compilé correctement avec gcc3. J'ai un il y a quelque chose fait avec x

template <class Something> void Bar<Something>::cleanup() { 
    doSomeThingCleanUpLike (x); 
} 

Bar modèle de classe dérivée qui utilise membre protégé x du modèle de classe Foo comme si

template <class Something> class Foo { 
public: 
// stuff... 
protected: 
    some::type x; 
} 

template <class Something> Bar : Foo<Something> { 
public: 
    void cleanup(); 
} 

Et dans la déclaration de la méthode de nettoyage() Cela ne ne fonctionne pas avec gcc4, bien qu'il aurait dû fonctionner avec gcc3. Cela fonctionne quand je le change en

doSomeThingCleanUpLike (this->x); 

Pourquoi est-ce le cas?

Answer 1

L'expression x utilisée dans la classe dérivée est, selon les règles de la norme, indépendante de tout paramètre de modèle de la classe dérivée. Pour cette raison, la recherche s'effectue dans le contexte de la définition du modèle et non au moment de l'utilisation/de l'instanciation. Même si la classe de base modèle du modèle semble être visible, comme il s'agit d'une classe modèle, l'instanciation particulière qui pourrait être utilisée peut impliquer des modèles spécialisés. La définition de modèle de classe de base ne peut donc pas être utilisée pour la recherche de noms. En remplaçant l'expression par this->x, vous en définissez une expression dépendante (this dans un modèle de classe dépend toujours des paramètres de modèle). Cela signifie que la recherche se produira dans le contexte d'instanciation à quel point la classe de base est entièrement connue et ses membres sont visibles.

Answer 2

Lorsque vous définissez le modèle dérivé, le compilateur ne connait que le nom de la classe du modèle de base mais pas ses détails, de sorte que le compilateur ne sait pas que la classe dérivée a un membre hérité. Afin de dire au compilateur de l'existence du membre, utilisez this->, tout comme vous l'avez fait. En réalité, il s'agit d'un doublon de this question.