C++ 模板

最新推荐文章于 2024-06-14 14:40:57 发布

juice 999

最新推荐文章于 2024-06-14 14:40:57 发布

阅读量229

点赞数

分类专栏： C++ 文章标签： c++

本文链接：https://blog.csdn.net/weixin_44212838/article/details/125623545

版权

C++ 专栏收录该内容

9 篇文章 3 订阅

订阅专栏

何为模板

模板相较当雕版印刷术中的雕版，定义好一个模板，编译器在编译代码时根据它生成对应的函数或者类。

1.如何声明定义和使用一个模板

函数模板

定义

使用关键字 template

e.g:

template <class/typename 模板参数1，class/typename 模板参数2 ···>

返回类型函数名（模板参数形参名）{

函数体；

}

例1：
template<class Type>
void Swap(Type& a,Type& b) {
	Type tmp(a);
	a = b;
	b = tmp;
}
模板参数名前用 class 和 typename都可以
没有区别
例2：
template <typename T>
T add(T x, T y) {
	return x + y;
}

调用

1.让编译器自动推演

先拿上文定义的交换模板举列

例1

i.编译器根据传入的形参自动推演出模板参数为 int 。

ii.紧接着实例化模板函数为 "void Swap(int & a,int &b)"后自动调用

yH5BAAAAAAALAAAAAAOAA4AAAIMhI+py+0Po5y02qsKADs=

i.编译器根据传入的形参自动推演出模板参数为 double 。

ii.紧接着实例化模板函数为 "void Swap(double & a,double &b)"后自动调用

模板参数为类型可以根据模板参数不同生成不同的函数提高了代码的复用性

2.显示类型实例化

手动传入模板参数实例化模板

	Swap<int>(a, b);

但是传入形参必须至少能隐式类型转换为显实例化传入的模板参数否则会形参实参不匹配，报错。

类模板

与函数模板相似

定义

template <class/typename 模板参数>

class(这里只能用class) 类名 {

类体；

}；

template <class T>
class Test {
public:
	Test(const T& val) 
		:_a(val)
	{
		cout << _a;
	}
private:
	T _a;
};

使用

i.模板类的类允许类型之间的隐式转换，不像模板函数那样严格

ii.跟模板函数不一样的是，模板类必须显示实例化

跟模板函数一样模板参数为类型可以根据模板参数不同生成不同的类提高代码的复用性

2.非类型的模板参数

模板参数分类类型形参与非类型形参。

类型形参：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。大部分模板参数都是类型形参

非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

如

//定长的顺序表
template <class T,size_t N>
struct arr {
	T& operator [](size_t pos) {
		return _arr[pos];
	}
	T _arr [N];
};

3.模板的特化

模板特化支持对于特定的模板参数做特殊处理

函数模板特化

1. 必须要先有一个基础的函数模板

2. 关键字template后面接一对空的尖括号<>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇

怪的错误。

直接上图

类模板的特化

函数模板的特化称为全特化，而类模板多支持一种偏特化

1.全特化

跟函数模板一致

2.偏特化

类模板才支持的特化形式，偏特化又分为两种

1.对部分参数特化

2.对参数进一步限制

代码

template <class T1,class T2>
class Test {
public:
	Test()
	{
		cout << "T1,T2" << endl;
	}
};
//全特化（对唯一一种特殊实例化特殊处理）优先级最高
template<>
class Test<int, int> {
public:
	Test() {
		cout << "int ,int" << endl;
	}
};
//偏特化一（对部分参数特殊处理）
template<class T1>//只要第二个参数为int的都特殊处理
class Test<T1, int> {
public:
	Test() {
		cout << "T1 ,int" << endl;
	}
};
//偏特化二 （对参数进一步限制）
template<class T1,class T2>//只要两个参数为指针类型的都特殊处理
class Test<T1*, T2*> {
public:
	Test() {
		cout << "T1* ,T2*" << endl;
	}
};
int main() {
	Test<int,int> t1;
	Test<int*,int*> t2;
	Test<void*, int*> t3;
	return 0;
}