子クラスを基本クラスのテンプレートパラメータとして、ネストされた名前指定子として使用する

Question

私は自分のクラスを親クラスのテンプレートパラメータとして使用しています。その親クラスはテンプレート引数（ただしsizeof （））。

そして、コンパイラは私に与える：

エラー：不完全型「の発動:: workerClass {別名のMyClass}」ネストされた名前指定

で使用されるしかしクラスがうまくファイルで定義されているが。基本クラスのインスタンス生成の時点で子クラスがインスタンス化されていないため、CRTPでそのようなことが起こり、問題はないからです。

私がテンプレート引数で子クラスを使用する理由は、子クラスが特定の関数を持っているか持っていない場合に、別の関数呼び出しを行うことです。

ここでエラーがラインで行わ

/* Structure similar to boost's enable if, to use 
    SFINAE */ 
template <int X=0, class U = void> 
struct test { 
    typedef U type; 
}; 

enum Commands { 
    Swim, 
    Fly 
}; 

/* Structure used for template overloading, 
    as no partial function template specialization available */ 
template<Commands T> 
struct Param { 

}; 

template <class T> 
class Invoker 
{ 
public: 
    typedef T workerClass; 

    workerClass *wc() { 
     return static_cast<workerClass*>(this); 
    } 

    template <Commands command> 
    void invoke() { 
     invoke2(Param<command>()); 
    } 

    /* If the child class has those functions, call them */ 
    /* Needs template paramter Y to apply SFINAE */ 
    template<class Y=int> 
    typename test<sizeof(Y)+sizeof(decltype(&workerClass::fly))>::type 
    invoke2(Param<Fly>) { 
     wc()->fly(); 
    } 

    template<class Y=int> 
    typename test<sizeof(Y)+sizeof(decltype(&workerClass::swim))>::type 
    invoke2(Param<Swim>) { 
     wc()->shoot(); 
    } 

    template<Commands command> 
    void invoke2(Param<command>) { 
     /* Default action */ 
     printf("Default handler for command %d\n", command); 
    } 
}; 

template <class T, class Inv = Invoker<T> > 
class BaseClass : public Inv 
{ 
public: 
    template<Commands command> 
    void invoke() { 
     Inv::template invoke<command>(); 
    } 
}; 

class MyClass : public BaseClass<MyClass> 
{ 
public: 
    void swim() { 
     printf("Swimming like a fish!\n"); 
    } 

    /* void fly(); */ 
}; 


void testing() { 
    MyClass foo; 
    foo.invoke<Fly>(); /* No 'void fly()' in MyClass, calls the default handler */ 
    foo.invoke<Swim>(); /* Should print the swimming message */ 
} 

をテストするための最小限のコードです：

typename test<sizeof(Y)+sizeof(decltype(&workerClass::fly))>::type 

ので、これをサポートする任意のコンパイラがある、またはこれを明示的と​​して標準で指定されたが、テンプレートの無効な使用ですか？私はこれをやっているやり方を変えなければならないのか、道を見つけなければならないのか？ CRTPは、コードが有効であると私に期待していますが、わかりません。

これは本当に不可能な場合、なぜ正確に、そしてなぜCRTPが機能するのですか？

Answer 1

解決策は、指摘されているように、別のレベルの間接参照を追加することでした。その後、

template <typename X, class U = void> 
struct test { 
    typedef U type; 
}; 

、代わりに行く取得からそれを指定するので、テンプレートパラメータとして子クラスを渡します：

タイプを受け入れるようにテスト機能を変更することによって行われ

template<class Y=workerClass> 
    typename test<decltype(&Y::fly)>::type 
    invoke2(Param<Fly>) { 
     wc()->fly(); 
    } 

    template<class Y=workerClass> 
    typename test<decltype(&Y::swim)>::type 
    invoke2(Param<Swim>) { 
     wc()->swim(); 
    } 

このようにして、ネストした指定子は、関数が呼び出され、クラス評価ではなく評価されるときにのみ評価され、その時までに子クラスはすでに評価されています。デフォルトのテンプレート引数を渡す可能性をプラスして、テンプレートパラメータなしで関数を呼び出すことができます。

テンプレートは現在もはるかに読みやすくなっています。サンプルコードは、現在だけで正常に動作し、：

class MyClass : public BaseClass<MyClass> 
{ 
public: 
    void swim() { 
     printf("Swimming like a fish!\n"); 
    } 

    /* void fly(); */ 
}; 


void testing() { 
    MyClass foo; 
    foo.invoke<Fly>(); /* No 'void fly()' in MyClass, calls the default handler */ 
    foo.invoke<Swim>(); /* Should print the swimming message */ 
}