泛型编程简介

Jesse_徐

于 2024-04-19 23:31:26 发布

阅读量870

点赞数 12

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

本文链接：https://blog.csdn.net/zhimokf/article/details/137980547

版权

C/C++学习专栏收录该内容

30 篇文章 0 订阅

订阅专栏

文章目录

泛型编程

泛型编程

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础
模板分为两类，一类是函数模板，一类是类模板。

函数模板

基本概念

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。
template<class T1, class T2, class T3, …, class Tn>
返回值类型函数名(参数列表)
{}
① template 是定义模板的关键字，后面跟的是尖括号 < >
② class 是用来定义模板参数的关键字**（也可以用typename，但是STL中多用class）**
③ T1, T2, …, Tn 表示的是函数名，可以理解为模板的名字，名字你可以自己取。
模板参数实例化分为：隐式实例化 和 显式实例化

函数模板基本原理

模板参数的匹配原则

一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数。
对于非模板函数和同名函数模板，如果其他条件都相同，在调用时会优先调用非模板函数，而不会从该模板生成一个实例。如果模板可以产生一个具有更好匹配的函数，那么将选择模板。
模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。

类模板

基本概念

template<classT1,classT2,…,classTn>
class 类模板名
{
//类内成员定义
}
类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟 <>，然后将实例化的类型放在 <> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。
类名<类型> 变量名;
//如：
Stack st1;
Stack st2;
注意事项：
这里的 Stack 是类名，Stack 才是类型

template<class T>
class Stack {
public:
Stack(T capacity = 4) 
: _top(0) 
, _capacity(capacity) {
    _arr = new T[capacity];
}

// 这里我们让析构函数放在类外定义
~Stack();
private:
T* _arr;
int _top;
int _capacity;
};

// 类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Stack<T>::~Stack() {   // Stack是类名，不是类型！ Stack<T> 才是类型，
    delete[] _arr;
    _arr = nullptr;
    _capacity = _top = 0;
}

知识点小结：
① 模板可以具有非类型参数，用于指定大小，可以根据指定的大小创建动态结构（这个下面会讲到）。
② 模板运行时不检查数据类型，也不保证数据安全，相当于类型的宏替换。
③ 类模板是一个类家族，而模板类是通过类模板实例化的具体类。
④ 类模板中的成员函数全是模板函数，在类外定义时都必须通过完整的模板语法进行定义。

模板参数分为类型形参与非类型形参。
类型形参：出现在模板参数列表中，跟在 class 或者 typename 之类的参数类型名称。
非类型形参：就是用一个常量作为类 (函数) 模板的一个参数，在类 (函数) 模板中可将该参数当成常量来使用。

//#define X 1000

template<class T, size_t X>
class Srray
{
	T _arr[X];
};

int main()
{
	Srray<int, 100> a1;	 //开辟了100个空间大的静态数组
	Srray<int, 1000> a2;  //开辟了1000个空间大的静态数组

	return 0;
}

注意事项：
① 非类型模板参数是是整形常量，是不能修改的。
② 有些类型是不能作为非类型模板参数的，比如浮点数、类对象以及字符串。
（也就是说，只能用 size_t 、int 、char）（char 也算整型，只不过是一个字节的整型）
③ 非类型的模板参数必须在编译期就能确认结果

模板的特化

函数模板的特化

函数模板的特化有两种方法：
方法一：
首先，必须要先有一个基础的函数模板。
其次，关键字 template 后面接上一对空的尖括号 <> 。
然后，函数名后跟一对尖括号，尖括号中指定需要特化的内容。
最后，函数形参表必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。
方法二：
直接写出需要的函数以及类型，也就是直接写出重载的函数（比较简单一点）。

#include<cstring>

template<class T>
bool IsSame(const T& a, const T& b)
{
	return a == b;
}

//方法一：标准的特化写法
template<>
bool IsSame<const char*>(const char* const& a, const char* const& b)
{
	return strcmp(a, b) == 0;
}

//方法二：字符数组类型的特化
bool IsSame(char* a, char* b)
{
	return strcmp(a, b) == 0;
}

//方法二：字符串常量类型的特化
bool IsSame(const char* a, const char* b)
{
	return strcmp(a, b) == 0;
}

int main()
{
	//对于一般的类型对比，没有问题
	cout << IsSame(1, 2) << endl;
	cout << IsSame(1.1, 2.2) << endl;

	char s1[] = "liren";
	char s2[] = "liren";
	cout << IsSame(s1, s2) << endl;

	const char* s3 = "lirendada";
	const char* s4 = "lirendada";
	cout << IsSame(s3, s4) << endl;

	return 0;
}