C++ 实用泛型编程之设计通用型程序(模板)杂谈

上一节中我们讲到用基类做参数，可以实现不用判断子类对象类型，就能调用到对应的函数。
如果我们要设计一个堆栈，不管传入的数据类型，例如整形或字符型，都可以正确的处理，我们要怎么做呢？当然传统的方法我们也可以实现，但是不太好做，比较麻烦。现在我们来介绍一下更通用的一个方法。C++ STL提供了容器(Container),现在我们来看下容器stack怎么实现的。
template<typename T>
class Stack
{
public:
~Stack(){}
Stack(int _i):m_iCur(0),m_iMaxSize(0)
{
m_iMaxSize=_i;
v=new T[m_iMaxSize];

}
void push(T _param)
{
v[m_iCur]=_param;
cout<<"push "<<v[m_iCur]<<endl;
m_iCur++;
}
T pop()
{
if(m_iCur >= 0)
{
m_iCur--;
cout<<"pop "<<v[m_iCur]<<endl;
return v[m_iCur];
}
}
public:
T* v;
int m_iMaxSize;
int m_iCur;
};
这里注意一下模板类的写法：template<typename T> 。
在Stack类中定义了构造函数和两个操作函数push、pop，还有三个成员变量：
T* v; //定义一个指针存放数据
int m_iMaxSize; //容器最大值
int m_iCur; //当前游标

在使用函数中写如下代码。
Stack<int> sc(5);
Stack<TCHAR> str(5);
for (int i = 0; i < sc.m_iMaxSize; i++)
{
sc.push(i);
TCHAR *s=new TCHAR[iSize];
_itot_s(i,s,iSize,10);
ps[i]=i;
str.push(*s);

}
for (int i = 0; i < sc.m_iMaxSize; i++)
{
int iItem=sc.pop();
str.pop();

}
这个Stack实例使用了int、TCHAR做为测试。
运行结果如下：



Push 0,1,2,3,4，pop 4,3,2,1，可以这到这是先进后出（FILO）的顺序。
有人可能会问用T的这种写法会不会有额外的运行时开销，其实不会的，template是一种编译时的机制。
有了Template的概念，我们可以设计一个copy函数，它不会受到类型的限制，参考如下代码。
template <typename In,typename Out> void my_copy(In begin, In end, Out dest)
{
do
{
*dest = *begin;
++dest;
++begin;
}while (begin != end);
}
使用字符串和整形数字来测试，
TCHAR str1[10]={_T("English")};
TCHAR str2[10];
my_copy(&str1[0], &str1[10], &str2[0]);
_tprintf(_T("%s\n"),str2);

int i1[6]={1,2,3,4,5,6};
int i2[6];
my_copy(&i1[0], &i1[10], &i2[0]);
TCHAR *s=new TCHAR[iSize];
for each (int i in i2 )
{
_tprintf(_T("%d\n"),i);
}
运行结果：



把对象传入也可以拷贝。
TestA A;
TestA B;

A.m_iData=1;
my_copy(&A,&A+1,&B);
cout<<"B.m_iData"<<B.m_iData<<endl;

运行结果：