模板
参数多态化的工具(根据指定参数类型动态处理)
函数模板:通用函数
用虚拟数据类型代替,等到运行时才进行类型替换
定义:template
隐式调用:由编译器自行推到数据类型称为隐式调用,不由程序员锁定
显示调用:由程序员指定传入类型,不由编译器自行推到
complex c2
#include <iostream>
using namespace std;
template <typename T>
T add(T a,T b)
{
return a+b;
}
int main()
{
int a=1,b=2;
float c=1.9,d=2.0;
cout<<"int :"<<add(a,b)<<endl;
cout<<"float :"<<add(c,d)<<endl;
cout<<add<int>(a,b)<<endl;
cout<<add<float>(a,c)<<endl;
return 0;
}
类模板
类的虚拟数据类型可以和成员函数相同,但是不能和友元函数重名
类外定义的任何函数用到的类的模板都需要进行显式调用
对象在创建时一定要显式调用
GC
所谓参数化的多态性,是指将程序所处理的对象的类型参数化,使一段程序代码可以用于处理不同类型的对象
作用:
采用模板编程,可以为各种逻辑功能相同而数据类型不同的程序提供一种代码共享的机制(模板用于表达逻辑结构相同,但具体数据元素类型不同的数据对象的通用行为)
使用:
使用函数模板的方法是先说明函数模板,然后实例化成相应的模板函数进行调用执行
函数模板不是函数,不能被执行
置换代码中的类型参数,得到模板函数-------实例化
实例化后的模板函数是真正的函数,可以被执行
函数模板经过实例化后变为模板函数(模板被编译了两次)
第一次:实例化之前,先检查模板代码本身,查看是否正确,这里会发现语法错误,如遗漏分号等;
第二次:实例化期间,检查模块代码,查看是否所有的调用都有效,这里会发现无效调用,如实例化类型不支持某些函数调用等;
非类型模板参数:template_typename
模板申明最好都放在.h文件
使用模板函数时,可以进行隐式调用,但是不允许进行隐式类型转换
类模板
将类定义中的数据类型参数化
类模板实际上是函数模板的推广,可以用相同的类模板来组建任意类型的对象集合
使用:
类模板的实例化:用具体的数据类型替换模板的参数以得到具体的类(模板类)
模板类也可以实例化对象
用下列方式创建类模板的实例化
类名<类型实参表>对象名称;
类模板————>模板类————>对象(经过实例化)