C++--模板

最新推荐文章于 2024-09-22 14:01:14 发布
最新推荐文章于 2024-09-22 14:01:14 发布
阅读量507 收藏 1
点赞数
分类专栏： c++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/MUMU23333/article/details/80255372
版权

函数模板和模板函数

定义：

函数模板可以用来创建通用的函数（该函数被称为模板函数），支持任意类型的形参和返回值，避免重载函数的函数体重复设计；

函数模板格式：

template<class 形参1, class 形参2, ... , class 形参n>

返回类型  函数名( 参数表 )

{

    ...

}

模板形参的定义既可以使用class,也可以使用typename,二者含义相同；

例：

#include<iostream>
#include<string>
using namespace std;

template<class T>
bool IsEqual(const T& left, const T& right)
{
	return left == right;//判断是否相等
}

void test()
{
	int num1 = 1, num2 = 1;
	string s1("abc"), s2("bcd");

	cout<<IsEqual(num1,num2)<<endl;
	cout<<IsEqual(s1,s2)<<endl;
}

int main()
{
	test();
	return 0;
}

原理示意图：



从汇编角度看模板函数的推演：


模板参数匹配及显示实例化：

例：

#include<iostream>
using namespace std;

template<class T>
bool IsEqual(const T& left, const T& right)
{
	return left == right;
}

int main()
{
	cout<<IsEqual(1, 2)<<endl;//正确，编译器确定T为int

	//cout<<IsEqual(1, 1.2)<<endl;//错误，编译器无法确定T为int还是double

	cout<<IsEqual<int>(1,1.2)<<endl;
	//正确，显示实例化，编译器确定T为int,传参过程会发生隐式转换

	cout<<IsEqual<double>(1, 1.2)<<endl;
	//正确，显示实例化，编译器确定T为double,传参过程会发生隐式转换

	return 0;
}

重载模板函数

例：

#include<iostream>
using namespace std;

bool IsEqual(const int& left, const int& right)
{
	return left == right;
}

template<class T>
bool IsEqual(const T& left, const T& right)
{
	return left == right;
}

template<class T1, class T2>
bool IsEqual(const T1& left, const T2& right)
{
	return left == right;
}

int main()
{
	cout<<IsEqual(1, 2)<<endl;//调用第一个函数
	//当同时存在满足条件的模板函数和一般函数，优先调用一般函数

	cout<<IsEqual(1, 1.2)<<endl;//调用第三个函数

	cout<<IsEqual<int>(1,1.2)<<endl;//调用第二个函数
	//指明调用模板函数

	cout<<IsEqual<double>(1, 1.2)<<endl;//调用第二个函数
	//指明调用模板函数

	return 0;
}

当同时具有满足条件的模板函数和一般函数，优先调用一般函数；

类模板

类模板格式：

template<class 形参1, 形参2, ..., 形参n>

class 类名

{

    ...

};

例：

template<typename T>    //部分代码
class SeqList
{
public :
	SeqList();
	~ SeqList();
private :
	int _size ;
	int _capacity ;
	T* _data ;
};

template <typename T>
SeqList <T>:: SeqLis()
	: _size(0)
	, _capacity(10)
	, _data(new T[ _capacity])
{
}

template <typename T>
SeqList <T>::~ SeqList()
{
	delete [] _data ;
}

void test ()
{
	SeqList<int> s1;    //s1的类型为SeqList<int>
	SeqList<double> s2; //s2的类型为SeqList<double>
}

示意图：


模板参数--容器适配器

例：

#include<iostream>
using namespace std;

template<typename T>
class SeqList
{
private :
	int _size ;
	int _capacity ;
	T* _data ;
};
// template <class T, class Container>
template<class T, class Container = SeqList<T > > // 缺省参数
class Stack
{
public :
	void Push (const T& x );
	void Pop ();
	const T & Top();
	bool Empty ();
private :
	Container _con ;
};
void test ()
{
	Stack<int > s1;
	Stack<int , SeqList< int>> s2 ;
	Stack<int , SeqList< char>> s3 ;
}
int main()
{
	test();
	return 0;
}

