C++好难(6):模板初阶

这篇具有很好参考价值的文章主要介绍了C++好难(6):模板初阶。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

【本节目标】

  • 1. 泛型编程
  • 2. 函数模板
  • 3. 类模板

目录

【本节目标】

1.泛型编程

2.函数模板

概念:

格式:

原理:

实例化:

1.隐式实例化:

2.显式实例化

原则一:

原则二:

原则三:

3.类模板

格式

类模板的实例化


1.泛型编程

如何实现一个通用的交换函数呢?

以下面的交换函数为例:

// 交换两个整型变量
void Swap1(int& p1, int& p2) 
{
	int tmp = p1;
	p1 = p2;
	p2 = tmp;
}

// 交换两个字符型变量
void Swap(char& p1, char& p2) 
{
	char tmp = p1;
	p1 = p2;
	p2 = tmp;
}

可以看到两种不同类型的交换函数的实现,我们用重载函数去实现的

使用函数重载虽然可以实现,但是有一下几个不好的地方:

  • 1. 重载的函数仅仅是类型不同,代码复用率比较低,只要有新类型出现时,就需要用户自己增加对应的函数
  • 2. 代码的可维护性比较低,一个出错可能所有的重载均出错

如果我们像印刷一样,弄一个模具,然后让编译器根据不同的类型利用该模具来生成代码呢?

C++好难(6):模板初阶

如果在C++中,也能够存在这样一个模具,通过给这个模具中填充不同材料(类型),来获得不同材料的铸件(即生成具体类型的代码),那将会节省许多头发。巧的是前人早已将树栽好,我们只需在此乘凉。

泛型编程:编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础

C++好难(6):模板初阶

2.函数模板

概念:

函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。

格式:

template<class T1, class T2, ...., class Tn>
返回值类型  函数名(参数列表)
{  }

//template<typename T>
template<class T>
void Swap(T& left, T& right) {
	T tmp = left;
	left = right;
	right = tmp;
}

注意:typename 是用来定义模板参数关键字,也可以使用 class(切记:不能使用 struct 代替 class)

这里我们推荐使用class,因为它短,而且STL里面用的就是class

原理:

函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。

所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

C++好难(6):模板初阶

在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。

比如:当用double类型使用函数模板时编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。

实例化:

用不同类型的参数使用函数模板时,称为函数模板的实例化。

模板参数实例化分为:隐式实例化和显式实例化。

1.隐式实例化:

让编译器根据实参推演模板参数的实际类型

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 1.1, d2 = 2.2;
	Add(a1, a2); // 编译器根据实参a1和a2推演出模板参数为int类型
	Add(d1, d2); // 编译器根据实参d1和d2推演出模板参数为int类型

	return 0;
}

但是注意以下情况属于编译失败:

C++好难(6):模板初阶

因为a1是int,d1是couble,编译器无法确定此处到底该将 T 确定为 int 或者 double 类型而报错。

处理这种方式有两种方法:

1)用户自己来进行强制转换

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 1.1, d2 = 2.2;
	
	Add((double)a1, d1); // 把a1强转成double

	Add(a1, (int)d1); // 把d1强转成int

	return 0;
}

2)使用个显示实例化

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a1 = 10, a2 = 20;
	double d1 = 1.1, d2 = 2.2;

	Add<int>(a1, d1); 
	
	Add<double>(a1, d1);

	return 0;
}

总结:这个T必须是明确的

2.显式实例化

所谓显示实例化,就是在函数名后的  < >  中指定模板参数的实际类型。

template<class T>
T Add(const T& left, const T& right)
{
	return left + right;
}

int main()
{
	int a1 = 10, a2 = 20;

	Add<int>(a1, a1); 

	return 0;
}

原则一:

1) 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数

// 专门处理int的加法函数
int Add(int left, int right)
{
	cout << "非模板调用" << endl;
	return left + right;
}

// 通用加法函数
template<class T>
T Add(T left, T right)
{
	cout << "模板调用" << endl;
	return left + right;
}

int main()
{
	cout << Add(1, 2) << endl; // 与非函数模板类型完全匹配,不需要函数模板实例化

	cout << Add<int>(1, 2) << endl; // 模板函数可以生成更加匹配的版本,编译器根据实参生成更加匹配的Add函数

	return 0;
}

C++好难(6):模板初阶

编译器会优先去选择已经存在的函数,如果没有这个函数的存在,才会去用函数模板生成

原则二:

2)对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。

如果模板可以产生一个具有更好匹配的函数, 那么将选择模板

// 专门处理int的加法函数
int Add(int left, int right)
{
	cout << "非模板调用" << endl;
	return left + right;
}

// 通用加法函数
template<class T>
T Add(T left, T right)
{
	cout << "模板调用" << endl;
	return left + right;
}

int main()
{
	cout << Add(1, 2) << endl; // 与非函数模板类型完全匹配,不需要函数模板实例化

	cout << Add(1.1, 2.0) << endl; // 模板函数可以生成更加匹配的版本,编译器根据实参生成更加匹配的Add函

	return 0;
}

C++好难(6):模板初阶

原则三:

模板函数不允许自动类型转换,但普通函数可以进行自动类型转换。

C++好难(6):模板初阶

3.类模板

格式

类模板格式:

template<class T1, class T2, ...., class Tn>
class 类模板名
{
	// 类成员定义
};

以一个栈的数据结构定义为例:

template<class T>
class Stack
{
public:
	Stack(int capaicty = 4)
		:_a(new T[capaicty]),_top(0), _capacity(capaicty)
	{}

	~Stack()
	{
		delete[] _a;
		_capacity = _top = 0;
	}

private:
	T* _a;
	size_t _top;
	size_t _capacity;
};

