Dostęp do chronionego elementu klasy w klasie pochodnej

Question

Mam tutaj starą bazę kodów, w której zastosowano chronione zmienne składowe. Można dyskutować, czy jest to dobry pomysł, czy nie. Jednak kod musi być skompilowany dobrze z gcc3. Mam pochodzący klasy szablon bar, który wykorzystuje chroniony członek X z klasy szablonu Foo jak tak

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

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

A w deklaracji metody czyszczenia() jest coś zrobić z X

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

robi to nie działa z gcc4, chociaż powinno działać z gcc3. Działa, gdy zmieniam go na

doSomeThingCleanUpLike (this->x); 

Dlaczego tak się dzieje?

Answer 1

Wyrażenie x użyte w klasie pochodnej jest, według reguł w standardzie, niezależne od dowolnego parametru szablonu klasy pochodnej. Z tego powodu wyszukiwanie odbywa się w kontekście definicji szablonu, a nie w punkcie użycia/tworzenia instancji. Mimo że szablonowa klasa bazowa szablonu wydaje się być widoczna, ponieważ jest to klasa szablonu, konkretna instancja, która może zostać użyta, może obejmować specjalistyczne szablony, więc definicji szablonu klasy podstawowej nie można użyć do wyszukiwania nazw.

Zmieniając wyrażenie na this->x, tworzysz wyrażenie zależne (this w szablonie klasy zawsze zależy od parametrów szablonu). Oznacza to, że wyszukiwanie wystąpi w kontekście instancji, w którym to momencie klasa podstawowa jest w pełni znana, a jej członkowie są widoczni.

Answer 2

Podczas definiowania wyprowadzonego szablonu kompilator zna tylko nazwę klasy podstawowej szablonu, ale nie szczegóły, więc kompilator nie wie, że klasa pochodna ma dziedziczony element. Aby powiedzieć kompilatorowi o istnieniu członka, użyj this->, tak jak zrobiłeś.

W rzeczywistości jest to duplikat numeru this question.