刚开始学习模板编程,我有以下代码,
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);
原文地址:https://www.jb51.cc/c/119266.html
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。