派生クラス内のクラスの保護されたメンバーにアクセス

Question

ここには、保護されたメンバー変数を使用する古いコードベースがあります。これが良い考えであるかどうかは議論することができます。しかし、コードはgcc3でうまくコンパイルされていなければなりません。 私はそう

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

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

とクリーンアップのメソッド宣言（のようにクラステンプレートはFooから保護部材Xを使用して派生テンプレートクラスのバーを持っている）これがないのx

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

で行わものがありますgcc3で動作するはずですが、gcc4では動作しません。それを変更すると機能します

doSomeThingCleanUpLike (this->x); 

なぜそうですか？

Answer 1

派生クラスで使用される式xは、標準のルールでは、派生クラスのテンプレートパラメータに依存しません。このため、参照はテンプレート定義のコンテキストで行われ、使用/インスタンシエーションの時点では行われません。テンプレートのテンプレート基本クラスは可視であるように見えますが、それはテンプレートクラスであるため、使用される特定のインスタンス化には特殊テンプレートが必要なため、基本クラステンプレート定義を名前検索に使用することはできません。

式をthis->xに変更すると、従属式になります（クラステンプレートのthisは常にテンプレートパラメータに依存します）。つまり、インスタンス化のコンテキストでルックアップが発生し、ベースクラスが完全にわかっていてそのメンバーが可視になっていることを意味します。

Answer 2

派生テンプレートを定義するとき、コンパイラは派生クラスが継承されたメンバを持っていることをコンパイラが知らないので、基本テンプレートクラスの名前しか知りません。コンパイラにメンバーの存在を伝えるために、あなたのようにthis->を使用してください。

実際には、それはthis questionの複製です。