标签：style blog color io os ar sp div on
1 #include <iostream> 2 #include <string> 3 #include <vector> 4 using namespace std; 5 6 template <typename T> 7 T max(T a, T b) 8 { 9 return a > b ? a : b; 10 } 11 12 13 14 int main(int argc, const char *argv[]) 15 { 16 int i = 42; 17 cout << ::max(7, i) << endl; 18 19 double f1 = 3.4; 20 double f2 = -6.7; 21 cout << ::max(f1, f2) << endl; 22 23 string s1 = "hello"; 24 string s2 = "world"; 25 cout << ::max(s1, s2) << endl; 26 27 28 return 0; 29 } 30 //次模板函数，是值拷贝型， 输入和返回值都是值拷贝，开销巨大， 如果我们 输入和返回值都是类类型的话， 对资源的消耗是巨大的。 31 所以一般用下面这种模板
#include <iostream> #include <string> #include <vector> using namespace std; template <typename T> const T &max(const T &a,const T &b) { return a > b ? a : b; } int main(int argc, const char *argv[]) { int i = 42; cout << ::max(7, i) << endl; double f1 = 3.4; double f2 = -6.7; cout << ::max(f1, f2) << endl; string s1 = "hello"; string s2 = "world"; cout << ::max(s1, s2) << endl; return 0; }
上面这种模板，会节约很多。
下面介绍一种有坑的情况
1 #include <iostream> 2 #include <string> 3 #include <vector> 4 using namespace std; 5 6 template <typename T> 7 const T &max(const T &a, const T &b) 8 { 9 return a > b ? a : b; 10 } 11 12 13 14 int main(int argc, const char *argv[]) 15 { 16 //编译错误 17 cout << ::max(4, 4.7) << endl; 18 return 0; 19 }
我们输入为 4-int 4.7-double ， 编译器无法找到一个模板去匹配， 编译错误。
因为我们模板是两个参数都是T类型的， 而不是一个是T1，另一个是T2；
好吧，我们尝试一下两个参数类型是不同的模板
1 #include <iostream> 2 #include <string> 3 #include <vector> 4 using namespace std; 5 6 template <typename T1, typename T2> 7 const T1 &max(const T1 &a, const T2 &b) 8 { 9 return a > b ? a : b; 10 } 11 12 13 14 int main(int argc, const char *argv[]) 15 { 16 cout << ::max(3, 4.5) << endl; 17 // int double 18 // const int &max(const int &, const double &); 19 // 因为T1与T2类型不同，所以进行强制类型转换 20 // 产生了一个中间临时变量 21 // 所以最后的返回值，引用了一个临时变量 22 23 return 0; 24 }
上面是一个错误了例子， 编译不会通过， 错误十分隐晦， 我们看到 参数1是 T1， 参数2 是T2，
我们输入时 参数a是3 --int 参数b是4.5--double，那么我们告诉编译器去生成一个int &max（const int &， const double &）的函数，
返回值和 参数一都是T1==int， 显然 4.5 是比3大的， 所以返回的是4.5，但是我们要求返回值是int型， 显然也不匹配， 所以编译器会进行，强制转换 生成一个tmp = （int）4.5；
return tmp的引用。 tmp是临时变量， 该函数调用结束后栈空间被释放， 返回临时变量的引用是没有意义的。
所以导致编译错误
下面看一下模板的重载
例子代码：
1 #include <iostream> 2 #include <string> 3 #include <vector> 4 5 using namespace std; 6 7 8 9 const int &max(const int &a, const int &b) 10 { 11 return a > b ? a : b ; 12 } 13 template <typename T> 14 15 const T &max(const T &a, const T &b) 16 { 17 return a > b ? a: b ; 18 } 19 20 template <typename T> 21 const T &max(const T &a, const T &b, const T &c) 22 { 23 return ::max(::max(a, b), c) ; 24 } 25 26 27 28 29 int main(int argc, const char *argv[]) 30 { 31 ::max(7, 42, 68) ; //调用第三个 32 ::max(7.0, 43.5) ; //调用第二个 33 ::max(‘a‘, ‘b‘) ; //调用第二个 34 ::max(7, 42) ; //调用第一个，其实第二个也可以，但是取最匹配的 35 ::max<>(7, 42) ; //指定从模板2 进行匹配， 根据模板生成一个 int &max(const int &, const int &) 36 cout << ::max<double>(7,42) <<endl; // 调用2 进行强制转换。 37 cout << ::max(‘a‘, 42.7) << endl; //调用1， 进行强制转换 38 return 0; 39 }
总之不需要死记调用的规则， 掌握一个原则， 编译器总是选择调用最合适的那个函数。
标签：style blog color io os ar sp div on
原文地址：http://www.cnblogs.com/DLzhang/p/3998967.html
