web-dev-qa-db-ja.com

不完全な型の無効な使用

私は自分のプロジェクトでサブクラスのtypedefを使用しようとしています。次の例で問題を特定しました。

誰が私が間違っているのか知っていますか？

template<typename Subclass>
class A {
    public:
        //Why doesn't it like this?
        void action(typename Subclass::mytype var) {
            (static_cast<Subclass*>(this))->do_action(var);
        }
};

class B : public A<B> {
    public:
        typedef int mytype;

        B() {}

        void do_action(mytype var) {
            // Do stuff
        }
};

int main(int argc, char** argv) {
    B myInstance;
    return 0;
}

これは私が得る出力です：

sean@SEAN-PC:~/Documents/LucadeStudios/experiments$ g++ -o test test.cpp
test.cpp: In instantiation of ‘A<B>’:
test.cpp:10:   instantiated from here
test.cpp:5: error: invalid use of incomplete type ‘class B’
test.cpp:10: error: forward declaration of ‘class B’
c++templatestypedefcrtp
52
seanhodges

その理由は、クラステンプレートをインスタンス化すると、そのメンバー関数のすべての宣言（定義ではなく）もインスタンス化されるためです。クラステンプレートは、スペシャライゼーションの完全な定義が必要な場合に正確にインスタンス化されます。それは、あなたの場合のように、例えば、基底クラスとして使用される場合です。

それで、何が起こるかA<B>はでインスタンス化されます

class B : public A<B>

Bはまだ完全な型ではありません（クラス定義の右中括弧の後）。しかしながら、 A<B>::actionの宣言は、Bがスコープ内でクロールしているため、完了する必要があります。

Subclass::mytype

必要なのは、Bが完了する時点までインスタンス化を遅らせることです。これを行う1つの方法は、actionの宣言を変更して、それをメンバーテンプレートにすることです。

template<typename T>
void action(T var) {
    (static_cast<Subclass*>(this))->do_action(var);
}

varが正しい型ではない場合、varをdo_actionは失敗します。

61
Johannes Schaub - litb

これを回避するには、traitsクラスを使用します。
使用する実際のクラスごとに特別な特性クラスを設定する必要があります。

template<typename SubClass>
class SubClass_traits
{};

template<typename Subclass>
class A {
    public:
        void action(typename SubClass_traits<Subclass>::mytype var)
        {
                (static_cast<Subclass*>(this))->do_action(var);
        }
};


// Definitions for B
class B;   // Forward declare

template<> // Define traits for B. So other classes can use it.
class SubClass_traits<B>
{
    public:
        typedef int mytype;
};

// Define B
class B : public A<B>
{
    // Define mytype in terms of the traits type.
    typedef SubClass_traits<B>::mytype  mytype;
    public:

        B() {}

        void do_action(mytype var) {
                // Do stuff
        }
};

int main(int argc, char** argv)
{
    B myInstance;
    return 0;
}
24
Martin York

BはA<B>から派生するため、コンパイラが最初に行うことは、クラスBの定義を確認すると、A<B>をインスタンス化することです。これを行うには、actionのパラメータの既知のB::mytypeが必要です。しかし、コンパイラはBの実際の定義を理解しているだけなので、この型はまだわからず、エラーが発生します。

これを回避する1つの方法は、派生クラス内ではなく、別のテンプレートパラメーターとしてパラメータータイプを宣言することです。

template<typename Subclass, typename Param>
class A {
    public:
        void action(Param var) {
                (static_cast<Subclass*>(this))->do_action(var);
        }
};

class B : public A<B, int> { ... };
2
sth

まさにあなたが求めていたものではありませんが、アクションをテンプレートメンバー関数にすることができます：

template<typename Subclass>
class A {
    public:
        //Why doesn't it like this?
        template<class V> void action(V var) {
                (static_cast<Subclass*>(this))->do_action();
        }
};

class B : public A<B> {
    public:
        typedef int mytype;

        B() {}

        void do_action(mytype var) {
                // Do stuff
        }
};

int main(int argc, char** argv) {
    B myInstance;
    return 0;
}
1
John Dibling

現時点では適切な型が不明であるため、ポインターまたは参照を使用する必要があります。これは、コンパイラーがインスタンス化できないためです。

代わりに試してください：

void action(const typename Subclass::mytype &var) {
            (static_cast<Subclass*>(this))->do_action();
    }
0
Andreas Magnusson