与えられたテンプレートパラメータを持つクラス内の変数を宣言します。

Question

テンプレートパラメータとして与えられたクラスに含まれるテンプレートクラスをインスタンス化しようとしています。これは、例を理解しやすいかもしれません：私はコメント行のコメントを解除した場合

struct A { 
static constexpr int a = 42; 

class B { 
    int b; 
}; 

template<typename X> 
class C { 
    X c; 
}; 
}; 

template<typename U, typename T> 
class D { 
    int a = U::a; 

    using B = typename U::B; 
    B b; 

    //using C = typename U::C; 
    // C<T> c; 
    A::C<T> e; 
}; 


int main(void) { 
    D<A, int> d; 
    return 0; 
} 

、コンパイラは私にCがテンプレートではないと言うエラーが発生します。私はこの変数をインスタンス化するために他のアプローチを試みましたが、うまくいかなかった。私はe変数に相当するが、U型の名前を使用したいと思う。

Answer 1

Cをテンプレートタイプとして宣言していないので、C<T> cはテンプレートタイプとして使用できないためエラーが発生します。何をしたい

はalias template（種類の家族のために名前）で、正しい構文は次のとおりです。D<A, int> d;、= AUと= intTで

template <typename Z> 
using C = typename U::template C<Z>; 

その後、

C<T> c; // same as U::template C<T>; Z is substituted with T 

、 内はDはA::C<int>と同じです。

LIVE