C++中的模板

模板概论

        c++提供了函数模板 (function template.) 所谓函数模板,实际上是建立一个通用函 数,其函数类型和形参类型不具体制定,用一个虚拟的类型来代表。这个通用函数 就成为函数模板。凡是函数体相同的函数都可以用这个模板代替,不必定义多个函 数,只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板 中的虚拟类型,从而实现不同函数的功能。
c++ 提供两种模板机制 :
        函数模板和类模板
        类属 - 类型参数化,又称参数模板
总结:
        模板把函数或类要处理的数据类型参数化,表现为参数的多态性,成为类属。
        模板用于表达逻辑结构相同,但具体数据元素类型不同的数据对象的通用行为。

函数模板

//交换 int 数据
void SwapInt(int& a,int& b){int temp = a;a = b;b = temp;
}
//交换 char 数据
void SwapChar(char& a,char& b){char temp = a;a = b;b = temp;
}
//问题:如果我要交换 double 类型数据,那么还需要些一个 double 类型数据交换的函
数
//繁琐,写的函数越多,当交换逻辑发生变化的时候,所有的函数都需要修改,无形当中
增加了代码的维护难度
//如果能把类型作为参数传递进来就好了,传递 int 就是 Int 类型交换,传递 char 就是char 类型交换
//我们有一种技术,可以实现类型的参数化---函数模板
//class 和 typename 都是一样的,用哪个都可以
template<class T>
void MySwap(T& a,T& b){T temp = a;a = b;b = temp;
}
void test01(){int a = 10;int b = 20;cout << "a:" << a << " b:" << b << endl;//1. 这里有个需要注意点,函数模板可以自动推导参数的类型MySwap(a,b);cout << "a:" << a << " b:" << b << endl;char c1 = 'a';char c2 = 'b';cout << "c1:" << c1 << " c2:" << c2 << endl;//2. 函数模板可以自动类型推导,那么也可以显式指定类型MySwap<char>(c1, c2);cout << "c1:" << c1 << " c2:" << c2 << endl;
}
用模板是为了实现泛型,可以减轻编程的工作量,增强函数的重用性。

函数模板和普通函数区别

函数模板不允许自动类型转化
普通函数能够自动进行类型转化
//函数模板
template<class T>
T MyPlus(T a, T b){T ret = a + b;return ret;
}
//普通函数
int MyPlus(int a,char b){int ret = a + b;return ret;
}
void test02(){int a = 10;char b = 'a';//调用函数模板,严格匹配类型MyPlus(a, a);MyPlus(b, b);//调用普通函数MyPlus(a, b);//调用普通函数 普通函数可以隐式类型转换MyPlus(b, a);//结论://函数模板不允许自动类型转换,必须严格匹配类型//普通函数可以进行自动类型转换
}

函数模板和普通函数在一起调用规则

c++ 编译器优先考虑普通函数
可以通过空模板实参列表的语法限定编译器只能通过模板匹配
函数模板可以像普通函数那样可以被重载
如果函数模板可以产生一个更好的匹配,那么选择模板
//函数模板
template<class T>
T MyPlus(T a, T b){T ret = a + b;return ret;
}
//普通函数
int MyPlus(int a, int b){int ret = a + b;return ret;
}
void test03(){int a = 10;int b = 20;char c = 'a';char d = 'b';//如果函数模板和普通函数都能匹配,c++编译器优先考虑普通函数cout << MyPlus(a, b) << endl;//如果我必须要调用函数模板,那么怎么办?cout << MyPlus<>(a, b) << endl;//此时普通函数也可以匹配,因为普通函数可以自动类型转换//但是此时函数模板能够有更好的匹配//如果函数模板可以产生一个更好的匹配,那么选择模板cout << MyPlus(c,d);
}
//函数模板重载
template<class T>
T MyPlus(T a, T b, T c){T ret = a + b + c;return ret;
}
void test04(){int a = 10;int b = 20;int c = 30;cout << MyPlus(a, b, c) << endl;//如果函数模板和普通函数都能匹配,c++编译器优先考虑普通函数
}

