函数的通用性—重载和模板
函数名可以被重载,只要两个函数没有完全相同的特性,即形参列表,但返回值类型不是函数的特性。
模板是通过声明类型形参并在函数原型和定义中使用这些形参来代替特定的类型。typename可以用class 代替
例:template <typename Datetype>
void swap(Datatype & first,Datatype & second){
Datatype temp=first;
first=second;
second=temp;
}
模板类的实例化是通过下列步骤实现的:
1.在函数模板的形参列表中搜索类型形参
2.为每个类型形参判断相应实参的类型
3.将两种类型绑定在一起
例:template <typename ElementType>
void dispaly(ElementType array[],int numElements){
for (int i=0;i<numElements;i++)
cout<<array[i]<<" ";
cout<<endl;
}
typedef int StackElement 一次只能代表一个类型,没有模板通用性好。
类模板:
template <typename StackElement>
class Stack {
public:
private:
int myCapacity,myTop;
StackElement *myArray;
}
实例化: Stack intStack;
Stack dubStack;
创建类模板的三大原则:
- 所有定义在类声明之外的操作都必须是模板函数
2.任何将一个模板类的名作为类型的使用都必须参数化
3.当使用模板类时,编译器碧玺能够找到它的操作的定义
多个类型的形参
template <typename StackElement,const int STACK_CAPACITY>
class Stack {
}
实例化:
Stack<int ,10> intStack;