[英]template specialization of template class
我想专门研究以下成员函数:
class foo {
template<typename T>
T get() const;
};
对于依赖于模板的其他类bar
。
例如,我希望bar
与某些模板参数成为std::pair
,类似于:
template<>
std::pair<T1,T2> foo::get() const
{
T1 x=...;
T2 y=...;
return std::pair<T1,T2>(x,y);
}
T1和T2也是模板。 如何才能做到这一点? 据我所知,它应该是可能的。
所以现在我可以打电话:
some_foo.get<std::pair<int,double> >();
完整/最终答案:
template<typename T> struct traits;
class foo {
template<typename T>
T get() const
{
return traits<T>::get(*this);
}
};
template<typename T>
struct traits {
static T get(foo &f)
{
return f.get<T>();
}
};
template<typename T1,typename T2>
struct traits<std::pair<T1,T2> > {
static std::pair<T1,T2> get(foo &f)
{
T1 x=...;
T2 y=...;
return std::make_pair(x,y);
}
};
您不能部分专门化功能模板,对不起,但这些是规则。 你可以这样做:
class foo {
...
};
template<typename T>
struct getter {
static T get(const foo& some_foo);
};
template<typename T1, typename T2>
struct getter< std::pair<T1, T2> > {
static std::pair<T1, T2> get(const foo& some_foo) {
T1 t1 = ...;
T2 t2 = ...;
return std::make_pair(t1, t2);
};
然后把它称为
getter<std::pair<int, double> >::get(some_foo);
虽然。 您可能需要做一些插科打诨与friend
船舶或知名度,如果get
真正需要的是一个成员函数。
详细说明sbi的建议:
class foo {
...
template<typename T>
T get() const;
};
template<typename T>
T foo::get() const
{
return getter<T>::get(*this);
/* ^-- specialization happens here */
}
而现在你又回来了
std::pair<int,double> p = some_foo.get<std::pair<int, double> >();
你需要重载你的成员函数,就像在
template <T, V> std::pair<T, V> foo::get()
在一般情况下,您需要能够消除各种重载之间的歧义。 在消除歧义很容易的情况下,因为对在2种类型上进行模板化,而原始成员仅在T上进行模板化。
如果您需要专门化,例如,std :: vector,对于具有单个参数模板的容器,您必须要小心,因为如果您希望实例化模板专业化,编译器可能会感到困惑。其中模板T是std :: vector或者重载的特化,
template <T> std::<vector <T> foo::get() const
由于您完全专注于成员函数,因此您提出的语法不起作用,
template <>
,
但是你遗漏了两种未指明的类型,T1和T2。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.