#include<iostream>
template<typename T>
void add(T t1,T t2)
{
std::cout << t1 + t2<<std::endl;
}
int main()
{
add(3,4);
add(5.9,3.0);
std::string a("abc");
std::string b("def");
add(a,b);
}
输出为:
7
8.9
abcdef
但该模板无法输入两个不同的类型。当t1为int,t2为double时则出现编译报错。为了适应两个不同的参数类型则改成:
#include<iostream>
template<typename T1,typename T2>
void add(T1 t1,T2 t2)
{
std::cout << t1 + t2<<std::endl;
}
int main()
{
add(9,2.1);
}
此时输出为11.1,此时可以计算两个不同类型的值,但是该模板无返回值继续修改模板为
#include<iostream>
template<typename T1,typename T2,typename RT>
RT add(T1 t1,T2 t2)
{
return t1+t2;
}
int main()
{
std::cout <<add<int,double,double>(9,2.1)<<std::endl;
}
可以有返回值但是写法太过繁琐了,继续修改代码使只需要指定返回值类型即可:
#include<iostream>
#include<type_traits>
template<typename RT,typename T1,typename T2>
RT add(T1 t1,T2 t2)
{
return t1+t2;
}
int main()
{
std::cout <<add<double>(9,2.1)<<std::endl;
}
But之后有乾坤:如果希望能自动推导出RT该当怎么办?
#include<iostream>
#include<type_traits>
template<typename T1,typename T2,typename RT = std::common_type_t<T1,T2>>
RT add(T1 t1,T2 t2)
{
return t1+t2;
}
int main()
{
std::cout <<add(9,2.1)<<std::endl;
}
时间到了2020,C++20标准可以使用concept对模板进行限制,比如不允许使用字符串相加
#include<iostream>
#include<type_traits>
template<typename T1,typename T2,typename RT = std::common_type_t<T1,T2>>
requires (!std::is_same_v<std::string, std::decay_t<T1>>)&&(!std::is_same_v<std::string, std::decay_t<T2>>)
RT add(T1 t1,T2 t2)
{
return t1+t2;
}
int main()
{
std::cout <<add(9,2.1)<<std::endl;
std::string a = "123";
std::string b = "456";
std::cout <<add(a,b)<<std::endl;//编译报错
}
此时编译报错,且报错信息很明确是找不到匹配的函数