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

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

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]

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

解决方法

那么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);