首页 > 代码库 > C++学习35 模板中的函数式参数

C++学习35 模板中的函数式参数

C++对模板类的支持比较灵活,模板类的参数中除了可以有类型参数,还可以有普通参数。例如:

template<typename T, int N> class Demo{ };

N 是一个普通参数,用来传递数据,而不是类型,它与常见的函数中的参数一样,可以在类体中使用。这称为模板中的函数式参数。

T 用来传递数据的类型,N 用来传递数据的值,数据的值和类型都可以参数化,这是典型的面向对象编程思想。

为了演示模板中的函数式参数,下面我们来定义一个数组类:

#include <iostream>using namespace std;template<typename T, int N>class Array{public:    Array();    T & operator[]( int );    int length(){ return len; }private:    int len;    T *p;};template<typename T, int N>Array<T, N>::Array(){    p = new T[N];    len = N;}template<typename T, int N>T & Array<T, N>::operator[](int i){    if(i<0 || i>=len)        cout<<"Exception: Array index out of bounds!"<<endl;    return p[i];}int main(){    Array<int, 10> arr;    int i, len = arr.length();    for(i=0; i<len; i++){  //为数组元素赋值        arr[i] = 2*i;    }    for(i=0; i<len; i++){  //遍历数组        cout<<"arr["<<i<<"] = "<<arr[i]<<endl;    }    return 0;}

本例中定义了一个模板类,它有一个类型参数 T 和一个普通参数 N,T 用来说明数组元素的类型,N 用来说明数组长度。

请注意代码第 33、36行,之所以能通过”[ ]“来访问数组元素,是因为重载了运算符”[ ]“,并且返回值是数组元素的引用。如果直接返回数组元素的值,那么将无法给数组元素赋值。

细心的读者可能发现,这段代码有内存泄露的风险,因为在构造函数中通过 new 分配了一段内存,却没有在析构函数中通过 delete 释放。

C++学习35 模板中的函数式参数