７.3 C++模板中的函数式参数

参考：http://www.weixueyuan.net/view/6400.html

总结：

　　模板类至少有一个类参数，但是可以有多个参数，这些参数中可以存在非类类型的参数。　类参数是指　class T，class R　T 、R 为类参数。

　　系统内建的普通数据类型参数或程序自定义的数据类型参数，我们将这种非类类型的参数称之为函数式参数。　　

　　在模板类实例化过程中，我们需要用具体的数据类型来代替类参数，用具体的数值来替换函数式参数，如此才能实例化成功。 

　　

在前面我们已经提到过模板类至少有一个类参数，但是可以有多个参数，这些参数中可以存在非类类型的参数，例如系统内建的普通数据类型参数或程序自定义的数据类型参数，我们将这种非类类型的参数称之为函数式参数。

例1：

template< class T, int S, double R>
class test
{
    //......
};

在本例中例举了函数式参数的用法，在模板头中，先是一个类参数T，之后是两个函数式参数S和R。

例2：

#include <iostream>
using namespace std;

template< class T , int S>
class array
{
public:
    array();
    T & operator[]( int );
    const T & operator[] ( int )const;
    int getlen()const{ return length; }
    ~array();
private:
    int length;
    T * num;
};

template< class T , int S>
array<T, S>::array()
{
    num = new T[S];
    length = S;
}

template< class T , int S>
array<T, S>::~array()
{
    delete[] num;
}

template< class T , int S>
T & array< T, S > ::operator[] (int i)
{
    if( i <  || i >= length)
        throw string( "out of bounds" );
    return num[i];
}

template< class T , int S>
const T & array< T, S > ::operator[] ( int i ) const
{
    if( i <  || i >= length)
        throw string( "out of bounds" );
    return num[i];
}

template< class T , int S>
ostream & operator<<( ostream & out, const array <T, S> & A)
{
    for(int i=; i < A.getlen(); i++)
        out<< A[i] << " ";
    return out;
}

int main()
{
    array< int, > A;
    for(int i = ; i < ; i++)
    {
        A[i] = *i;
    }
    cout<< A << endl;
    return ;
}

在本例中，我们将前面的array模板类进行了修改，使之有两个参数，一个是类参数T，另一个是函数式参数S。修改后的array模板类用默认构造函数替代了带参构造函数。因为在模板类中添加了一个函数式参数 S 以表示数组的大小，因此我们就不需要在定义对象时利用带参构造函数的参数来确定数组的大小。在前面array模板类，我们需要以以下的方式定义对象：

array< int > A();
array< string > S();

修改后的array，我们只需要按照如下方式定义对象：

array< int,  > A;
array< string,  > S;

修改后的array类的类名变为了array< T, S >。对于修改后的array类，想要将其实例化则必须提供两个参数的实例，例如：

array< int,  > A;
array< double,  > D;

都是可以正确实例化并定义对象的，但是如果只提供一个参数则是不可以的，例如：

array< int> A;
array<  > D;

这两种情况都是错误的的实例化。

在模板类实例化过程中，我们需要用具体的数据类型来代替类参数，用具体的数值来替换函数式参数，如此才能实例化成功。