template 入门基础

#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;//编译报错
}

此时编译报错，且报错信息很明确是找不到匹配的函数