模板机制剖析

思考 :   为什么函数模板可以和普通函数放在一起 ?c++ 编译器是如何实现函数模板机 制的?

编译过程

        hello.cpp 程序是高级 c 语言程序,这种程序易于被人读懂。为了在系统上运行 hello.c 程序,每一条 c 语句都必须转化为低级的机器指令。然后将这些机器指令 打包成可执行目标文件格式,并以二进制形式存储于磁盘中。
        预处理(Pre-processing) -> 编译 (Compiling) -> 汇编 (Assembling) -> 链接 (Linking)

模板实现机制

函数模板机制结论:
        编译器并不是把函数模板处理成能够处理任何类型的函数
        函数模板通过具体类型产生不同的函数
        编译器会对函数模板进行两次编译,在声明的地方对模板代码本身进行编译,在 调用的地方对参数替换后的 代码进行编译。

模板的局限性

假设有如下模板函数:
                template < class T>
                void f(T a, T b)
                { … }
        如果代码实现时定义了赋值操作 a = b ,但是 T 为数组,这种假设就不成立了 同样,如果里面的语句为判断语句 if(a>b), T 如果是结构体,该假设也不成立, 另外如果是传入的数组,数组名为地址,因此它比较的是地址,而这也不是我们所 希望的操作。
        总之,编写的模板函数很可能无法处理某些类型,另一方面,有时候通用化是有 意义的,但 C++ 语法不允许这样做。为了解决这种问题,可以提供模板的重载,为这些特定的类型提供具体化的模板。
class Person
{
public:Person(string name, int age){this->mName = name;this->mAge = age;}string mName;int mAge;
};
//普通交换函数
template <class T>
void mySwap(T &a,T &b)
{T temp = a;a = b; b = temp;
}
//第三代具体化,显示具体化的原型和定意思以 template<>开头,并通过名称来指出类
型
//具体化优先于常规模板
template<>void mySwap<Person>(Person &p1, Person &p2)
{string nameTemp;int ageTemp;nameTemp = p1.mName;p1.mName = p2.mName;p2.mName = nameTemp;ageTemp = p1.mAge;p1.mAge = p2.mAge;p2.mAge = ageTemp;
}
void test()
{Person P1("Tom", 10);Person P2("Jerry", 20);cout << "P1 Name = " << P1.mName << " P1 Age = " << P1.mAge << endl;cout << "P2 Name = " << P2.mName << " P2 Age = " << P2.mAge << endl;mySwap(P1, P2);cout << "P1 Name = " << P1.mName << " P1 Age = " << P1.mAge << endl;cout << "P2 Name = " << P2.mName << " P2 Age = " << P2.mAge << endl;
}

类模板

类模板基本概念

        类模板和函数模板的定义和使用类似,我们已经进行了介绍。有时,有两个或多个 类,其功能是相同的,仅仅是数据类型不同。
        类模板用于实现类所需数据的类型参数化
template<class NameType, class AgeType>
class Person
{
public:Person(NameType name, AgeType age){this->mName = name;this->mAge = age;}void showPerson(){cout << "name: " << this->mName << " age: " << this->mAge    << endl;}
public:NameType mName;AgeType mAge;
};
void test01()
{//Person P1("德玛西亚",18); // 类模板不能进行类型自动推导Person<string, int>P1("德玛西亚", 18);P1.showPerson();
}

类模板做函数参数

//类模板
template<class NameType, class AgeType>
class Person{
public:Person(NameType name, AgeType age){this->mName = name;this->mAge = age;}
void PrintPerson(){cout << "Name:" << this->mName << " Age:" << this->mAge << endl;
}
public:NameType mName;AgeType mAge;
};
//类模板做函数参数
void DoBussiness(Person<string,int>& p){p.mAge += 20;p.mName += "_vip";p.PrintPerson();
}
int main(){Person<string, int> p("John", 30);DoBussiness(p);system("pause");return EXIT_SUCCESS;
}

