C++模板中的函数式参数

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;
}

#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 释放。