首页 / 软件开发 / C++ / C++中函数模板（function template） 详解

C++中函数模板（function template） 详解2014-11-20C++的模板（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> //strcmptemplate <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