示意图：


模板的模板参数--容器适配器

例：

#include<iostream>
using namespace std;

template<typename T>
class SeqList
{
private :
	int _size ;
	int _capacity ;
	T* _data ;
};
// template <class T, template<class> class Container>
template<class T, template<class> class Container = SeqList> // 缺省参数
class Stack
{
public :
	void Push (const T& x );
	void Pop ();
	const T & Top();
	bool Empty ();
private :
	Container<T> _con ;
};
void test ()
{
	Stack<int > s1;
	Stack<int , SeqList> s2 ;
}
int main()
{
	test();
	return 0;
}

示意图：


非类型的函数模板/类模板参数

例1：

template<class T, int N>//非类型的函数模板参数
T add(const T& x)
{
	return x + N;
}

add<int,10>(1);

例2：

template<class T, size_t MaxSize>//非类型的类模板参数
class SeqList
{
private:
	_Data[MaxSize];
};

SeqList<int, 20> s;

模板的全特化/偏特化

函数模板的全特化

例：

#include<iostream>
using namespace std;

typedef struct Student
{
	char _name[5];
	int _age;
}Stu;

template<class T1, class T2>
bool IsEqual(T1 x, T2 y)
{
	return x == y;
}

template<>
bool IsEqual(const Stu& x, const Stu& y)//全特化函数模板
{
	return x._age == y._age;
}


int main()
{
	cout<<IsEqual(1,2)<<endl;

	Stu a = {"aaa",10};
	Stu b = {"bbb",10};
	cout<<IsEqual(a, b)<<endl;
	return 0;
}

函数模板的偏特化

严格来讲，函数模板不支持偏特化，由于可以对函数进行重载，所以可以达到类似于偏特化的效果；

类模板的全特化

例：

#include<iostream>
using namespace std;

template<typename T>//原模板
class A
{
public:
	A();
private:
	T _a;
};

//未特化的类模板在类外定义成员函数需要模板形参
template<typename T>
A<T>::A()
	:_a(0)
{
	cout<<"未全特化类模板"<<endl;
}

template<>//全特化类模板
class A<int>
{
public:
	A();
private:
	int _a;
};

//特化后在类外定义成员函数不需要模板形参
A<int>::A()
	:_a(0)
{
	cout<<"全特化的类模板"<<endl;
}

int main()
{
	A<char> a1;
	A<int> a2;
	return 0;
}

注意：

  • 类的成员函数只声明不定义，在调用时该函数时会出错，例如构造/析构函数；
  • 特化后的类模板在类外定义成员函数不需要模板参数；

类模板的偏特化

例1：

#include<iostream>
using namespace std;
template<typename T1,typename T2>
class A
{
public:
	A();
private:
	T1 _a;
	T2 _b;
};

template<typename T1, typename T2>
A<T1,T2>::A()
{
	cout<<"A<T1,T2>"<<endl;
}

template<typename T1>//偏特化的类模板
class A<T1,int>
{
public:
	A();
private:
	T1 _a;
	int _b;
};

template<typename T1>
A<T1,int>::A()
{
	cout<<"A<T1,int>"<<endl;
}

int main()
{
	A<int,char> a1;
	A<char,int> a2;
	return 0;
}

例2：

#include<iostream>
using namespace std;

template<typename T1,typename T2>
class A
{
public:
	A();
private:
	T1 _a;
	T2 _b;
};

template<typename T1, typename T2>
A<T1, T2>::A()
{
	cout<<"A<T1,T2>"<<endl;
}

template<typename T1,typename T2>//偏特化的模板类，模板参数为指针
class A<T1*,T2*>
{
public:
	A();
private:
	T1 _a;
	T2 _b;
};

