C++中函数模板(function template) 详解

C++的模板(template)是泛型编程(generic programming)的基本;

面向工具编程 是 运行(run time)时 知道范例(type); 泛型编程 是编译(compilation) 知道范例;

函数模板(function template)包括模板参数列表(template parameter list);

每个参数范例之前必需包括要害字typename或class, 只管利用typename, 表达意思越发明晰;

非范例模板参数(Nontype Template Parameters)只能是 整数范例, 指针, 引用;

整型必需是常量表达式(constant expression), 指针和引用必需指向静态范例;

模板函数需要担保函数的范例独立(type independence)和可移植性(portability); 只管利用STL库函数;

代码:

/* 
 * cppprimer.cpp 
 * 
 *  Created on: 2013.11.21 
 *      Author: Caroline 
 */
      
/*eclipse cdt, gcc 4.8.1*/
      
#include <iostream>  
#include <vector>  
#include <functional> //less<>  
#include <cstring> //strcmp  
      
template <typename T>  
int compare (const T &v1, const T &v2)  
{  
    if (std::less<T>() (v1, v2)) return -1; //利用库函数取代"<", 会制止指针地点较量  
    if (std::less<T>() (v2, v1)) return 1;  
    return 0;  
}  
      
template<unsigned N, unsigned M>  
int compare (const char (&p1) [N], const char (&p2) [M])  
{  
    std::cout << "N = " << N << " M = " << M << std::endl; //添加一个空终止符(null terminator)  
    return std::strcmp (p1, p2); //只较量差异的第一个字符  
}  
      
int main (void) {  
      
    std::cout << compare(1, 0) << std::endl;  
    std::vector<int> v1{1, 2, 3}, v2{4, 5, 6};  
    std::cout << compare(v1, v2) << std::endl;  
    std::cout << compare("girl", "lad") << std::endl;  
    int a[] = {1, 2, 3, 4}, b[] = {1, 3, 4, 5};  
    std::cout << compare(a, b) << std::endl;  
      
    return 0;  
      
}

作者：csdn博客 Spike_King