當模板參數是一個類模板時如何做一個功能模板？

Question

例如

template<class T> 
T make() 
{ 
    return T(); 
} 

，我想專攻它當T是一個類模板A;

template<int N> 
class A 
{}; 

template<int N> 
A<N> make<A<N>>() 
{ 
    ... 
}; 

錯誤編譯：非法使用顯式模板參數

怎麼辦呢？

Answer 1

你所要做的是部分專業化，是不允許的。將它包裝在struct中會更好。

template<class T> 
struct Maker 
{ 
    T make() { return T(); } 
}; 

template<int N> 
class A 
{}; 

template<int N> 
struct Maker<A<N>> 
{ 
    A<N> make() 
    { 
     return A<N>(); 
    } 
}; 

Answer 2

這不是一個部分專業化，而是一個過載。只是刪除<A<N>>：

template<int N> 
A<N> make() 
{ 
    ... 
};