类模板派生普通类

//类模板
template<class T>
class MyClass{
public:MyClass(T property){this->mProperty = property;}
public:T mProperty;
};
//子类实例化的时候需要具体化的父类,子类需要知道父类的具体类型是什么样的
//这样 c++编译器才能知道给子类分配多少内存
//普通派生类
class SubClass : public MyClass<int>{
public:SubClass(int b) : MyClass<int>(20){this->mB = b;}
public:int mB;
};
1.7.4 类模板派生类模板
//父类类模板
template<class T>
class Base
{T m;
};
template<class T >
class Child2 : public Base<double> //继承类模板的时候,必须要确定基类的大小
{
public:T mParam;
};
void test02()
{Child2<int> d2;
}

类模板类内实现

template<class NameType, class AgeType>
class Person
{
public:Person(NameType name, AgeType age){this->mName = name;this->mAge = age;}void showPerson(){cout << "name: " << this->mName << " age: " << this->mAge << endl;}
public:NameType mName;AgeType mAge;
};
void test01()
{//Person P1("德玛西亚",18); // 类模板不能进行类型自动推导Person<string, int>P1("德玛西亚", 18);P1.showPerson();
}

类模板类外实现

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
#include<string>
using namespace std;
template<class T1, class T2>
class Person{
public:Person(T1 name, T2 age);void showPerson();
public:T1 mName;T2 mAge;
};
//类外实现
template<class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age){this->mName = name;this->mAge = age;
}
template<class T1, class T2>void Person<T1, T2>::showPerson(){cout << "Name:" << this->mName << " Age:" << this->mAge << endl;
}
void test()
{Person<string, int> p("Obama", 20);p.showPerson();
}
int main(){test();system("pause");return EXIT_SUCCESS;
}

类模板头文件和源文件分离问题

Person.hpp

#pragma once
template<class T1,class T2>
class Person{
public:Person(T1 name,T2 age);void ShowPerson();
public:T1 mName;T2 mAge;
};
template<class T1, class T2>
Person<T1, T2>::Person(T1 name, T2 age){this->mName = name;this->mAge = age;
}
template<class T1, class T2>
void Person<T1, T2>::ShowPerson(){cout << "Name:" << this->mName << " Age:" << this->mAge << endl;
}

main.cpp

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
using namespace std;
#include<string>
#include"Person.hpp"
//模板二次编译
//编译器编译源码 逐个编译单元编译的
int main(){Person<string, int> p("Obama", 20);p.ShowPerson();system("pause");return EXIT_SUCCESS;
}
结论 : 案例代码在 qt 编译器顺利通过编译并执行,但是在 Linux vs 编辑器下如 果只包含头文件,那么会报错链接错误,需要包含 cpp 文件,但是如果类模板中 有友元类,那么编译失败!
解决方案 : 类模板的声明和实现放到一个文件中,我们把这个文件命名为 .hpp( 这个 是个约定的规则,并不是标准,必须这么写).
原因:
        类模板需要二次编译,在出现模板的地方编译一次,在调用模板的地方再次编译。
        C++编译规则为独立编译。

模板类碰到友元函数

