C++函数模板与类模板实例解析
本文针对C++函数模板与类模板进行了较为详尽的实例解析，有助于帮助读者加深对C++函数模板与类模板的理解。具体内容如下：
泛型编程（Generic Programming）是一种编程范式，通过将类型参数化来实现在同一份代码上操作多种数据类型，泛型是一般化并可重复使用的意思。泛型编程最初诞生于C++中，目的是为了实现C++的STL（标准模板库）。
模板（template）是泛型编程的基础，一个模板就是一个创建类或函数的蓝图或公式。例如，当使用一个vector这样的泛型类型或者find这样的泛型函数时，我们提供足够的信息，将蓝图转换为特定的类或函数。
一、函数模板
一个通用的函数模板（function template）就是一个公式，可用来生成针对特定类型或特定值的函数版本。模板定义以关键字template开始，后面跟一个模板参数列表，列表中的多个模板参数（template parameter）以逗号分隔。模板参数表示在类或函数定义中用到的类型或值。
1、类型参数
一个模板类型参数（type parameter）表示的是一种类型。我们可以将类型参数看作类型说明符，就像内置类型或类类型说明符一样使用。类型参数前必须使用关键字class 或typename：
template <typename T> // typename和class一样的
T function(T* p)
{
T tmp = *p; // 临时变量类型为T
//...
return tmp; // 返回值类型为T
}
关键字typename和class是一样的作用，但显然typename比class更为直观，它更清楚地指出随后的名字是一个类型名。
编译器用模板类型实参为我们实例化（instantiate）特定版本的函数，一个版本称做模板的一个实例（instantiation）。当我们调用一个函数模板时，编译器通常用函数实参来为我们推断模板实参。当然如果函数没有模板类型的参数，则我们需要特别指出来：
int a = 10; cout << function(&a) << endl; // 编译器根据函数实参推断模板实参 cout << function<int>(&a) << endl; // <int>指出模板参数为int
2、非类型参数
在模板中还可以定义非类型参数（nontype parameter），一个非类型参数表示一个值而非一个类型。我们通过一个特定的类型名而非关键字class或typename来指定非类型参数：
// 整形模板
template<unsigned M, unsigned N>
void add()
{
cout<< M+N << endl;
}
// 指针
template<const char* C>
void func1(const char* str)
{
cout << C << " " << str << endl;
}
// 引用
template<char (&R)[9]>
void func2(const char* str)
{
cout << R << " " << str << endl;
}
// 函数指针
template<void (*f)(const char*)>
void func3(const char* c)
{
f(c);
}
void print(const char* c) { cout << c << endl;}
char arr[9] = "template"; // 全局变量，具有静态生存期
int main()
{
add<10, 20>();
func1<arr>("pointer");
func2<arr>("reference");
func3<print>("template function pointer");
return 0;
}
当实例化时，非类型参数被一个用户提供的或编译器推断出的值所替代。一个非类型参数可以是一个整型，或者是一个指向对象或函数的指针或引用：绑定到整形（非类型参数）的实参必须是一个常量表达式，绑定到指针或引用（非类型参数）的实参必须具有静态的生存期（比如全局变量），不能把普通局部变量 或动态对象绑定到指针或引用的非类型形参。
二、类模板
相应的，类模板（class template）是用来生成类的蓝图。与函数模板的不同之处是，编译器不能为类模板推断模板参数类型，所以我们必须显式的提供模板实参。与函数模板一样，类模板参数可以是类型参数，也可以是非类型参数，这里就不再赘述了。
template<typename T>
class Array {
public:
Array(T arr[], int s);
void print();
private:
T *ptr;
int size;
};
// 类模板外部定义成员函数
template<typename T>
Array<T>::Array(T arr[], int s)
{
ptr = new T[s];
size = s;
for(int i=0; i<size; ++i)
ptr[i]=arr[i];
}
template<typename T>
void Array<T>::print()
{
for(int i=0; i<size; ++i)
cout << " " << *(ptr+i);
cout << endl;
}
int main()
{
char a[5] = {'J','a','m','e','s'};
Array<char> charArr(a, 5);
charArr.print();
int b[5] = { 1, 2, 3, 4, 5};
Array<int> intArr(b, 5);
intArr.print();
return 0;
}
类模板的成员函数
- 上一篇：C++ 多重继承和虚拟继承对象模型、效率分析
- 下一篇：C++多重继承与虚继承分析
