即使使用空列表也可以扣除模板类型[重复]

Question

我在 cppreference 上读到：

类模板参数推导仅在没有模板时执行 参数列表存在。如果指定了模板参数列表， 不进行扣除。

以下示例：

std::tuple t1(1, 2, 3);              // OK: deduction
std::tuple<int,int,int> t2(1, 2, 3); // OK: all arguments are provided
std::tuple<int> t4(1, 2, 3);         // Error

到目前为止，我的理解是：

• 当我没有给出模板列表时，temaplte 参数将出现（如第一个元组示例）
• 当我给空或不是所有参数列表时，会出现错误。

所以在我下面的例子中：

template<typename T1, typename T2>
auto max(T1 a, T2 b) -> typename std::decay<decltype(true? a:b)>::type
{
   return  b < a ? a : b;
}

auto c = ::max('c', 7.2); //<<< Works as template deduction took place
auto d = ::max<int>('c', 7.2);  //<<<< WOrks !!! Why

那么对于最后一行，为什么即使我只提供了一个模板列表（T1）而不是两者都有效？我期待错误！

Answer 1

类模板参数推导仅在不存在模板参数列表时执行。如果指定了模板参数列表，则不进行推导

这是关于类的推导指南，一个新的 C++17 特性。

在C++17之前也是一个错误

std::tuple t1(1, 2, 3);

因为在 C++17 之前，类必须显式 all 模板参数。

所以在我下面的例子中：

您的示例是关于模板函数的推导。

完全不同的东西。

对于函数，您还可以显式一些模板参数，不一定是全部。