#define _CRT_SECURE_NO_WARNINGS
#include<iostream>
using namespace std;
#include <string>
template<class T1, class T2> class Person;
//告诉编译器这个函数模板是存在
template<class T1, class T2> void PrintPerson2(Person<T1, T2>& p);
//友元函数在类内实现
template<class T1, class T2>
class Person{//1. 友元函数在类内实现friend void PrintPerson(Person<T1, T2>& p){cout << "Name:" << p.mName << " Age:" << p.mAge << endl;
}
//2.友元函数类外实现
//告诉编译器这个函数模板是存在
friend void PrintPerson2<>(Person<T1, T2>& p);
//3. 类模板碰到友元函数模板
template<class U1, class U2>
friend void PrintPerson(Person<U1, U2>& p);
public:Person(T1 name, T2 age){this->mName = name;this->mAge = age;}void showPerson(){cout << "Name:" << this->mName << " Age:" << this->mAge << endl;}
private:T1 mName;T2 mAge;
};
void test01()
{Person <string, int>p("Jerry", 20);PrintPerson(p);
}
// 类模板碰到友元函数
//友元函数类外实现 加上<>空参数列表,告诉编译去匹配函数模板
template<class T1 , class T2>
void PrintPerson2(Person<T1, T2>& p)
{cout << "Name2:" << p.mName << " Age2:" << p.mAge << endl;
}
void test02()
{Person <string, int>p("Jerry", 20);PrintPerson2(p); //不写可以编译通过,写了之后,会找 PrintPerson2 的普通函数调用,因为写了普通函数 PrintPerson2 的声明
}
int main(){//test01();test02();system("pause");return EXIT_SUCCESS;
}

类模板的应用

