我什么时候需要指定模板的类型

Question

我编写了一个简单的模板来查找参数列表中的最小数字。

template<typename T>
T smallerList(T a, T b) {
std::cout << "a= " << a << " b= " << b << std::endl;
return a < b ? a : b;
}
template<typename T, typename... Rest>
T smallerList(const T& param0, const Rest&... rest) {
T temp =  smallerList(rest...);
return param0 < temp ? param0 : temp;
}
int main()
{
// Works, returns "3"
std::cout << "Smaller: " << smallerList(4, 5, 6, 3, 7) << std::endl;
// Sort of works, returns "2". Should be "2.14".
std::cout << "Smaller: " << smallerList(3.14, 43534, 100.2, 3.13, 2.14) << std::endl; 
}

由于某种原因，第二个函数调用返回2而不是2.14。为什么会发生这种情况？

我已经打印了变量的中间值，它们是正确的。当smallerList返回时，似乎发生了隐式转换。

我可以通过更改线路来解决这个问题

T temp =  smallerList(rest...);

进入

T temp =  smallerList<T>(rest...);

此更改后，功能将按预期打印2.14。

我的问题是：为什么我需要指定类型？我认为模板函数是为每个被调用的类型"创建"的吗？

Answer 1

好吧，我不知道如何真正帮助你，因为我不知道你想要什么样的逻辑。但在可变模板中，您允许类型混合，在第二个向量中，您传递一个整数43534，因此当2.14反向传播时，递归回滚时，您会得到类似的东西

return (int)(43534 < 2.14? 43534 : 2.14);

因为43534将是param0，并且返回类型为param0，2.14将转换为2。接下来，它被转换回float，但你看不到它

您要么需要检查参数的类型是否相同，要么想出一些逻辑来提升您的参数。并不是说如果你使用43534.0，它会像你期望的那样工作，因为它不再是int了。

编辑：

T temp = smallerList<T>(rest...);这并不能真正帮助您，它改变了行为，迫使每个参数的类型转换为第一个参数的类型。它变得更加一致。但是尝试一下：

smallerList(7, 10.5, 10, 3.13, 2.14)

它会碎的。我不能100%确定原因，但我想它不能匹配递归的末尾，因为它会查找smallerList(int, float)，而您的终止符模板不匹配。

你需要这样的东西：

template<typename T, typename U>
T smallerList(T a, U b) {
std::cout << "a= " << a << " b= " << b << std::endl;
return a < b ? a : b;
}

它还丢弃了第二个类型，所以您将进行类型转换，但如果您的目标是保持第一个参数的类型，那么它是一致的。