泛型设计（1）
IntArray 类为预定义的整型数组类型提供了一个有用的替代类型。如果用户希望使用一
个double 或string 类型的数组，那该怎么办呢？实现一个double 类型的数组与IntArray 类的
区别只是在其所包含的元素的类型不同，而代码本身无需改变。
C++的模板设施提供了一种机制，它能够将类成函数定义内部的类型和值参数化。
parameterizing 我们要到10.1 节才会讨论值参数，这些参数在其他方面不变的代码中
用作占位符，以后这些参数会被绑定到实际类型上，可能是内置的类型也可能是用户定
义的类型。例如在Array 类模板中，我们把数组所包含的元素的类型参数化以后，当我
们实例化instantiate 一个特定类型的实例时，如int、double 或string 类型的Array 数组，
就可以在程序中直接使用这三个实例，就好像我们已经显式地为它们编写过代码一样。现在
来看一下怎样把IntArray 类转换成Array 类模板。下面是定义
template < class elemType >
class Array {
public:
// 把元素类型参数化
explicit Array( int size = DefaultArraySize );
Array( elemType *array, int array_size );
Array( const Array &rhs );
virtual ~Array() { delete [] ia; }
bool operator==( const Array& ) const;
bool operator!=( const Array& ) const;
Array& operator=( const Array& );
int size() const { return _size; }
virtual elemType& operator[](int index){ return ia[index]; }
virtual void sort();
virtual elemType min() const;
virtual elemType max() const;
virtual int find( const elemType &value ) const;
protected:
static const int DefaultArraySize = 12;
int _size;
elemType *ia;
};
关键字template 引入模板参数由一对尖括号< > 括起来——本例中有一个参数
elemType 关键字，class 表明这个参数代表一个类型标识符，elemType 代表实际的参数名。
它在Array 类定义中出现了七次，都是作为实际类型的占位符。
在Array 类的每次实例化中，不论是实例化为int、double 或string 等等，实例化的实际
类型都将代替elemType 参数，下面的例子演示了怎样使用Array 类模板
#include <iostream>
#include "Array.h"
int main()
{
const int array_size = 4;
// elemType 变成了int
Array<int> ia(array_size);
// elemType 变成了double
Array<double> da(array_size);
// elemType变成了char
Array<char> ca(array_size);
int ix;
for ( ix = 0; ix < array_size; ++ix ) {
ia[ix] = ix;
da[ix] = ix * 1.75;
ca[ix] = ix + 'a';
}
for ( ix = 0; ix < array_size; ++ix )
cout << "[ " << ix << " ] ia: " << ia[ix]
<< "\tca: " << ca[ix]
<< "\tda: " << da[ix] << endl;
return 0;
}