当模板参数是一个类模板时如何做一个功能模板？

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() 
{ 
    ... 
};