template<typename T1,typename T2>
A<T1*,T2*>::A()
{
	cout<<"A<T1*,T2*>"<<endl;
}

template<typename T1, typename T2>//偏特化的模板类，模板参数为引用
class A<T1& ,T2&>
{
public:
	A();
private:
	T1 _a;
	T2 _b;
};

template<typename T1, typename T2>
A<T1&, T2&>::A()
{
	cout<<"A<T1&, T2&>"<<endl;
}

int main()
{
	A<int,double> a1;

	A<int*, int*> a4;
	A<int&, int&> a5;
	return 0;
}

注意：

  • 偏特化并不仅仅是指特殊部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本；
  • 模板的全特化和偏特化都是在已经定义的模板基础之上的，不能单独存在；
  • 当模板和特化模板同时满足实例化时，优先匹配特化模板；

模板的分离编译

模板不支持分离编译，原因是当一个模板不被用到时就不应该被实例化出来，在分离编译中，定义模板的文件中并没有实例化出模板，也就是没有该模板的代码，使得链接时找不到该模板的代码，也就无法实例化；

解决办法：将声明和定义放到同一个“.hpp”文件中去；

模板的优/缺点

优点：

1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生；

2. 增强了代码的灵活性；

缺点：

1. 模板让代码变得凌乱复杂，不易维护，编译代码时间变长；
2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误；

