模板
模板就是建立通用的模具,大大提高复用性,
C++另一种编程思想称为 泛型编程 ,主要利用的技术就是模板
C++提供两种模板机制**:函数模板和类模板**
1、函数模板
1.1 函数模板语法
函数模板作用:
建立一个通用函数,其函数返回值类型和形参类型可以不具体制定,用一个虚拟的类型来代表。
语法:
template < typename T>
函数声明或定义
解释:
template — 声明创建模板
typename — 表面其后面的符号是一种数据类型,可以用class代替
T — 通用的数据类型,名称可以替换,通常为大写字母
【例子:利用函数模板进行交换】
template<typename T> //声明一个模板,注意不需要分号
void MySwap(T &a,T &b)
{
T temp = a;
a = b;
b = temp;
}
template<typename T>
void func()
{
cout << "func调用 " << endl;
}
void My_TemplateFunc()
{
int a = 12;
int b = 34;
//1、自动类型推导 --- 让编译器推导传入的参数是什么数据类型,然后进行交换
MySwap(a, b);
cout << "a = " << a << "\tb = " << b << endl;
//2、显式指定类型 --- 告诉编译器需要转换哪一种类型
MySwap<int>(a, b);
cout << "a = " << a << "\tb = " << b << endl;
}
1.2 函数模板注意事项
函数模板注意事项:1、自动类型推导,必须推导出一致的数据类型T,才可以使用
void My_TemplateFunc()
{
/* 函数模板注意事项:1*/
int a = 12;
char c = 'w';
MySwap(a, c); //err,推导不出一致的T类型
}
函数模板注意事项:2、模板必须要确定出T的数据类型,才可以使用
void My_TemplateFunc()
{
/* 函数模板注意事项:2*/
int a = 12;
int b = 34;
func(); //err,没有指定T的数据类型
func<int>(); //OK
}
1.3 函数模板案例
函数模板代表了一个函数集合,该函数模板与类型无关,在使用时被参数化,根据实参类型产生适用于不同类型的函数。
下例使用函数模板对一个字符数组和一个整形数组进行排序(使用冒泡算法,降序排列)
template<typename T>
void mySort(T arr[], int len)
{
for (int i = 0; i < len; i++)
{
int max = i; //认定最大值的下标
for (int j = i + 1; j < len; j++)
{
//认定的最大值arr[max] < 遍历的数组,说明arr[j]为最大值,则更新下标
if (arr[max] < arr[j])
{
max = j;
}
}
if (max != i)
{
MySwap(arr[max], arr[i]);
}
}
}
template<typename T>
void PrintFunc(T arr[],int len)
{
for (int i = 0; i < len; i++)
{
cout << arr[i] << " ";
}
cout << endl;
}
void My_TemplateFunc_SortCase()
{
char ch[] = "bafsxc";
int len = sizeof(ch) / sizeof(ch[0]);
mySort(ch, len);
PrintFunc(ch, len);
int arr[] = { 23,6,56,451,3,8,9,5,90 };
int num = sizeof(arr) / sizeof(arr[0]);
mySort(arr, num);
PrintFunc(arr, num);
}
结果:
1.4 普通函数与函数模板的区别
1、普通函数调用时可以发生自动类型转换(隐式类型转换)
2、函数模板调用时,如果利用自动类型推导,不会发生隐式类型转换
3、函数模板调用时,如果利用显示指定类型的方式,可以发生隐式类型转换
1.4.1 普通函数调用会进行隐式类型转换
int ADD(int a, int b)
{
return a + b;
}
void My_TemplateFunc_Func_diff()
{
int a = 10;
int b = 20;
char c = 'c';
cout << ADD(a, c) << endl;
}
输出109:在ADD()函数中,把字符型C的值隐式转换为ASCII码值,然后进行累加.
1.4.2 函数模板调用时,如果利用自动类型推导,不会发生隐式类型转换
template<typename T>
T MyAdd(T a, T b)
{
return a + b;
}
void My_TemplateFunc_Func_diff()
{
int a = 10;
int b = 20;
char c = 'c';
cout << MyAdd(a, c) << endl; //err
}
1.4.3 函数模板调用时,如果利用显示指定类型的方式,可以发生隐式类型转换
template<typename T>
T MyAdd(T a, T b)
{
return a + b;
}
void My_TemplateFunc_Func_diff()
{
int a = 10;
int b = 20;
char c = 'c';
//显示指定 --- 可以发生隐式类型转换
cout << MyAdd<int>(a, c) << endl; //OK
}
1.5 普通函数与函数模板的调用规则
调用规则如下:
(1)如果函数模板和普通函数都可以实现, 优先调用普通函数
(2)可以通过 空模板参数列表 来 强制调用函数模板
(3)函数模板也 可以发生重载
(4)如果函数模板可以产生更好的匹配, 优先调用函数模板
1.5.1 规则一
void MyPrint(int a, int b)
{
cout << "调用普通函数" << endl;
}
template<typename T>
void MyPrint(T a, T b)
{
cout << "调用函数模板" << endl;
}
void My_TemplateFunc_CallFunc()
{
int a = 10;
int b = 20;
//1. 如果函数模板和普通函数都可以实现, 优先调用普通函数
MyPrint(10, 20); //规则一
}
1.5.1 规则二
void MyPrint(int a, int b)
{
cout << "调用普通函数" << endl;
}
template<typename T>
void MyPrint(T a, T b)
{
cout << "调用函数模板" << endl;
}
void My_TemplateFunc_CallFunc()
{
int a = 10;
int b = 20;
//2、空模板参数列表,强制调用函数模板
MyPrint<>(a, b); //调用函数模板
}
1.5.1 规则三
void MyPrint(int a, int b)
{
cout << "调用普通函数" << endl;
}
template<typename T>
void MyPrint(T a, T b)
{
cout << "调用函数模板" << endl;
}
template<typename T>
void MyPrint(T a, T b,, T c)
{
cout << "调用 重载的 函数模板" << endl;
}
void My_TemplateFunc_CallFunc()
{
int a = 10;
int b = 20;
//3、函数模板也 可以发生重载
MyPrint(a, b, 100);
}
1.5.1 规则四
void MyPrint(int a, int b)
{
cout << "调用普通函数" << endl;
}
template<typename T>
void MyPrint(T a, T b)
{
cout << "调用函数模板" << endl;
}
template<typename T>
void MyPrint(T a, T b,, T c)
{
cout << "调用 重载的 函数模板" << endl;
}
void My_TemplateFunc_CallFunc()
{
int a = 10;
int b = 20;
//4、如果函数模板可以产生更好的匹配, 优先调用函数模板
char c1 = 'a';
char c2 = 'b';
MyPrint(c1, c2); //调用的是 函数模板
}
结果
1.6 模板的局限性
1.6.1 模板的通用性并不是万能的
template<class T>
void f(T a, T b)
{
a = b;
}
在上述代码中提供的赋值操作,如果传入的a和b是一个数组,就无法实现了
template<class T>
void f(T a, T b)
{
if(a > b) { ... }
}
在上述代码中,如果T的数据类型传入的是像Person这样的自定义数据类型,也无法正常运行
因此C++为了解决这种问题,提供模板的重载,可以为这些特定的类型提供具体化的模板
1.6.2 为特定的类型提供具体化的模板
template<class T>
bool myCompare(T &a, T &b)
{
if (a == b) { return true; }
else { return false; }
}
class Person
{
public:
Person(string name, int age)
{
this->m_Age = age;
this->m_Name = name;
}
~Person()
{
}
string m_Name;
int m_Age;
};
//具体化,显示具体化的原型和定意思以template<>开头,并通过名称来指出类型
//具体化优先于常规模板;利用具体化的Person的版本 实现比较代码,会被优先调用
template<>bool myCompare(Person &p1, Person &p2)
{
if (p1.m_Name == p2.m_Name && p1.m_Age == p2.m_Age)
{
return true;
}
else
{
return false;
}
}
void My_TemplateFunc_Backpoint()
{
int a = 10;
int b = 20;
cout << myCompare(a, b) << endl;
//自定义数据类型,不会调用普通的函数模板
//可以创建 具体化的Person数据类型的模板,用于特殊处理这个类型
Person p1("Tom", 10);
Person p2("Tom", 10);
bool ret = myCompare(p1, p2);
if (ret) { cout << "p1==p2" << endl; }
else { cout << "p1 != p2" << endl; }
}
2、类模板
类模板作用
建立一个通用类,类中的成员数据类型可以不具体制定,用一个虚拟的类型来代表。
2.1 类模板语法
类模板和函数模板语法相似,在声明模板template后面加类,此类称为类模板
语法:
template < typename T >
类
template<class NameType,class AgeType>
class MyPerson01
{
public:
template<class NameType, class AgeType>
MyPerson01(NameType name, AgeType age)
{
this->m_Name = name;
this->m_Age = age;
}
void Show()
{
cout << "name:" << this->m_Name << endl;
cout << "age:" << this->m_Age << endl;
}
NameType m_Name;
AgeType m_Age;
};
void My_TemplateClass_Basic()
{
MyPerson01<string, int> p1("Tom", 18);
p1.Show();
}
2.2 类模板与函数模板区别
- 类模板 没有自动类型推导 的使用方式 — 只能使用 显示指定方式
- 类模板在模板参数列表中可以有默认参数
template<class NameType, class AgeType = int>
class MyPerson0
{
public:
MyPerson0(NameType name, AgeType age)
{
this->m_Name = name;
this->m_Age = age;
}
void Show()
{
cout << "name:" << this->m_Name << endl;
cout << "age:" << this->m_Age << endl;
}
NameType m_Name;
AgeType m_Age;
};
void My_TemplateClass_TemplateFunc_diff()
{
//MyPerson p("lslslsl", 200); //err ,自动类型推导不适用于 类模板
MyPerson<string, int> p1("sssss", 200); // 必须使用显示指定类型的方式,使用类模板
p1.Show();
MyPerson<string> p2("gggggg", 345); // 类模板在模板参数列表中可以有默认参数,直接在模板后面指定即可
p2.Show();
}
2.3 类模板中成员函数创建时机
普通类中的成员函数:一开始就可以创建
类模板中的成员函数:在调用时才去创建
class MyPerson03
{
public:
void ShowPerson03()
{
cout << "Show Person03 类" << endl;
}
};
class MyPerson04
{
public:
void ShowPerson04()
{
cout << "Show Person04 类" << endl;
}
};
template<class T>
class MyClass
{
public:
T obj;
//类模板中的成员函数,并不是一开始就创建的,而是在模板调用时再生成
void FUNC1()
{
obj.ShowPerson03();
}
void FUNC2()
{
obj.ShowPerson04();
}
};
void My_TemplateClass_CreatTime()
{
MyClass<MyPerson03> p1;
p1.FUNC1();
p1.FUNC2(); //compile err, 编译会出错,说明函数调用 才会去 创建成员函数
}
2.4 类模板对象做函数参数
类模板实例化出的对象,向函数传参的方式
三种传入方式:
1. 指定传入的类型 — 直接显示对象的数据类型
2. 参数模板化 — 将对象中的参数变为模板进行传递
3. 整个类模板化 — 将这个对象类型 模板化进行传递
template<class T1,class T2>
class MyPerson05
{
public:
MyPerson05(T1 name, T2 age)
{
this->m_Name = name;
this->m_Age = age;
}
void Show()
{
cout << "NAME: " << this->m_Name << "\tAGE: " << this->m_Age << endl;
}
T1 m_Name;
T2 m_Age;
};
void My_TemplateClass_Func_data()
{
MyPerson05<string, int> p1("sdsdsds", 100);
ShowPerson01(p1);//1. 指定传入的类型 --- 直接显示对象的数据类型
MyPerson05<string, int> p2("ldfldldlf", 200);
ShowPerson02(p2);//2. 参数模板化-- - 将对象中的参数变为模板进行传递
MyPerson05<string, int> p3("ppppppp", 34);
ShowPerson03(p3);//3. 整个类模板化-- - 将这个对象类型 模板化进行传递
}
2.4.1 指定传入的类型
void ShowPerson01(MyPerson05<string,int> &p)
{
p.Show();
}
2.4.2 参数模板化
template<class T1,class T2>
void ShowPerson02(MyPerson05<T1, T2> &p)
{
p.Show();
cout << "T1 的类型为:" << typeid(T1).name() << endl;
cout << "T2 的类型为:" << typeid(T2).name() << endl;
}
2.4.3 整个类模板化
template<class T>
void ShowPerson03(T &p)
{
p.Show();
cout << "T 的类型为:" << typeid(T).name() << endl;
}
2.4.4 总结
通过类模板创建的对象,可以有三种方式向函数中进行传参
使用比较广泛是第一种:指定传入的类型
2.5 类模板与继承
当类模板碰到继承时,需要注意一下几点:
- 当子类继承的父类是一个类模板时,子类在声明的时候,要指定出父类中T的类型; 如果不指定,编译器无法给子类分配内存
- 如果想灵活指定出父类中T的类型,子类也需变为类模板
2.5.1 注意点(1)
指定父类T类型后
template<class T>
class Base
{
public:
Base()
{
cout << "父类中 T 的类型为:" << typeid(T).name() << endl;
}
T m;
};
class Son1 : public Base<int>
{
public:
};
2.5.2 注意点(2)
template<class T>
class Base
{
public:
Base()
{
cout << "父类中 T 的类型为:" << typeid(T).name() << endl;
}
T m;
};
template<class T1,class T2>
class Son2 :public Base<T2>
{
public:
Son2()
{
cout << "子类中 T1 的类型为:" << typeid(T1).name() << endl;
cout << "子类中 T2 的类型为:" << typeid(T2).name() << endl;
}
T1 obj;
};
void My_TemplateClass_Inheritance()
{
Son2<int,char> s1;
}
此时, int为子类Son2中的 T1的类型,char为子类Son2中的 T2的类型 ; 并且由于子类Son2继承的父类Base,此时会把T2 当作父类的T类型传给父类,因此,父类的 T 为char
2.6 类模板成员函数类外实现
类模板中成员函数类外实现时,需要加上模板参数列表
template<class T1,class T2>
class Myperson06
{
public:
Myperson06(T1 name, T2 age);
void ShowMyPerson06();
T1 m_Name;
T2 m_Age;
};
template<class T1,class T2>
Myperson06<T1,T2>::Myperson06(T1 name ,T2 age)
{
this->m_Name = name;
this->m_Age = age;
}
template<class T1,class T2>
void Myperson06<T1, T2>::ShowMyPerson06()
{
cout << "NAME : " << this->m_Name << "\tAGE: " << this->m_Age << endl;
}
void My_TemplateClass_OutOfClass()
{
Myperson06<string,int> p1("sdsdsdsds",5467);
p1.ShowMyPerson06();
}
2.7 类模板分文件编写
问题:类模板中成员函数创建时机是在调用阶段,导致分文件编写时链接不到
解决:
解决方式1:直接包含.cpp源文件
解决方式2:将声明和实现写到同一个文件中,并更改后缀名为.hpp,hpp是约定的名称,并不是强制
person.hpp中代码:
#pragma once
#include <iostream>
using namespace std;
#include <string>
template<class T1, class T2>
class Person
{
public:
Person(T1 name, T2 age);
void showPerson();
public:
T1 m_Name;
T2 m_Age;
};
//构造函数 类外实现
template<class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age)
{
this->m_Name = name;
this->m_Age = age;
}
//成员函数 类外实现
template<class T1, class T2>
void Person<T1, T2>::showPerson()
{
cout << "姓名: " << this->m_Name << " 年龄:" << this->m_Age << endl;
}
类模板分文件编写.cpp中代码
#include<iostream>
using namespace std;
//#include "person.h"
#include "person.cpp" //解决方式1,包含cpp源文件
//解决方式2,将声明和实现写到一起,文件后缀名改为.hpp
#include "person.hpp"
void test01()
{
Person<string, int> p("Tom", 10);
p.showPerson();
}
int main()
{
test01();
system("pause");
return 0;
}
主流的解决方式是第二种,将类模板成员函数写到一起,并将后缀名改为.hpp
2.8 类模板与友元
全局函数类内实现 - 直接在类内声明友元即可
全局函数类外实现 - 需要提前让编译器知道全局函数的存在
2.8.1 类内实现
template<class T1, class T2>
class Myperson08
{
public:
Myperson08(T1 name, T2 age)
{
this->m_Name = name;
this->m_Age = age;
}
//类内实现 --- 通过全局函数打印Myperson08类的信息
friend void PrintMyperson08Info(Myperson08<T1,T2> p)
{
cout << "NAME; " << p.m_Name << "\tAGE: " << p.m_Age << endl;
}
private:
T1 m_Name;
T2 m_Age;
};
void My_TemplateClass_Friend()
{
Myperson08<string, int> p1("vbcgghcv", 34);
PrintMyperson08Info(p1);
}
2.8.1 类外实现
//如果全局函数 是类外实现,需要在程序最开始声明该函数 和 类模板
template<class T1, class T2> class Myperson08; //声明类模板
template<class T1, class T2>
void PrintMyperson08Info2(Myperson08<T1, T2> p) //声明该函数
{
cout << "类外实现内容为" << endl;
cout << "NAME; " << p.m_Name << "\tAGE: " << p.m_Age << endl;
}
//通过全局函数打印M有person08类的信息
template<class T1, class T2>
class Myperson08
{
public:
Myperson08(T1 name, T2 age)
{
this->m_Name = name;
this->m_Age = age;
}
//类外实现 --- 通过全局函数打印Myperson08类的信息
//加一个空参数模板列表
friend void PrintMyperson08Info2<>(Myperson08<T1, T2> p);
private:
T1 m_Name;
T2 m_Age;
};
void My_TemplateClass_Friend()
{
Myperson08<string, int> p2("nnnnnnn", 88);
PrintMyperson08Info2(p2);
}