C++模板初阶

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

一.泛型编程

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

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

那能否告诉编译器一个模子,让编译器根据不同的类型利用该模子来生成代码呢?

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

模板:函数模板类模板

二.函数模板

1. 概念

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

2. 函数模板的格式

//typename是定义模板参数的关键字,也可以使用class
template<typename T1, typename T2, ..., typename Tn>
返回类型 函数名(参数列表)
{}

示例:

//template<class T>
template<typename T>
void Swap(T& a, T& b)
{
	T temp = b;
	b = a;
	a = temp;
}

3. 函数模板原理

类模板与之类似

它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器

C++模板初阶

在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用int类型使用函数模板时,编译器通过对实参类型的推演,将T确定为int类型,然后产生一份专门处理int类型的代码。

4. 实例化

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

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

  • 隐式实例化:让编译器根据实参推演模板参数的实际类型
template<typename T>
T Add(T a, T b)
{
	return a + b;
}

int main()
{
	int i1 = 9;
	int i2 = 11;
    //让编译器根据实参推演模板参数的实际类型
	Add(i1, i2);

    return 0;
 }
  • 显示实例化:在函数名后的<>中指定模板参数的实际类型
int main()
{
	double d1 = 2.0;
    int i1 = 22;
    //指定模板参数的实际类型** 
	Add<doulbe>(d1, i1);

    return 0;
 }

对于该例,在编译阶段,由于传入的两个参数d1、i1类型不相同,编译器无法确定T到底为什么类型,因此不能通过隐式实例化

(通过显示实例化后,传参时会进行隐式类型转换。)

5.匹配原则

C++模板初阶

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

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

三.类模板

1. 类模板格式

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

示例:

template<class T1, class T2>
class A
{
public:
    void show();
private:
	T1 _a1;
	T2 _a2;
};

模板不支持分离编译。因此不能将声明放在.h文件,定义放在.cpp
模板在同一个文件中,是可以的。注意:类模板中函数放在类外进行定义时,需要加模板参数列表

//定义
template<class T1, class T2>
void A<T1, T2>::Show()
{
	cout << _a1 << ""
		<< _a2 << endl;
}

2. 类模板实例化

类模板实例化:需要在类模板名后+<实例化的类型>

A<int,double> a1;

A只是类模板,A<int,double>才是真正的类。

五.其他

1. 模板不支持分离定义

即不能将模板的声明放在.h文件中,而定义放在.cpp文件中。

只支持放在一个文件中,这样在编译时,可以在使用其的文件中就找到该模板,编译器才能直接推演类型……

template<class T1, class T2>
class A
{
public:
    void show();
private:
	T1 _a1;
	T2 _a2;
};

注意:在同一个文件中,类模板中函数放在类外进行定义时,需要加模板参数列表

//定义
template<class T1, class T2>
void A<T1, T2>::Show()
{
	cout << _a1 << ""
		<< _a2 << endl;
}

2. 模板支持缺省值

C++模板初阶

a.因为有隐式实例化的存在,所以可以进行传参推演的,而不使用缺省值。

b.由于类模板必须通过显示实例化的方式,来实例化出适合的类,因此当<>没有传递对应的模板类型时,会使用缺省值文章来源地址https://www.toymoban.com/news/detail-475660.html

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

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

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

相关文章

  • C++ 泛型编程:函数模板

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

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

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

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

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

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

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

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

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

    2023年04月25日
    浏览(51)
  • 【C++初阶】C++入门——缺省参数、函数重载

     缺省参数是 声明或定义函数时为函数的参数指定一个缺省值 。在调用该函数时,如果没有指定实参则采用该形参的缺省值,否则使用指定的实参。  上面代码在 fun 函数的形参部分给了缺省值10,这意味着在调用 fun 函数的时候可以传参,也可以不传参,如果传参了那形参

    2024年02月11日
    浏览(37)
  • 【C++初阶】缺省参数与函数重载

        C++祖师爷在用C写代码的时候,就觉得有些地方用着很不方便,于是就在C++设计了缺省参数,在实现一些功能时,用这个就方便了许多。 缺省参数是声明或定义函数时为 函数的参数指定一个缺省值 。在调用该函数时:             a.如果没有指定实参则采用该形参的缺省

    2023年04月22日
    浏览(49)
  • 【C++初阶(二)】缺省参数&函数重载

    目录 前言 1. 缺省参数  1.1 什么是缺省参数  1.2 缺省参数的分类      1.2.1 全缺省参数  1.2.2 半缺省参数 2. 函数重载  2.1 什么是函数重载  2.2 缺省参数与函数重载  2.3 函数重载的使用  3. C++支持函数重载的原因  总结         在学习C语言时我们就会发现,C语言中存在的

    2024年02月07日
    浏览(34)
  • 【C++初阶(二)】缺省参数以及函数重载

    💓博主CSDN主页:杭电码农-NEO💓   ⏩专栏分类:C++初阶之路⏪   🚚代码仓库:NEO的学习日记🚚   🌹关注我🫵带你学习排序知识   🔝🔝 写C语言代码的时候 特别是在写数据结构时: 经常忘记传函数的参数 或者当前不需要什么参数 C++增加了缺省参数来解决这个问题 而为了

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

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

    2024年02月16日
    浏览(34)

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

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

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

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

二维码1

领取红包

二维码2

领红包