テンプレートを特殊化<typename T、テンプレート<typename> class U>

Question

ネストされたテンプレートとテンプレートの特殊化に問題があります。次のクラスを考える：

小さなテンプレートクラス

template<class U> 
class T { 
public: 
    T(){} 
    virtual ~T(){} 

}; 

そして、ネストされたテンプレートのいくつかの種類

template<typename T, template<typename> class U> 
class A { 
public: 
    void foo() 
    { 
     std::cerr << "A generic foo"; 
    } 
}; 

と小さなmain.cppに

int main(int argc, const char *argv[]) 
{ 
    A<int,T> *a = new A<int,T>; 
    a->foo(); 

    //This wont work: 
    A<double,T*> *b = new A<double,T*>; 
    b->foo(); 

    return 0; 
} 

今私が必要Uがポインタの場合の特殊化：

A<double,T*> *b = new A<double,T*>; 
    b->foo(); 

これを行うには？私のような何か試してみました：

template<typename T, template<typename> class U> 
class A< T, U* > 
{ 
public: 
void foo() 
{ 
    std::cerr << "A specialized foo"; 
} 
}; 

をしかしT*は意味がありませんので、それだけで、何をする抱き合わせていることはできません

A.h:18:16: Error: Templateargument 2 is invalid 

Answer 1

で解決します。それは適切な型でもなく、追加のパラメータを必要とするテンプレートと一致しません。 UがT*を表す場合、U<int>は何ですか？あなたはおそらくT<int>*を意味しますが、それはあなたの宣言と一致しないので、そのタイプをAに接続する方法はありません。

あなたは私の頭の上から、これを回避する方法を尋ねたので、このようなものです。

私はExpanderを呼び出し、これにはデフォルトでそれを設定することになる、Aに第三テンプレート引数を受け入れる：

template <typename T> struct Expander { 
    typedef T type; 
}; 

その後、Aを呼び出すときに、あなたが

と

A<int,T> normal; 
A<int,T,PtrExpander> pointer; 

を言うことができます

template <typename T> struct PtrExpander { 
    typedef T* type; 
}; 

およびAは：

template<typename T, template<typename> class U, template <typename> class E = Expander> class A { 
    typedef typename E<U<Your_Args_to_U> >::type;