我想要做的是定义如下3个函数:
template<int t = 0> int test() { return 8; }
template<int t = 1> float test() { return 8.8; }
template<int t = 2> std::string test() { return "8.9"; }
int main()
{
int a = test<0>();
float b = test<1>();
std::string c = test<2>();
return 0;
}
它们使用相同类型的模板参数,但返回不同类型。
我相信一定有某种方法可以做到这一点(就像这样std::get<>()
做),但是我找不到如何做到这一点。
在我看来,您喜欢功能模板的专业化。需要为每个呼叫提供不同的实现方式很合适。然而,有一个警告,那就是专门化可能不会更改被专门化的主模板的签名,而只会改变实现。这意味着我们不能做例如
template<int t> int test(); // Primary
template<> int test<0>() { return 8; } // OK, signature matches
template<> float test<1>() { return 8.8; } // ERROR
但是我们还没有敬酒。专业化的签名必须与主要参数针对特定参数所获得的签名相匹配。因此,如果我们使返回类型取决于template参数,并解析为正确的类型,则可以很好地定义我们的专业化。
template<int t> auto test() -> /* Magic involving t that resolves to int, float, string */;
template<> int test<0>() { return 8; }
template<> float test<1>() { return 8.8; }
template<> std::string test<2>() { return "8.9"; }
是否存在类似的东西?是的,您暗示了这一点。我们可以使用std::tuple
。它有一个std::tuple_element
实用程序,可以将整数映射到类型序列之一(元组的元素)。有了一个小帮手,我们就可以构建我们的代码来按您希望的方式工作:
using types = std::tuple<int, float, std::string>;
template<int t> auto test() -> std::tuple_element_t<t, types>;
template<> int test<0>() { return 8; }
template<> float test<1>() { return 8.8; }
template<> std::string test<2>() { return "8.9"; }
现在,每个专业化名称都匹配主要的签名。因此,我们得到了编译器的认可。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句