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

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; 

}

出于某种原因，第二个函数调用 returns 2 而不是 2.14。为什么会这样？

我打印了变量的中间值，它们是正确的。当 smallerList returns.

时，似乎正在发生隐式转换

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

T temp =  smallerList(rest...);

进入

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

此更改后，函数按预期打印 2.14。

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

Answer 1

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

的东西

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

因为 43534 将是 param0，而您采用 param0 的 return 类型，并且 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;
}

它还会丢弃第二个类型，因此您将进行类型转换，但如果您的目标是保持第一个参数的类型是一致的。

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

When do I need to specify the type a template

c++

templates

function-templates