C++模板与STL库介绍单栋栋sdd@net.pku.edu.cn提纲1.概论2.模板机制的介绍3.STL中的基本概念4.容器概述5.迭代器6.算法简介概论C++语言的核心优势之一就是便于软件的重用C++中有两个方面体现重用:1.面向对象的思想:继承和多态,标准类库2.泛型程序设计(genericprogramming)的思想:模板机制,以及标准模板库STL这次课的重点泛型程序设计泛型程序设计,简单地说就是使用模板的程序设计法。将一些常用的数据结构(比如链表,数组,二叉树)和算法(比如排序,查找)写成模板,以后则不论数据结构里放的是什么对象,算法针对什么样的对象,则都不必重新实现数据结构,重新编写算法。标准模板库(StandardTemplateLibrary)就是一些常用数据结构和算法的模板的集合。主要由AlexStepanov开发,于1998年被添加进C++标准有了STL,不必再从头写大多的标准数据结构和算法,并且可获得非常高的性能。模板引子1.假如设计一个求两参数最大值的函数,在实践中我们可能需要定义四个函数:intmax(inta,intb){return(ab)?a,b;}longmax(longa,longb){return(ab)?a,b;}doublemax(doublea,doubleb){return(ab)?a,b;}charmax(chara,charb){return(ab)?a,b;}2.这些函数几乎相同,唯一的区别就是形参类型不同3.需要事先知道有哪些类型会使用这些函数,对于未知类型这些函数不起作用模板的概念1.所谓模板是一种使用无类型参数来产生一系列函数或类的机制。2.若一个程序的功能是对某种特定的数据类型进行处理,则可以将所处理的数据类型说明为参数,以便在其他数据类型的情况下使用,这就是模板的由来。3.模板是以一种完全通用的方法来设计函数或类而不必预先说明将被使用的每个对象的类型。4.通过模板可以产生类或函数的集合,使它们操作不同的数据类型,从而避免需要为每一种数据类型产生一个单独的类或函数。模板分类函数模板(functiontemplate)是独立于类型的函数可产生函数的特定版本类模板(classtemplate)跟类相关的模板,如vector可产生类对特定类型的版本,如vectorint7求最大值模板函数实现1.求两个数最大值,使用模板templateclassTTmax(Ta,Tb){return(ab)?a,b;}2.template模板形参表返回值类型函数名(模板函数形参表){//函数定义体}8模板工作方式函数模板只是说明,不能直接执行,需要实例化为模板函数后才能执行在说明了一个函数模板后,当编译系统发现有一个对应的函数调用时,将根据实参中的类型来确认是否匹配函数模板中对应的形参,然后生成一个重载函数。该重载函数的定义体与函数模板的函数定义体相同,它称之为模板函数9#includeiostreamtemplateclassTTmin(Ta[],intn){inti;Tminv=a[0];for(i=1;in;i++){if(minva[i])minv=a[i];}returnminv;}编写一个对具有n个元素的数组a[]求最小值的程序,要求将求最小值的函数设计成函数模板。voidmain(){inaa[]={1,3,0,2,7,6,4,5,2};doubleb[]={1.2,-3.4,6.8,9,8};cout”a数组的最小值为:”min(a,9)endl;cout”b数组的最小值为:”min(b,4)endl;}此程序的运行结果为:a数组的最小值为:0b数组的最小值为:-3.4模板优缺点函数模板方法克服了C语言解决上述问题时用大量不同函数名表示相似功能的坏习惯克服了宏定义不能进行参数类型检查的弊端克服了C++函数重载用相同函数名字重写几个函数的繁琐缺点,调试比较困难一般先写一个特殊版本的函数运行正确后,改成模板函数11STL中的几个基本概念容器:可容纳各种数据类型的数据结构。迭代器:可依次存取容器中元素的东西算法:用来操作容器中的元素的函数模板。例如,STL用sort()来对一个vector中的数据进行排序,用find()来搜索一个list中的对象。函数本身与他们操作的数据的结构和类型无关,因此他们可以在从简单数组到高度复杂容器的任何数据结构上使用。比如,数组intarray[100]就是个容器,而int*类型的指针变量就可以作为迭代器,可以为这个容器编写一个排序的算法容器概述可以用于存放各种类型的数据(基本类型的变量,对象等)的数据结构。容器分为三大类:1)顺序容器vector:后部插入/删除,直接访问deque:前/后部插入/删除,直接访问list:双向链表,任意位置插入/删除2)关联容器set:快速查找,无重复元素multiset:快速查找,可有重复元素map:一对一映射,无重复元素,基于关键字查找multimap:一对一映射,可有重复元素,基于关键字查找前2者合称为第一类容器3)容器适配器stack:LIFOqueue:FIFOpriority_queue:优先级高的元素先出容器概述对象被插入容器中时,被插入的是对象的一个复制品。许多算法,比如排序,查找,要求对容器中的元素进行比较,所以,放入容器的对象所属的类,还应该实现==和运算符。顺序容器简介1)vector头文件vector实际上就是个动态数组。随机存取任何元素都能在常数时间完成。在尾端增删元素具有较佳的性能。2)deque头文件deque也是个动态数组,随机存取任何元素都能在常数时间完成(但性能次于vector)。在两端增删元素具有较佳的性能。3)list头文件list双向链表,在任何位置增删元素都能在常数时间完成。不支持随机存取。上述三种容器称为顺序容器,是因为元素的插入位置同元素的值无关。关联容器简介关联式容器内的元素是排序的,插入任何元素,都按相应的排序准则来确定其位置。关联式容器的特点是在查找时具有非常好的性能。1)set/multiset:头文件setset即集合。set中不允许相同元素,multiset中允许存在相同的元素。2)map/multimap:头文件mapmap与set的不同在于map中存放的是成对的key/value。并根据key对元素进行排序,可快速地根据key来检索元素map同multimap的不同在于是否允许多个元素有相同的key值。上述4种容器通常以平衡二叉树方式实现,插入和检索的时间都是O(logN)容器适配器简介1)stack:头文件stack栈。是项的有限序列,并满足序列中被删除、检索和修改的项只能是最近插入序列的项。即按照后进先出的原则2)queue:头文件queue队列。插入只可以在尾部进行,删除、检索和修改只允许从头部进行。按照先进先出的原则。3)priority_queue:头文件queue优先级队列。最高优先级元素总是第一个出列容器的共有成员函数1)所有标准库容器共有的成员函数:相当于按词典顺序比较两个容器大小的运算符:=,,=,,=,==,!=empty:判断容器中是否有元素max_size:容器中最多能装多少元素size:容器中元素个数swap:交换两个容器的内容比较两个容器的例子19比较两个容器的例子:#includevector#includeiostreamintmain(){std::vectorintv1;std::vectorintv2;v1.push_back(5);v1.push_back(1);v2.push_back(1);v2.push_back(2);v2.push_back(3);std::cout(v1v2);return0;}•若两容器长度相同、所有元素相等,则两个容器就相等,否则为不等。•若两容器长度不同,但较短容器中所有元素都等于较长容器中对应的元素,则较短容器小于另一个容器•若两个容器均不是对方的子序列,则取决于所比较的第一个不等的元素输出:0容器的成员函数2)只在第一类容器中的函数:begin返回指向容器中第一个元素的迭代器end返回指向容器中最后一个元素后面的位置的迭代器rbegin返回指向容器中最后一个元素的迭代器rend返回指向容器中第一个元素前面的位置的迭代器erase从容器中删除一个或几个元素clear从容器中删除所有元素HeadTailbeginrbeginrendend迭代器用于指向第一类容器中的元素。有const和非const两种。通过迭代器可以读取它指向的元素,通过非const迭代器还能修改其指向的元素。迭代器用法和指针类似。定义一个容器类的迭代器的方法可以是:容器类名::iterator变量名;或:容器类名::const_iterator变量名;访问一个迭代器指向的元素:*迭代器变量名迭代器迭代器上可以执行++操作,以指向容器中的下一个元素。如果迭代器到达了容器中的最后一个元素的后面,则迭代器变成past-the-end值。使用一个past-the-end值的迭代器来访问对象是非法的,就好像使用NULL或未初始化的指针一样。例如:#includevector#includeiostreamusingnamespacestd;intmain(){vectorintv;//一个存放int元素的向量,一开始里面没有元素v.push_back(1);v.push_back(2);v.push_back(3);v.push_back(4);vectorint::const_iteratori;//常量迭代器for(i=v.begin();i!=v.end();i++)cout*i,;coutendl;vectorint::reverse_iteratorr;//反向迭代器for(r=v.rbegin();r!=v.rend();r++)cout*r,;coutendl;vectorint::iteratorj;//非常量迭代器for(j=v.begin();j!=v.end();j++)*j=100;for(i=v.begin();i!=v.end();i++)cout*i,;}输出结果:1,2,3,4,4,3,2,1,100,100,100,100,迭代器不同容器上支持的迭代器功能强弱有所不同。容器的迭代器的功能强弱,决定了该容器是否支持STL中的某种算法。例1:只有第一类容器能用迭代器遍历。例2:排序算法需要通过随机迭代器来访问容器中的元素,那么有的容器就不支持排序算法。STL中的迭代器STL中的迭代器按功能由弱到强分为5种:1.输入:Inputiterators提供对数据的只读访问。1.输出:Outputiterators提供对数据的只写访问2.正向:Forwarditerators提供读写操作,并能一次一个地向前推进迭代器。3.双向:Bidirectionaliterators提供读写操作,并能一次一个地向前和向后移动。4.随机访问:Randomaccessiterators提供读写操作,并能在数据中随机移动。编号大的迭代器拥有编号小的迭代器的所有功能,能当作编号小的迭代器使用。不同迭代器所能进行的操作(功能)所有迭代器:++p,p++输入迭代器:*p,p=p1,p==p1,p!=p1输出迭代器:*p,p=p1正向迭代器:上面全部双向迭代器:上面全部,--p,p--,随机访问迭代器:上面全部,以及:p+=i,p-=i,p+i:返回指向p后面的第i个元素的迭代器p-i:返回指向p前面的第i个元素的迭代器p[i]:p后面的第i个元素的引用pp1,p=p1,pp1,p=p1容器