C++ Primer - 函数模板

1.类型参数

模板类型参数可以看成类型说明符，可以用来指定返回类型或函数的参数类型。

#include <iostream>
using namespace std;

 template <typename T>
 int compare(const T &v1,const T &v2)
 {
    if(v1 > v2) return 1;
    if(v1 < v2) return -1;
    return 0;
 }

 int main()
 {
    cout << compare(10, 11) << endl;
    system("pause");
 }

 2.非类型参数

 非类型模板参数的实参必须是常量表达式。

 #include <iostream>
using namespace std;

 template <unsigned N, unsigned M>
 int compare(const char (&p1)[N],const char (&p2)[M])
 {
    return strcmp(p1, p2);
 }

 int main()
 {
    cout << compare("Hi", "Tom") << endl;
    system("pause");
 }

 3.inline和constexpr的函数模板

 inline或constexpr说明符放在模板参数列表之后，返回类型之前。
 

 template <typename T> inline int compare(const T &v1,const T &v2)

4. 编写泛型程序的重要原则

(1).模板中的函数参数是const的引用。
(2).函数体中的条件判断仅使用<比较运算。

函数参数设定为const类型，保证了函数可以用于不能拷贝的类型，对于大对象，还能运行的更快。函数体中只使用<运算符，降低了对处理的类型的要求，这些类型必须支持<，但不必同时支持>。模板程序应该尽量减少对实参类型的要求。