了解过编程的同学应该都知道函数重载,使用函数重载虽然可以实现不同类型的交换函数,但是有以下几个不好的地方:
1.重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数,使得代码重复性高,过渡冗余
2.代码的可维护性比较低,一个出错可能所有的重载均出错
针对于这个问题,C++中提供了模板这样一个工具,通过模板可以实现泛型编程,也就编写与类型无关的通用代码,是代码复用的一种手段。通常模板可以分为函数模板和类模板。
函数模板
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
函数声明或定义 语法:`
template<typename T>
template 声明模板
typename 表面其后面的符号是一种数据类型,可以用class代替
T 通用的数据类型,名称可以替换,通常为大写字母
普通函数模板有两种使用方式:
1.自动推导类型调用
2.显示指定类型调用
两种调用方式的区别在于是否能进行隐式类型的转换
示例代码
#include <iostream>
#include<string>
using namespace std;
//函数模板
template<typename T> //声明一个模板,告诉编译器后面代码中紧跟着的T不要报错
void mySwap(T& a, T& b)
{
T temp = a;
a = b;
b = temp;
}
int main()
{
int a = 5;
int b = 10;
// 使用函数模板的方式
// 1.自动类型推导 需要推导出一致的数据类型T,才可以使用(不会发生隐式类型转换)
mySwap(a, b);
// 2.显示指定类型(可以发生自动类型转化)
mySwap<int>(a, b);
cout << "a: " << a << " b:" << b << endl;
}
普通函数与函数模板调用规则
1.如果函数模板和普通函数都可以调用,优先调用函数模板
2.可以通过空模板参数列表,强制调用函数模板
3.函数模板也可以发生函数重载
4.如果函数模板可以产生更好的匹配,优先调用函数模板
示例代码
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 test03()
{
int a = 10;
int b = 20;
myPrint(a, b);
//通过空模板参数列表,强制调用函数模板
myPrint<>(a,b);
//调用重载模板
myPrint(a, b, 200);
//如果函数模板产生更好的匹配,优先调用函数模板
char c1 = 'a';
char c2 = 'b';
myPrint(c1, c2); //调用函数模板
}
int main() {
test03();
test02();
system("pause");
return 0;
}
函数模板的局限性
1.如果提供函数模板,最好不要提供普通函数,否则容易出现二义性
2.模板并不是万能的,有些特定数据类型,需要用具体化方式做特殊实现
示例代码
#include<iostream>
#include<string>
using namespace std;
class Person
{
public:
Person(string name, int age)
{
this->m_Name = name;
this->m_Age = age;
}
string m_Name;
int m_Age;
};
//普通类模板
template<class T>
bool myCompare(T &a, T &b)
{
if (a == b)
{
return true;
}
else
{
return false;
}
}
// 利用具体化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 test04()
{
int a = 10;
int b = 20;
bool ret = myCompare(a, b);
if (ret)
{
cout << "a == b" << endl;
}
else
{
cout << "a != b" << endl;
}
}
void test05()
{
Person p1 = Person("张三", 18);
Person p2 = Person("张三", 28);
bool ret = myCompare(p1, p2);
if (ret)
{
cout << "P1 == P2" << endl;
}
else
{
cout << "P1 != P2" << endl;
}
}
int main() {
test04();
test05();
system("pause");
return 0;
}