刚开始学习模板编程,有如下代码,
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);
关于c++ 函数模板指定第二个模板参数类型,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/49667331/