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;

 

运行结果：