MUMU23333
关注
专栏目录
基于C++的ACM-ICPC模板
02-22
使用C++模板，可以实现代码复用和泛型编程，这对于解决复杂问题尤其有帮助。ACM-ICPC模板则是在此基础上，结合比赛特点，进一步优化和封装的代码库。 总的来说，这个基于C++的ACM-ICPC模板是参赛者在备赛过程中必不...
C++之模板
qeqjkqjklq的博客
10-19 742
泛型编程 泛型编程即以一种独立于任何特定类型的方式编写代码。 模板是创建泛型类或函数的蓝图或公式。 函数模板 函数模板定义的一般形式 template <typename type> ret-type func-name(parameter list) { // 函数的主体 } type 是函数所使用的数据类型的占位符名称。这个名称可以在函数定义中使用。 具体用法见下面案例 #include <iostream> #include <string> using
有趣算法之C++函数模板
Xor0ne
10-02 1249
C++函数模板 20200924 原文链接：https://www.runoob.com/w3cnote/c-templates-detail.html （原文正在慢慢理解中……） 模板是C++支持参数化多态的工具，使用模板可以使用户为类或者函数声明一种一般模式，使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。 模板是一种对类型进行参数化的工具，通常有两种形式：函数模板和类模板； 函数模板针对仅参数类型不同的函数； 类模板针对仅数据成员和成员函数类型不同的类。 ...
C++ 模板保姆级详解——template＜class T＞(什么是模板？模板分哪几类？模板如何应用？)_template&lt；class t&gt；
2401_87287231的博客
09-22 1089
在我们学习。
C++类模板详解
sfe1012 Na~喊 -- 心系一处 睥睨群雄 Blog
08-17 2405
有时，有两个或多个类，其功能是相同的，仅仅是数据类型不同，如下面语句声明了一个类： class Compare_int{public : Compare(int a,int b) { x=a; y=b; } int max( ) { return (x>y)?x:y; } int min( ) { return (x
template<class T>
热门推荐
longjing1113的专栏
04-16 1万+
//参考  http://prglab.com/cms/pages/c-tutorial/advanced-concepts/templates.php 函数模板( Function templates) 模板是通用语言的特性，模板又叫参数化类型（parametrized types）。利用模板机制可以显著减少冗余信息，能大幅度地节约程序代码，进一步提高面向对象程序的可重用性和维护性 模板(
C++ 模板详解——template＜class T＞
2402_83315537的博客
04-20 3669
通过使用函数模板，可以写出更通用、更灵活的代码，同时减少重复和错误。编译时的类型检查提供了比C语言中的宏更高的类型安全性。函数模板在C++标准库中被广泛使用，例如在STL（标准模板库）的各种算法和容器中。这使得STL非常强大，因为它不仅能够处理几乎任何类型的数据，还保持了代码的紧凑和高效。
mysql-connector-c++-noinstall-1.1.4-win32.zip
03-12
此外，熟悉C++标准模板库（STL）也会对理解和使用MySQL Connector/C++有所帮助，因为许多返回的对象和操作都与STL容器和迭代器兼容。 总之，`mysql-connector-c++-noinstall-1.1.4-win32.zip`是Windows 32位系统...
C++ - 模板初阶思维导图
最新发布
10-05
C++ - 模板初阶【思维导图】(图片 + 文字)
mysql-connector-c++-8.0.13-winx64
12-14
MySQL Connector/C++基于开放标准的JDBC API，使用STL（标准模板库）和异常处理，符合C++编程习惯。以下是它的一些核心知识点： 1. **安装与配置**：在使用此库前，需要将包含的动态链接库（.dll）文件添加到系统...
C++-2320-1-2
02-15
6. **模板**：C++的模板提供了一种泛型编程机制，允许编写可应用于多种数据类型的函数和类。 7. **异常处理**：异常处理是处理运行时错误的方法，通过try、catch和throw关键字来捕获和处理可能出现的异常情况。 8....
C++ 模板保姆级详解——template＜class T＞(什么是模板？模板分哪几类？模板如何应用？)
weixin_45031801的博客
11-12 1万+
在我们学习C++时，常会用到函数重载。而函数重载，通常会需要我们编写较为重复的代码，这就显得臃肿，且效率低下。重载的函数仅仅只是类型不同，代码的复用率比较低，只要有新类型出现时，就需要增加对应的函数。此外，代码的可维护性比较低，一个出错可能会导致所有的重载均出错。那么，模板的出现，就让这些问题有了解决方案，所以本次博客将为大家详细的讲解C++的模板！！
【C++】速识模板（template＜class T＞）
m0_71071692的博客
08-12 1315
函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。 在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。
类模板template ＜class T＞
weixin_43294620的博客
02-07 5989
类模板template ＜class T＞ 类模板： 类模板是对一批仅仅成员数据类型不同的类的抽象，使用类模板可以极大地提高编程的效率。例如对于以下这个类： typedef unsigned long Item; class Stack { private: enum {MAX=10};//作用域内枚举，这里使用枚举的MAX只是一个符号名称，在作用域为整个类的代码中遇到时，将用10来代替 //注意在此处使用const int MAX = 10;是不行的，因为声明类只是描述了对象的形式，并没有创建对
【C++】template模板：泛型编程
weixin_57163217的博客
03-04 861
C++模板的知识点总结，包含模板特化。
C++ 模板保姆级详解——template＜class T＞(什么是模板？模板分哪几类
2401_84976219的博客
05-15 1054
网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。需要这份系统化的资料的朋友，可以添加戳这里获取一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！ 网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。需要这份系统化的资料的朋友，可以添加戳这里获取
C++中 模板Template的使用
baidu_16370559的博客
09-10 5818
template<class T> 和template<typename T>都可以用来定义函数模板和类模板，在使用上，他们俩没有本质的区别。 具体为;class用于定义类，在模板引入c++后，最初定义模板的方法为：template，这里class关键字表明T是一个类型。后来为了避免class在这两个地方的使用可能给人带来混淆，所以引入了typename这个关键字。它的作用同class一样表明后面的符号为一个类型。这样在定义模板的时候就能够使用以下的方式了： templat...
C++到Objective-C桥梁：理解差异与转换
Objective-C在C语言的基础上扩展了面向对象的特性，如消息传递和类别（categories），而C++则是在C的基础上添加了模板、虚函数、多重继承等特性。Objective-C的消息传递机制与C++的虚函数调用有所不同，更强调动态...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值