如何申報/定義模板與模板參數的一類，而無需使用額外的模板參數

Question

考慮以下使用的模板，模板參數...

#include <iostream> 

template <typename X> 
class A 
{ 
    X _t; 
public: 
    A(X t) 
     :_t(t) 
    { 
    } 
    X GetValue() 
    { 
     return _t; 
    } 
}; 

template <typename T, template <typename T> class C > 
class B 
{ 
    C<T> _c; 
public: 
    B(T t) 
     :_c(t) 
    { 
    } 
    T GetValue() 
    { 
     return _c.GetValue(); 
    } 
}; 

using namespace std; 

int main() 
{ 
    B<int, A> b(10); 
    cout<<b.GetValue(); 
    return 0; 
} 

有沒有一種方法，通過該模板參數T可以去掉？例如，是否有辦法做以下工作？

//Does not compile 
template <template <typename T> class C > 
class B 
{ 
    C _c; 
public: 
    B(T t) 
     :_c(t) 
    { 
    } 
    T GetValue() 
    { 
     return _c.GetValue(); 
    } 
}; 

int main() 
{ 
    B< A<int> > b(10); 
    cout<<b.GetValue(); 
    return 0; 
} 

Answer 1

我假設你在代碼中的X和A之後。

通常的模式是有

template<typename C> 
struct B 
{ 
    C c; 
}; 

，然後在類資格替代：

template<typename X> 
class A 
{ 
    typedef X type_name; 
    X t; 
}; 

然後你就可以訪問使用C::type_name模板參數。

Answer 2

什麼是錯的：

template <typename C > 
struct B 
{ 
    C c; 
}; 

int main() 
{ 
    B< A<int> > b; 
    return 0; 
} 

Answer 3

這是不可能的。請注意，這是一個常見的誤解：A<int>不再是類模板！因此，這將不適合的模板，模板參數，但必須使用一個類型參數被接受：

template<typename C> 
struct B { 
    C c; 
}; 

B< A<int> > b; 

你使用一個單獨的參數的方式是好的。

如果你想接受A<int>，但想重新將其綁定到另一個參數，你可以使用這個模式，還使用標準分配器：

template<typename T> 
struct A { 
    template<typename U> 
    struct rebind { 
     typedef A<U> type; 
    }; 
}; 

template<typename C> 
struct B { 
    typename C::template rebind<float>::type c; 
}; 

B< A<int> > b; 

現在，B< A<int> >::c是A<float>類型。在C::之前的typename告訴編譯器::type最後是一個類型而不是靜態的非類型成員。 C::之後的template告訴編譯器rebind<float>是一個模板實例化，而不是比較。

Answer 4

您可以嵌套參數。也就是說，參數的值本身可以被參數化。

template <typename X> 
struct A 
{ 
    X t; 
}; 

template <typename C> 
struct B 
{ 
    C c; 
}; 

int main() 
{ 
    B< A<int> > b; 
    return 0; 
} 

在這個例子中，在b的main()聲明創建的使用int作爲參數A一個特例，然後它創建使用A<int>作爲參數的B專業化。因此，B,C的專業化爲A<int>。