有没有办法使这种“伪超载”参数专门化起作用？
#include <iostream>
class Foo
{
public:
template < typename T, typename ... Args >
T* bar (Args&& ... args);
};
template <>
int* Foo::bar()
{
std::cout << "int* bar()\n";
return new int;
}
// error: template-id ‘bar<>’ for ‘double* Foo::bar(double)’ does not match any template declaration
template <>
double* Foo::bar(double d)
{
std::cout << "double* bar(" << d << ")\n";
return new double;
}
int main()
{
Foo f;
f.bar<int>();
f.bar<double>(3.0);
}
一种解决方案是实际重载该函数，例如
class Foo
{
public:
template < typename T, typename ... Args >
T* bar (Args&& ... args);
template < typename T, typename U >
T* bar (U u);
};
但如果可能的话，我宁愿避免这种情况。我正在查看返回类型和参数的数十种允许组合，因此重载是不切实际的。
我认为一些SFINAE魔术应该可以仅启用返回类型和参数的非常特定的组合，但是我觉得我可能缺少一个更简单的选项。
错误消息指出，特殊化double的参数类型与主模板的参数类型不匹配Args&&。
主要模板正在应用转发参考，该参考可以实例化为左值参考或右值参考。对于右值引用（与中的用法匹配main()），专业化应为
template <>
double* Foo::bar(double&& d)
{
std::cout << "double* bar(" << d << ")\n";
return new double;
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句