设计一个数组模板类 (MyArray), 完成对不同类型元素的管理
#pragma once
template<class T>
class MyArray
{
public:explicit MyArray(int capacity){this->m_Capacity = capacity;this->m_Size = 0;// 如果 T 是对象,那么这个对象必须提供默认的构造函数pAddress = new T[this->m_Capacity];}//拷贝构造MyArray(const MyArray & arr){this->m_Capacity = arr.m_Capacity;this->m_Size = arr.m_Size;this->pAddress = new T[this->m_Capacity];for (int i = 0; i < this->m_Size;i++){this->pAddress[i] = arr.pAddress[i];}}//重载[] 操作符 arr[0]T& operator [](int index){return this->pAddress[index]; }//尾插法void Push_back(const T & val){if (this->m_Capacity == this->m_Size){return;}this->pAddress[this->m_Size] = val;this->m_Size++;}void Pop_back(){if (this->m_Size == 0){return;}this->m_Size--;}int getSize(){return this->m_Size;}//析构~MyArray(){if (this->pAddress != NULL){delete[] this->pAddress;this->pAddress = NULL;this->m_Capacity = 0;this->m_Size = 0;}}
private:T * pAddress; //指向一个堆空间,这个空间存储真正的数据int m_Capacity; //容量int m_Size; // 大小
};
测试代码:
class Person{
public:Person(){}Person(string name, int age){this->mName = name;this->mAge = age;}
public:string mName;int mAge;
};
void PrintMyArrayInt(MyArray<int>& arr){for (int i = 0; i < arr.getSize(); i++){cout << arr[i] << " ";}cout << endl;
}
void PrintMyPerson(MyArray<Person>& personArr)
{for (int i = 0; i < personArr.getSize(); i++){cout << "姓名:" << personArr[i].mName << " 年龄: " << personArr[i].mAge << endl;}
}
void test01()
{MyArray<int> myArrayInt(10);for (int i = 0; i < 9; i++){myArrayInt.Push_back(i);}myArrayInt.Push_back(100);PrintMyArrayInt(myArrayInt);MyArray<Person> myArrayPerson(10);Person p1("德玛西亚", 30);Person p2("提莫", 20);Person p3("孙悟空",18);Person p4("赵信", 15);Person p5("赵云", 24);myArrayPerson.Push_back(p1);myArrayPerson.Push_back(p2);myArrayPerson.Push_back(p3);myArrayPerson.Push_back(p4);myArrayPerson.Push_back(p5);
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/181315.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

好物分享(领劵优惠好手)

本次分享一个领取领优惠、充值、会员、购物优惠等功能 部分截图 需要的点击下方按钮 前往体验 感谢大家的支持 更多内容请关注微信小程序&#xff0c;源码、插件、模板及时更新

【C++干货铺】STL简述 | string类的使用指南

个人主页点击直达&#xff1a;小白不是程序媛 C系列专栏&#xff1a;C干货铺 代码仓库&#xff1a;Gitee 目录 什么是STL STL的版本 STL的六大组件 STL的缺陷 string类 C语言中的字符串 标准库中的string类 string类常用的接口使用指南 string类中常见的构造 strin…

CUDA安装及环境配置——最新详细版

确定安装版本 在安装之前呢&#xff0c;我们需要确定三件事 第一&#xff1a;查看显卡支持的最高CUDA的版本&#xff0c;以便下载对应的CUDA安装包 第二&#xff1a;查看对应CUDA对应的VS版本&#xff0c;以便下载并安装对应的VS版本&#xff08;vs需要先安装&#xff09; 第三…

【vue脚手架配置代理+github用户搜索案例+vue项目中常用的发送Ajax请求的库+slot插槽】

vue脚手架配置代理github用户搜索案例vue项目中常用的发送Ajax请求的库slot插槽 1 vue脚手架配置代理2 github用户搜索案例2.1 静态列表2.2 列表展示2.3 完善案例 3 vue项目中常用的发送Ajax请求的库3.1 xhr3.2 jQuery3.3 axios3.4 fetch3.5 vue-resource 4 slot 插槽4.1 效果4…

【沁恒蓝牙mesh】CH58x 将RTC时钟切换为LSE外部低速时钟

本文主要记录了【沁恒蓝牙mesh】CH58x 如何将RTC时钟切换为外部时钟 &#x1f496; 作者简介&#xff1a;大家好&#xff0c;我是喜欢记录零碎知识点的小菜鸟。&#x1f60e;&#x1f4dd; 个人主页&#xff1a;欢迎访问我的 Ethernet_Comm 博客主页&#x1f525;&#x1f389;…

实测有效的 8 个顶级Android 数据恢复工具

由于我们现在生活在一个依赖数字数据的时代&#xff0c;当重要文件从我们的 Android 手机中消失时&#xff0c;这将是一场数字噩梦。如果您没有预先备份Android手机上的数据或未能通过备份找到已删除的数据&#xff0c;那么选择最好的Android数据恢复软件是最佳选择。 因此&am…

苹果提醒事项怎么用?几个简单步骤就能学会!

苹果提醒事项可以帮助你轻松管理待办事项&#xff0c;让你更好地安排自己的时间和工作。但是&#xff0c;有些小伙伴可能对如何使用这个功能还有一些疑问。苹果提醒事项怎么用&#xff1f;不要担心&#xff0c;小编将为大家提供使用提醒事项的方法&#xff0c;帮助你学会如何使…

Nginx系列-正向代理和反向代理

Nginx系列-正向代理和反向代理 文章目录 Nginx系列-正向代理和反向代理1. 三个对象2. 两种场景代理2.1. 正向代理2.2. 反向代理 3. 两种场景的对比3.1 为什么叫做反向代理3.2 正向代理和反向代理的作用 1. 三个对象 客户端&#xff1a;发出请求到代理&#xff0c;并接收代理的…

Android : Fragment 传递数据 — 简单应用

示例图&#xff1a; 创建 Fragment new -> Fragment -> Fragment&#xff08;Blank&#xff09; MainActivity.java package com.example.fragmentdemo;import androidx.appcompat.app.AppCompatActivity; import androidx.fragment.app.FragmentManager; import andro…

C语言每日一题(41)循环队列

力扣 622 循环队列 题目描述 设计你的循环队列实现。 循环队列是一种线性数据结构&#xff0c;其操作表现基于 FIFO&#xff08;先进先出&#xff09;原则并且队尾被连接在队首之后以形成一个循环。它也被称为“环形缓冲器”。 循环队列的一个好处是我们可以利用这个队列之前…

5W2H分析法

5W2H分析法 5W2H分析法又叫七问分析法。 模型介绍 简单、方便&#xff0c;易于操作的思考&#xff08;框架&#xff09;模型&#xff0c;问题分析模型&#xff0c;它可以帮助我们保证思考的严谨与全面&#xff0c;也能给人启发&#xff0c;有着广泛的应用&#xff1a; 提问-可…

AndroidNDK开发之交叉编译

在Android studio2.2以及以上&#xff0c;构建原生库的默认工具是cmake。 CMake是一个跨平台的构建工具&#xff0c;可以使用简单的语句来描述所有平台的安装(编译过程)。 能够输出各种各样的makefile或者project文件。cmake并不直接构建出最终的软件&#xff0c;而是产生其他工…

Web学习笔记

Web学习笔记 flask库前端基础超链接&#xff1a;空连接&#xff1a;图片&#xff1a;视频&#xff08;音频&#xff09;&#xff1a;嵌套使用列表表格格式化表格input表单系列 网络请求GET方式POST请求通过GET方式获取输入参数通过POST方式获取输入参数注册页面 CSS三种使用方式…

MYSQL存储

注意&#xff1a; 1.如果没有指定的SESSION/GLOBAL&#xff0c;默认是SESSION&#xff0c;会话变量。 2.mysql服务重新启动之后&#xff0c;所设置的全局参数会失效&#xff0c;要想不失效&#xff0c;可以在/etc/my.cnf中配置。 变量 用户定义变量是用户根据需要自己定义变量…

Redis队列stream,Redis多线程详解

Redis 目前最新版本为 Redis-6.2.6 &#xff0c;会以 CentOS7 下 Redis-6.2.4 版本进行讲解。 下载地址&#xff1a; https://redis.io/download 安装运行 Redis 很简单&#xff0c;在 Linux 下执行上面的 4 条命令即可 &#xff0c;同时前面的 课程已经有完整的视…

《尚品甄选》:后台系统——权限管理之分类和品牌管理,使用EasyExcel导入导出数据(debug一遍)

文章目录 一、分类管理1.1 表结构介绍1.2 分类列表查询 二、EasyExcel使用2.1 EasyExcel简介2.2 导出功能2.3 导入功能 三、品牌管理3.1 表结构介绍3.2 列表查询3.3 添加品牌3.4 修改品牌3.5 删除品牌 一、分类管理 分类管理就是对商品的分类数据进行维护。 1.1 表结构介绍 分…

缺省参数的声明和定义

首先&#xff0c;函数缺省参数不能同时出现在声明和定义中&#xff0c;如出现则报错&#xff1a; 声明和定义中同时出现缺省参数 ctrlb&#xff0c;编译报错&#xff0c;提示 “test"&#xff1a;重定义默认参数&#xff1a;参数1 编译报错 当函数的声明和定义中都出现…

第10关:基数排序

任务要求参考答案问答98 任务描述相关知识 基数排序算法编程要求测试说明 任务描述 本关任务&#xff1a;实现基数排序算法&#xff0c;并将乱序数列变成升序。 相关知识 为了完成本关任务&#xff0c;你需要掌握&#xff1a;1.基数排序算法。 基数排序算法 基数排序是按…

Node.js下载安装教程

一、下载安装包 1、百度网盘自提链接&#xff1a; 链接&#xff1a;https://pan.baidu.com/s/1Bbw895MtUgjlfZylPHCCxw 提取码&#xff1a;x89v 2、进入官网下载 https://nodejs.org/zh-cn/download/ 选择对应版本&#xff0c;我这里选的windows64位版本 二、安装程序 1、…

使用shell快速查看电脑曾经连接过的WiFi密码

此方法只能查看以前连接过的wifi名称和对应的密码 查看连接过的WiFi名称netsh wlan show profiles查看具体的WiFi名称netsh wlan show profile name"你的wifi名称" keyclear