类模板的实例化

类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟 < >然后将实例化的类型放在 < > 中即可。

// 跟上述栈定义的 代码
int main()
{
	Stack<int> st1; // int
	Stack<double> st2; // double

	return 0;
}

类模板名字不是真正的类,而实例化的结果才是真正的类文章来源地址https://www.toymoban.com/news/detail-438720.html

到了这里,关于C++好难(6):模板初阶的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 【C++】——模板(泛型编程+函数模板+类模板)

    之前我们学习了函数重载,让我们在写相似函数的时候非常方便,但函数重载还有很多不足的地方,比如,每次写相似函数的时候,都要我们重新重载一个逻辑、代码几乎一样的函数,这就导致了我们的效率变低,所以我们今天来学习C++模板的相关知识点,学习完模板之后,

    2024年02月05日
    浏览(48)
  • C++ 泛型编程:函数模板

    当需要编写通用的代码以处理不同类型的数据时,C++ 中的函数模板是一个很有用的工具。函数模板允许我们编写一个通用的函数定义,可以用于多种不同的数据类型,从而提高代码的重用性和灵活性。 泛型编程 是一种编程范式,旨在实现可重用、通用性高的代码。它允许我

    2024年02月12日
    浏览(42)
  • 【C++】泛型编程——模板进阶

    在之前的文章里,我们进行了模板初阶的学习( 【C++】泛型编程——模板初阶),了解了什么是泛型编程,学习了函数模板和类模板。 那这篇文章,我们继续学习模板进阶的内容的学习。 首先我们来回顾一下: 我们在模板初阶的学习中,定义模板参数是怎么定义的? 是不

    2024年02月16日
    浏览(37)
  • C++泛型编程之模板

    目录 一、什么是泛型编程  二、函数模板 2.1函数模板的概念 2.2函数模板格式 2.3函数模板的原理  2.5函数模板的实例化 2.6模板参数的匹配原则 三、类模板 3.1类模板的定义格式 3.2 类模板的实例化 四、非类型模板参数 五、模板的特化 5.1模板特化的概念: 5.2函数模板特化 5

    2024年02月07日
    浏览(42)
  • 【C++】泛型编程 ② ( 函数模板与普通函数区别 )

    函数模板与普通函数区别 : 主要区别在于它们能够处理的 数据类型数量 和 灵活性 ; 自动类型转换 : 函数模板 不允许 自动类型转化 , 会进行严格的类型匹配 ; 普通函数 能够进行 自动类型转换 , 内含隐式的类型转化 ; 参数 / 返回值 数据类型 : 普通函数 只接受 特定类型 参数

    2024年02月20日
    浏览(37)
  • 【C++】泛型编程 ③ ( 函数模板 与 普通函数 调用规则 | 类型匹配 | 显式指定函数模板泛型类型 )

    上一篇博客 【C++】泛型编程 ② ( 函数模板与普通函数区别 ) 中 , 分析了 函数参数 类型匹配 下的 普通函数 与 函数模板 的调用规则 ; 为 函数模板 重载了 普通函数 , 普通函数有指定的类型 ; 传入实参 , 调用 普通函数 还是 模板函数 , 是有一定的规则的 ; 普通函数 与 传入实

    2024年02月21日
    浏览(43)
  • 【c++ primer 笔记】第 16章 模板与泛型编程

    🎉作者简介:👓 博主在读机器人研究生,目前研一。对计算机后端感兴趣,喜欢 c + + , g o , p y t h o n , 目前熟悉 c + + , g o 语言,数据库,网络编程,了解分布式等相关内容 textcolor{orange}{博主在读机器人研究生,目前研一。对计算机后端感兴趣,喜欢c++,go,python,目前熟悉c+

    2024年02月20日
    浏览(42)
  • C++、STL标准模板库和泛型编程 ——适配器、补充(侯捷)

    侯捷 C++八部曲笔记汇总 - - - 持续更新 ! ! ! 一、C++ 面向对象高级开发 1、C++面向对象高级编程(上) 2、C++面向对象高级编程(下) 二、STL 标准库和泛型编程 1、分配器、序列式容器 2、关联式容器 3、迭代器、 算法、仿函数 4、适配器、补充 三、C++ 设计模式 四、C++ 新标准 五、

    2023年04月27日
    浏览(72)
  • C++、STL标准模板库和泛型编程 ——迭代器、 算法、仿函数(侯捷)

    侯捷 C++八部曲笔记汇总 - - - 持续更新 ! ! ! 一、C++ 面向对象高级开发 1、C++面向对象高级编程(上) 2、C++面向对象高级编程(下) 二、STL 标准库和泛型编程 1、分配器、序列式容器 2、关联式容器 3、迭代器、 算法、仿函数 4、适配器、补充 三、C++ 设计模式 四、C++ 新标准 五、

    2023年04月25日
    浏览(52)
  • 【C++】泛型编程 ① ( 函数模板 | 函数模板概念 | 函数模板意义 | 函数模板定义语法 | 函数模板调用语法 | 显式类型调用 | 自动类型推导 )

    在 C++ 语言中 , 泛型编程 的 核心就是 函数模板 和 类模板 ; 函数模板 Function Template 是 C++ 语言 中的 重要特性 ; 函数模板概念 : 建立一个 \\\" 通用函数 \\\" , 不指定该函数的 函数返回值类型 和 函数参数类型 , 仅使用 \\\" 虚拟类型 \\\" 代表 上述 两种类型 , 该 \\\" 通用函数 \\\" 就是 \\\" 函数模

    2024年02月19日
    浏览(39)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包