C の派生テンプレート クラスで基本クラス識別子にアクセスできないのはなぜですか?

派生テンプレート クラスでの識別子の表示の制限

C では、テンプレート クラスは継承に独自の側面を導入します。つまり、基本テンプレート クラスで定義された識別子です。派生テンプレート クラスには表示されない場合があります。 2 フェーズ ルックアップとして知られるこの動作は、テンプレートのインスタンス化とコンパイルに含まれるさまざまな段階によって発生します。

次の例を考えてみましょう。

template <typename T>
class Base
{
public:
    static const bool ZEROFILL = true;
    static const bool NO_ZEROFILL = false;
};

template <typename T>
class Derived : public Base<T>
{
public:
    Derived(bool initZero = NO_ZEROFILL);    // NO_ZEROFILL is not visible
    ~Derived();
};

このコードをコンパイルするとき、GCC g 3.4.4 (cygwin) Derived は基本クラス Base から NO_ZEROFILL にアクセスできないため、エラーが発生します。これは、テンプレートのインスタンス化の最初の段階で、コンパイラーがコードを解析するときに、T に割り当てられた具象型がないためです。その結果、派生の継承元となる特定の基本クラスを決定できず、定義された識別子を解決できません。

この制限を克服するには、派生テンプレート クラスの基本クラス識別子にアクセスするときに明示的な修飾が​​必要です。以下のコードはこの問題に対処しています。

template <typename T>
class Derived : public Base<T>
{
public:
    Derived(bool initZero = Base<T>::NO_ZEROFILL);    // Explicit qualification
    ~Derived();
};

Base::NO_ZEROFILL を使用すると、T の具体的な型がそうでない場合でも、コンパイラは基本クラスで識別子を探すように明示的に指示されます。

したがって、派生テンプレート クラスでは、基本テンプレート クラスで定義された識別子には明示的な修飾が​​必要な場合にのみアクセスでき、正しい解決が保証されます。テンプレートが特定のタイプでインスタンス化されるときの実行時。

以上がC の派生テンプレート クラスで基本クラス識別子にアクセスできないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。