程序性定义函数或者定义类时,可能由于参数的类型不同,导致相同功能的函数或者相同功能的类需要定义多个,造成程序的冗余,对此,定义一个模板,对传递的参数类型进行自动匹配,可有效的提供代码泛用性
一、模板函数
在定义函数时,函数的参数的类型和参数值都不给定,等到函数调用时,根据传进来的实参的类型和值来确定该函数的具体实现
1、定义格式
tamplate <typename 类型参数1,typename 类型参数2,typename 类型参数n>
类型 函数名(参数类型1 参数名1, 参数类型2,参数名2, 。。。)
{函数体内容}
同一个模板生命下,只能定义一个函数,如果要定义多个,需要声明多个模板
2、调用格式
1)隐式调用:表现与普通函数的调用一样
2)显式调用:调用函数时,在函数名后面使用<>给定类型参数
#include <iostream>
using namespace std;
// 一个模板下只允许一个函数
template <typename T>
T sum(T m ,T n)
{
return m+n;
}
template <typename T>
T sum(T m ,T n ,T k)
{
return m+n+k;
}
template <class T1,class T2>
T2 sum(T1 m ,T2 n)
{
return m+n;
}
// 三个模板构成重载关系
int main()
{
// 隐式调用
cout<<sum(3,7)<<endl;
cout<<sum(3.3,7.2)<<endl;
cout<<sum(string("3"),string("7"))<<endl;
cout<<sum(3,7,10)<<endl;
// 显式调用
cout<<sum<int,double>(3,7.2)<<endl;//与模板的括号对应
//<>与<>对应
//()与()对应
return 0;
}
3、模板函数特化
1)允许定义模板函数时,给某些参数指定类型,这样的模板就是特化模板
2)当基础模板和特化模板同时存在时
如果时隐式调用函数,则调用的是基础模板
如果是显示调用函数,则调用的是特化模板
#include <iostream>
using namespace std;
//定义模板函数
template <typename T>
T sum(T n,T m)
{
cout<<"____基础模板____"<<endl;
return m+n;
}
//定义特化模板
template <typename T>
T sum(int m ,int n)
{
cout<<"____特化模板____"<<endl;
return m+n;
}
int main()
{
//模板函数隐式调用时,如果基础模板和特化模板同时存在,会调用基础模板
sum(20,30);
//模板函数显式调用时,如果基础模板和特化模板同时存在,会调用特化模板
sum<int>(30,70);
return 0;
}
二、模板类
1> 程序员在定义类的过程中,可能会因为类型的不同,导致同一功能的类,需要定义多个
例如:定义一个链表中的节点,由于数据域类型的不同,导致节点需要定义多个
2> 定义格式
tamplate <typename 类型参数1,typename 类型参数2,typename 类型参数n>
class 类名
{
类型 成员名;
}
#include <iostream>
using namespace std;
//模板类的定义格式
template <typename T>
class Node
{
public:
T data; //数据域
Node *next; //指针域
public:
Node():next(NULL){}
Node(T e);
~Node();
};
template<typename T>
Node<T>::Node(T e):data(e),next(NULL)
{
cout<<"有参构造"<<endl;
}
int main()
{
//对于模板类 必须显式调用
Node<int> n1(2024); //定义一个整型节点
Node<string> n2("hello");//定义一个字符串节点
Node<int> *ptr = &n1; //定义指针指向第一个节点
Node<int> n3(9);
ptr->next = &n3;
return 0;
}