c ++函数模板指定第二个模板参数类型

Question

刚开始学习模板编程，我有以下代码，

template<typename T, typename U>
void add(T x, U y)
{
    cout<< x + y <<endl;
}

我可以这样称呼，

add(1, 2);
add<int, int>(1, 2);
add<int>(1, 2.0);

在第三种情况下，我认为这意味着我指定了[T=int]，编译器将推断出[U=double]

我的问题是如何明确指定第二个参数类型？

Answer 1

add(1,(int)2.0);怎么样。

理论上根据模板参数推导规则，这会导致第二个模板参数被推导为int。所以这与此假设相当等同语法add<U=int>(1,2.0);

所以这是指定第二个模板参数的方法！

如果第二个模板参数不可抵免，则无法找到等效语法：

template<class T>
struct t_{
  using type = T;
  };

template<class T,class U>
auto add(T, typename t_<U>::type);