Miembro protegido de acceso de una clase en una clase derivada

Question

Tengo una base de código anterior aquí, donde utilizaron variables de miembro protegidas. Se puede discutir si esta es una buena idea o no. Sin embargo, el código debe haberse compilado bien con gcc3. que tienen una barra de clase de plantilla derivado que utiliza protegida miembro de x de plantilla de clase Foo igual que

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

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

Y en la declaración del método de limpieza() no es algo que se hace con x

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

Esto hace no funciona con gcc4, aunque debería haber funcionado con gcc3. Funciona cuando lo cambio a

doSomeThingCleanUpLike (this->x); 

¿Por qué es así?

Answer 1

La expresión x utilizada en la clase derivada es, según las reglas del estándar, no dependiente de ningún parámetro de plantilla de la clase derivada. Debido a esto, la búsqueda ocurre en el contexto de la definición de la plantilla y no en el punto de uso/instanciación. Aunque la clase base de la plantilla de la plantilla parece ser visible, dado que es una clase de plantilla, la instanciación particular que podría utilizarse podría involucrar plantillas especializadas, por lo que la definición de la plantilla de la clase base no se puede usar para buscar nombres.

Al cambiar la expresión a this->x, la convierte en una expresión dependiente (this en una plantilla de clase siempre depende de los parámetros de la plantilla). Esto significa que la búsqueda ocurrirá en el contexto de creación de instancias en cuyo punto la clase base es completamente conocida y sus miembros son visibles.

Answer 2

Cuando se define la plantilla derivada, el compilador solo conoce el nombre de la clase de plantilla base pero no sus detalles, por lo que el compilador no sabe que la clase derivada tiene un miembro heredado. Para decirle al compilador de la existencia del miembro, use this->, tal como lo hizo.

En realidad, es un duplicado de this question.