c++模板和SLT初步了解
write in front
作者:@ 不进大厂不改名
专栏:@ c++
作者简介:大一学生 希望能向其他大佬和同学学习!
本篇博客简介:c++模板的简单介绍,为以后深入学习做铺垫。
本章目标
一、模板初阶
1.泛型编程
2.熟悉函数模板
3.熟悉类模板
二、STL初阶
4.什么是STL
5.STL版本
6.STL三六组件
7.STL的重要性
8.如何学习STL
9.STL的缺陷
1.泛型编程
泛型编程
这里要求我们写一个整形的交换函数对于我们现在来说肯定是小儿科了吧。
#include <iostream>
using namespace std;
void Swap(int& a, int& b)
{
int temp = a;
a = b;
b = temp;
}
void Swap(double& a, double& b)
{
int temp = a;
a = b;
b = temp;
}
void Swap(char& a, char& b)
{
int temp = a;
a = b;
b = temp;
}
我们在之前学过函数重载可以实现,但是有几个不好的地方:
1.重载的函数紧紧是类型不同,代码复用率比较低,只要有新类型出现时,就需要增加相应的函数
2.代码的可维护性比较低,一个出错可能所有的重载均出错。
这时候我们就想能否告诉编译器一个模子,让编译器根据不同的类型根据模子生成代码。
就像是铸铁一样,根据模具就能打造出很多差不多的铸件,不需要每次去设计打造的方法,只需要一开始,打造出一个模具就行了。(例如要打造铁铸件和铜铸件,有了模具后,我们只需要在模具里加铁和铜就行)
c++中提出了类似的概念,也存在模具,通过给它填充不同的材料,来获得不同材料的铸件(即生成具体类型的代码),那样会节省许多时间和精力。很幸运的是,前人已经把井打好,我们只需要在这取水就行。
泛型编程:编写与类型无关的通用代码,是代码复用的一种手段,模板是泛型编程的基础。
2.函数模板
函数模板的概念
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数特定类型模板。
函数模板的概念函数模板格式(如下)
#include <iostream>
using namespace std;
template<typename T> (这里的typename也可以换成class)
void Swap(T& a,T& b)
{
T temp = a;
a = b;
b = temp;
}
测试如下(用了三种类型)
这就是一个函数模板。
函数模板的原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器
在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。
函数模板的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。
一、隐式实例化:让编译器根据实参推演模板参数的实际类型(下面的i和j就是例子)
#include <iostream>
using namespace std;
template<typename T>
T Add(T& a,T& b)
{
return a + b;
}
int main()
{
int a = 1, b = 2;
i:Add(a, b);//该部分的i和j只是为了说明隐式实例化出现的位置,并无其他作用
double c = 1.0, d = 2.0;
j:Add(c,d);
Add(a,c);这里无法编译通过,因为通过实参a1将T推演为int,通过实参d1将T推演为double类型,但模板参数列表中只有一个T,编译器无法确定此处到底该将T确定为int 或者 double类型而报错
}
这时由两种解决办法:
1.用户自己进行强制类型转化。(在模板中,编译器一般不会进行类型转换操作,因为一旦转化出问题,编译器就需要背黑锅)
Add(a,int(c));
二、使用显式实例化(在函数名后的<>中指定模板参数的实际类型)
Add<int>(a,c);
如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成
编译器将会报错。
模板参数的匹配规则
1.一个非函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
#include <iostream>
using namespace std;
专门处理int的加法函数
int Add(int a, int b)
{
return a + b;
}
通用加法函数
template<typename T>//(这里的typename也可以换成class)
T Add(T a,T b)
{
return a + b;
}
int main()
{
int a = 1, b = 2;
Add(a, b); 与非模板函数匹配,编译器不需要特化
Add<int>(a, b); 调用编译器特化的Add版本
}
2. 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板
#include <iostream>
using namespace std;
专门处理int的加法函数
int Add(int a, int b)
{
return a + b;
}
通用加法函数
template<typename T>//(这里的typename也可以换成class)
T Add(T a,T b)
{
return a + b;
}
int main()
{
int a = 1, b = 2;
Add(a, b); 与非模板函数匹配,编译器不需要实例化
Add(1, 2.0);模板函数可以生成更加匹配的版本,编译器根据实参生成更加匹配的Add函数
}
3. 模板函数不允许自动类型转换(上面说过),但普通函数可以进行自动类型转换
#include <iostream>
using namespace std;
//专门处理int的加法函数
int Add(int a, int b)
{
return a + b;
}
int main()
{
int a = 1, b = 2;
cout << Add(1, 2.2) << endl; 普通函数可以进行自动类型转换
}
3.类模板
为什么需要类模板
因为我们实际上在写代码的过程中我们使用的变量不一定一直是一个类型,可能会发生改变的,现在这个时间点用(int),下一个时间点可能就要使用(double)了,有人就要问typedef不是可以解决这些问题吗?那为什么不使用typedef呢?因为typedef有一个致命的缺点,就是在同一段函数内,我们只能使用一种数据类型,如果typedef的话,那么整个函数的所有类型都发生改变了。这就是为什么我们要使用类模板的原因。
类模板的定义格式
#include <iostream>
using namespace std;
#include <assert.h>
// 动态顺序表
// 注意:Vector不是具体的类,是编译器根据被实例化的类型生成具体类的模具
template<class T>
class Vector
{
public:
Vector(size_t capacity = 10)
: _pData(new T[capacity])
, _size(0)
, _capacity(capacity)
{}
// 使用析构函数演示:在类中声明,在类外定义。
~Vector();
void PushBack(const T& data);
void PopBack();
// ...
size_t Size() { return _size; }
T& operator[](size_t pos)
{
assert(pos<_size);
return _pData[pos];
}
private:
T* _pData;
size_t _size;
size_t _capacity;
};
// 注意:类模板中函数放在类外进行定义时,需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{
if (_pData)
delete[] _pData;
_size = _capacity = 0;
}
类模板的实例化
Vector类名,Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;
我自己写的一个类模板
#include <iostream>
using namespace std;
template<typename T>
class Stack
{
public:
void Init()
{
_a = new T [3];
_capacity = 3;
_size = 0;
}
void Push(T data)
{
CheckCapacity();
_a[_size] = data;
_size++;
}
T Top()
{
return _a[_size - 1];
}
private:
void CheckCapacity()
{
if (_size == _capacity)
{
T newcapacity = _capacity * 2;
T* temp = new T [newcapacity];
_a = temp;
_capacity = newcapacity;
}
}
private:
T* _a;
int _size;
int _capacity;
};
int main()
{
Stack<int> a1;
a1.Init();
a1.Push(1);
cout << a1.Top() << endl;
Stack<double> a2;
a2.Init();
a2.Push(2.35657);
cout << a2.Top() << endl;
}
很好地解决了typedef解决不了的问题
4.STL的概念
STL(standard template libaray-标准模板库):是C++标准库的重要组成部分,不仅是一个可复用的组件库,而且是一个包罗数据结构与算法的软件框架。
5.STL版本
原始版本
Alexander Stepanov、Meng Lee 在惠普实验室完成的原始版本,本着开源精神,他们声明允许任何人任意
运用、拷贝、修改、传播、商业使用这些代码,无需付费。唯一的条件就是也需要向原始版本一样做开源使用。 HP 版本–所有STL实现版本的始祖。
P.J.版本
由P. J. Plauger开发,继承自HP版本,被Windows Visual C++采用,不能公开或修改,缺陷:可读性比较低,符号命名比较怪异。
RW版本
由Rouge Wage公司开发,继承自HP版本,被C+ + Builder 采用,不能公开或修改,可读性一般。
SGI版本
由Silicon Graphics Computer Systems,Inc公司开发,继承自HP版 本。被GCC(Linux)采用,可移植性好,可公开、修改甚至贩卖,从命名风格和编程 风格上看,阅读性非常高。我们后面学习STL要阅读部分源代码,主要参考的就是这个版本。
6.STL六大组件
7.STL的重要性
1.在笔试中(算法题中使用STL会方便很多)
这里随便放几个算法题相信你看了上面STL六大组件后,应该觉得下面的题就有思路了。
2.在面试中(经常问到STL)
3. 在工作中
网上有句话说:“不懂STL,不要说你会C++”。STL是C++中的优秀作品,有了它的陪伴,许多底层的数据结构以及算法都不需要自己重新造轮子,站在前人的肩膀上,健步如飞的快速开发。
8.STL学习方法
这里引用c++大佬的一段话,也证明了STL将伴随我们编程生涯。(起着至关重要的的作用)
总结一下:学习STL的三个境界:能用,明理,能扩展 。
而我们现在的任务就是把前两项给掌握。
9.STL的缺陷
1.STL库的更新太慢了。上一版靠谱是C++98,中间的C++03基本一些修订。C++11出来已经相隔了13年,STL才进一步更新。
2.STL现在都没有支持线程安全。并发环境下需要我们自己加锁。且锁的粒度是比较大的。
3.STL极度的追求效率,导致内部比较复杂。比如类型萃取,迭代器萃取。
4.STL的使用会有代码膨胀的问题,比如使用vector/vector/vector这样会生成多份代码,当然这是模板语法本身导致的。