模板笔记

1.当使用函数模板并且引起模板实例化的时候，编译器需要查看模板的定义

2.template<typename T1, typename T2>//实参演绎

inline T1 max(T1 const& a, T2 const& b)//注意函数模板的返回类型只能是T1,不能是T1&,因为有可能返回的是b,局部对象类型要转换为T1

{

　　return a > b ? a : b;　　

}

3.template<typename T1, typename T2， typename T>

inline T max(T1 const& a, T2 const& b)//由于T类型没有出现在函数调用参数里面不能实参演绎，必须显示指定3个类型

{

　　return a > b ? a : b;　　

}

max<int, double, double>(4, 4.2)

4.也可以指定部分模板参数类型，但是最后一个不能被隐式演绎的模板实参之前的所有参数，包括它本身。

max<int>(4, 4.2)//这样调用也可以

 

#include <iostream>
#include <string>

using namespace std;
inline int max(int const& a, int const& b)
{
cout << "<int>" << endl;
return a > b ? a: b;
}
template<typename T>
inline T const& max(T const& a, T const& b)
{
cout << "<T a b>" << endl;
return a > b ? a : b;
}

template<typename T>
inline T const /*注意这里如果返回引用会报赶回临时对象的引用，引发错误*/max(T const& a, T const& b ,T const& c)
{
cout << "<T a b c>" << endl;
return ::max(::max(a, b), c);
}
int main()
{
cout << "max(1, 2) "<< ::max(1, 2) << endl;
cout << "max(1.0, 2.0) "<< ::max(1.0, 2.0) << endl;
cout << "max<>(1, 2) " << ::max<>(1, 2) << endl;
cout << "max('a', 'b') " << ::max('a', 'b') << endl;
cout << "max('a', 2.0) " << ::max('a', 2.0) << endl;//因为模板不允许自动类型转换，只能调用非模板函数
cout << "max(1, 2, 3.0) " << ::max(1, 2, 3) << endl;
}