技术标签: 算法 c++ java c语言 linux 数据结构 c++学习 开发语言
结束了常用容器的介绍,今天继续模版内容的讲解:
模板参数可以大致分为:分类类型形参与非类型形参。
类型形参即:出现在模板参数列表中,跟在
class
或者``typename`之类的参数类型名称非类型形参,就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用
#include<iostream>
using namespace std;
template<class T,int N>
class MyArray
{
public:
MyArray()
{
for (int i = 0; i < N; ++i)
{
_arr[i] = i;
}
}
void print()
{
for (int i = 0; i < N; ++i)
{
cout << _arr[i] << " ";
}
}
private:
T _arr[N];//定义一个静态数组
};
void test1()
{
MyArray<int, 10> my;
my.print();
}
int main()
{
test1();
return 0;
}
注意:
浮点数、类对象以及字符串是不允许作为非类型模板参数的。
非类型的模板参数必须在编译期就能确认结果。
通常情况下,使用模板可以实现一些与类型无关的代码,但对于一些特殊类型的可能会得到一些错误的结果,需要特殊处理。如下
template<class T>
bool Less(T left, T right)
{
return left < right;
}
void test2()
{
cout << Less(1, 2) << endl; //结果正确
double d1 = 1.1;
double d2 = 2.2;
cout << Less(d1, d2) << endl; //结果正确
double* p1 = &d1;
double* p2 = &d2;
cout << Less(p1, p2) << endl; //结果错误
}
int main()
{
test2();
return 0;
}
可以看到,Less绝对多数情况下都可以正常比较(前两者),但是在特殊场景下(最后一个)就得到错误的结果。上述示例中,p1指向的d1显然小于p2指向的d2对象,但是Less内部并没有比较p1和p2指向的对象内容,而比较的是p1和p2指针的地址的大小,这就无法达到预期而错误。
此时,就需要对模板进行特化。即:在原模板类的基础上,针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化
函数模板的特化步骤:
必须要先有一个基础的函数模板
关键字template
后面接一对空的尖括号< >
函数名后跟一对尖括号,尖括号中指定需要特化的类型
函数形参表: 必须要和模板函数的基础参数类型完全相同
解决上述问题:
template<class T> bool Less(T left, T right) { return left < right; } // 对Less函数模板进行特化 template<> bool Less<double*>(double* a, double* b)//函数名后跟一对尖括号 { return *a < *b; } void test2() { cout << Less(1, 2) << endl; //结果正确 double d1 = 1.1; double d2 = 2.2; cout << Less(d1, d2) << endl; //结果正确 double* p1 = &d1; double* p2 = &d2; cout << Less(p1, p2) << endl; //结果错误 } int main() { test2(); return 0; }
同时我们也不仅可以利用特化解决,直接重载也是可以的(直接给出针对这个类型的函数):
bool Less(double* left, double* right) { return *left < *right; }
该种实现简单明了,代码的可读性高,容易书写,因为对于一些参数类型复杂的函数模板,特化时特别给出,因此函数模板不建议特化。
全特化即是将模板参数列表中所有的参数都确定化
template<class T1, class T2>
class Data
{
public:
Data()
{
cout << "Data<T1, T2>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
template<>//这是全特化
class Data<int, double>
{
public:
Data()
{
cout << "Data<int, double>" << endl;
}
private:
int _d1;
double _d2;
};
void test3()
{
Data<int,int> d1;
Data<int,double> d2;
}
int main()
{
test3();
return 0;
}
偏特化有以下两种表现方式:
template<class T1, class T2>
class Data
{
public:
Data()
{
cout << "正常,没特化:Data<T1, T2>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
template<>//这是全特化
class Data<int, double>
{
public:
Data()
{
cout << "全特化:Data<int, double>" << endl;
}
private:
int _d1;
double _d2;
};
template<class T>//这是偏特化
class Data<T, double>
{
public:
Data()
{
cout << "偏特化:Data<T, double>" << endl;
}
private:
int _d1;
double _d2;
};
void test3()
{
Data<int,int> d1;
Data<int,double> d2;
Data<char,double> d3;
}
int main()
{
test3();
return 0;
}
当既满足偏特化,又满足全特化,会作何选择呢?
选择全特化:偏特化还需要参数匹配(还需要实例化一部分参数),我们直接用现成的(全特化)
template<class T1,class T2>//这是偏特化另一情况:进行限制,这里限制为指针
class Data<T1*, T2*>
{
public:
Data()
{
cout << "偏特化:Data<T1*, T2*>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
template<class T1, class T2>//这是偏特化另一情况:进行限制,这里限制为指针
class Data<T1&, T2&>
{
public:
Data()
{
cout << "偏特化:Data<T1&, T2&>" << endl;
}
};
void test3()
{
Data<int*,int*> d1;
Data<int&,double&> d2;
}
int main()
{
test3();
return 0;
}
一个(项目)我们通常会用若干个源文件共同实现,而每个源文件单独编译生成目标文件,最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式
在之前的各种使用中,我们没有过把模版声明和定义分离放在两个文件里
如果分离:
一运行就发现:找不到这个函数
我们知道C/C++程序的运行一般包括了预处理、编译、汇编和链接等步骤。
#include
、#define
等,将宏展开、头文件包含等操作。预处理的结果是生成一个纯粹的C++源文件,没有预处理指令。.obj
、.o
等为扩展名)。从main函数开始执行,我们遇到了
Add(1,2)
;因为包含了.h
头文件(有声明)我们会到链接部分找实现,但是,在另一方文件的实现不知道我进行了实例化,也就没有进行实例化,所以链接后找不到模板在使用时需要在编译阶段进行具体实例化,而编译器需要在编译的时候能够看到模板的完整定义,以便正确生成代码。如果将模板的声明和定义分离成不同的文件,编译器就无法在编译阶段得知模板的具体实现
模板的编译过程通常包含两个主要阶段:模板的定义和模板的实例化。
- 模板定义: 模板定义包括模板的声明和实现。这一部分通常包含在头文件(.h或.hpp)中,并在源文件(.cpp)中包含。在编译过程的第一阶段,编译器会处理源文件和头文件,但并不会生成实际的代码。
- 模板实例化: 在使用模板的源文件中,当实际用到模板的具体类型时,编译器会进行模板实例化。这时,编译器需要看到模板的完整定义,以便生成相应类型的实际代码。这个阶段实际上是对模板进行展开,生成模板特定实例的代码。
由于模板实例化需要在编译时完成,模板的定义必须在使用它的源文件中可见。如果将模板的声明和实现分离到不同的文件,编译器在实例化时就无法找到完整的定义,从而导致编译错误
文章浏览阅读1.1k次。一、选择题1. 串行接口是指( )。A. 接口与系统总线之间串行传送,接口与I/0设备之间串行传送B. 接口与系统总线之间串行传送,接口与1/0设备之间并行传送C. 接口与系统总线之间并行传送,接口与I/0设备之间串行传送D. 接口与系统总线之间并行传送,接口与I/0设备之间并行传送【答案】C2. 最容易造成很多小碎片的可变分区分配算法是( )。A. 首次适应算法B. 最佳适应算法..._874 计算机科学专业基础综合题型
文章浏览阅读9.7k次,点赞5次,收藏15次。连接xshell失败,报错如下图,怎么解决呢。1、通过ps -e|grep ssh命令判断是否安装ssh服务2、如果只有客户端安装了,服务器没有安装,则需要安装ssh服务器,命令:apt-get install openssh-server3、安装成功之后,启动ssh服务,命令:/etc/init.d/ssh start4、通过ps -e|grep ssh命令再次判断是否正确启动..._could not connect to '192.168.17.128' (port 22): connection failed.
文章浏览阅读209次。00000000_杰理 空白芯片 烧入key文件
文章浏览阅读475次。2023年初,“ChatGPT”一词在社交媒体上引起了热议,人们纷纷探讨它的本质和对社会的影响。就连央视新闻也对此进行了报道。作为新传专业的前沿人士,我们当然不能忽视这一热点。本文将全面解析ChatGPT,打开“技术黑箱”,探讨它对新闻与传播领域的影响。_引发对chatgpt兴趣的表述
文章浏览阅读259次。用Python数据分析方法进行汉字声调频率统计分析木合塔尔·沙地克;布合力齐姑丽·瓦斯力【期刊名称】《电脑知识与技术》【年(卷),期】2017(013)035【摘要】该文首先用Python程序,自动获取基本汉字字符集中的所有汉字,然后用汉字拼音转换工具pypinyin把所有汉字转换成拼音,最后根据所有汉字的拼音声调,统计并可视化拼音声调的占比.【总页数】2页(13-14)【关键词】数据分析;数据可..._汉字声调频率统计
文章浏览阅读64次。最近在做一个android系统移植的项目,所使用的开发板com1是调试串口,就是说会有uboot和kernel的调试信息打印在com1上(ttySAC0)。因为后期要使用ttySAC0作为上层应用通信串口,所以要把所有的调试信息都给去掉。参考网上的几篇文章,自己做了如下修改,终于把调试信息重定向到ttySAC1上了,在这做下记录。参考文章有:http://blog.csdn.net/longt..._嵌入式rootfs 输出重定向到/dev/console
文章浏览阅读1.2k次,点赞4次,收藏12次。1,先去iconfont登录,然后选择图标加入购物车 2,点击又上角车车添加进入项目我的项目中就会出现选择的图标 3,点击下载至本地,然后解压文件夹,然后切换到uniapp打开终端运行注:要保证自己电脑有安装node(没有安装node可以去官网下载Node.js 中文网)npm i -g iconfont-tools(mac用户失败的话在前面加个sudo,password就是自己的开机密码吧)4,终端切换到上面解压的文件夹里面,运行iconfont-tools 这些可以默认也可以自己命名(我是自己命名的_uniapp symbol图标
文章浏览阅读1.2w次,点赞25次,收藏192次。char*和char[]都是指针,指向第一个字符所在的地址,但char*是常量的指针,char[]是指针的常量_c++ char*
文章浏览阅读930次。代码编辑器或者文本编辑器,对于程序员来说,就像剑与战士一样,谁都想拥有一把可以随心驾驭且锋利无比的宝剑,而每一位程序员,同样会去追求最适合自己的强大、灵活的编辑器,相信你和我一样,都不会例外。我用过的编辑器不少,真不少~ 但却没有哪款让我特别心仪的,直到我遇到了 Sublime Text 2 !如果说“神器”是我能给予一款软件最高的评价,那么我很乐意为它封上这么一个称号。它小巧绿色且速度非
文章浏览阅读4.1k次。一、选择法这是每一个数出来跟后面所有的进行比较。2.冒泡排序法,是两个相邻的进行对比。_对十个数进行大小排序java
文章浏览阅读2.9k次。物联网开发笔记——使用网络调试助手连接阿里云物联网平台(基于MQTT协议)其实作者本意是使用4G模块来实现与阿里云物联网平台的连接过程,但是由于自己用的4G模块自身的限制,使得阿里云连接总是无法建立,已经联系客服返厂检修了,于是我在此使用网络调试助手来演示如何与阿里云物联网平台建立连接。一.准备工作1.MQTT协议说明文档(3.1.1版本)2.网络调试助手(可使用域名与服务器建立连接)PS:与阿里云建立连解释,最好使用域名来完成连接过程,而不是使用IP号。这里我跟阿里云的售后工程师咨询过,表示对应_网络调试助手连接阿里云连不上
文章浏览阅读544次,点赞5次,收藏6次。运算符与表达式任何高级程序设计语言中,表达式都是最基本的组成部分,可以说C++中的大部分语句都是由表达式构成的。_无c语言基础c++期末速成