![](/img/trans.png)
[英]Specialize a template to only take a typename of a class with template arguments
[英]specialize template<typename T, template<typename> class U>
我对嵌套模板及其模板专业化有疑问。 给定以下课程:
小模板 class
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";
}
};
但它只是解决了
A.h:18:16: Error: Templateargument 2 is invalid
你要做的事情是不可能的,因为T*
没有意义。 它既不是正确的类型,也不匹配需要额外参数的模板。 如果U
代表T*
,那么U<int>
会是什么? 您可能是说T<int>*
但这与您的声明不匹配,因此无法将该类型插入A
。
既然你问了一个解决这个问题的方法,从我的头顶开始,就像这样。
接受A
的第三个模板参数,我将其称为Expander
并将其默认设置为:
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;
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.