C/C++之标准库和标准模板库

C++强大的功能来源于其丰富的类库及库函数资源。C++标准库的内容总共在50个标准头文件中定义。在C++开发中，要尽量地利用标准库完 成。这样作的直接好处包括：（1）成本：已经做为标准提供，何苦再花费时间、人力从新开发呢；（2）质量：标准库的都是通过严格测试的，正确性有保证； （3）效率：关于人的效率已经体如今成本中了，关于代码的执行效率要相信实现标准库的大牛们的水平；（4）良好的编程风格：采用行业中广泛的作法进行开 发。

　　在C++程序设计课程中，尤为是做为第一门程序设计课程，咱们注重了语法、语言的机制等方面的内容。程序设计能力的培养有个过程，跨过基本的原 理性知识直接进入到工程中的广泛作法，因为跨度决定了其难度。再者，在掌握了基本原理的基础上，在认识标准库的问题上彻底能够凭借实践，逐步地掌握。标准 库的学习不须要认认真真地读书，须要的是在了解概貌的状况下，在实践中深刻。

　　这个任务就是要知道C++程序设计课程中不讲的，但对程序设计又很重要的这部份内容。至少咱们要能先回答出“有什么”的问题。

 

　　1、C++标准库

　　C++标准库的内容分为10类，分别是（建议在阅读中，将你已经用过或据说过的头文件划出来）：

　　C1. 标准库中与语言支持功能相关的头文件

头文件	描        述
<cstddef>	定义宏NULL和offsetof，以及其余标准类型size_t和ptrdiff_t。与对应的标准C头文件的区别是，NULL是C++空指针常量的补充定义，宏offsetof接受结构或者联合类型参数，只要他们没有成员指针类型的非静态成员便可。
<limits>	提供与基本数据类型相关的定义。例如，对于每一个数值数据类型，它定义了能够表示出来的最大值和最小值以及二进制数字的位数。
<climits>	提供与基本整数数据类型相关的C样式定义。这些信息的C++样式定义在<limits>中
<cfloat>	提供与基本浮点型数据类型相关的C样式定义。这些信息的C++样式定义在<limits>中
<cstdlib>	提供支持程序启动和终止的宏和函数。这个头文件还声明了许多其余杂项函数，例如搜索和排序函数，从字符串转换为数值等函数。它与对应的标准C头文件 stdlib.h不一样，定义了abort(void)。abort()函数还有额外的功能，它不为静态或自动对象调用析构函数，也不调用传给 atexit()函数的函数。它还定义了exit()函数的额外功能，能够释放静态对象，以注册的逆序调用用atexit()注册的函数。清除并关闭全部 打开的C流，把控制权返回给主机环境。
<new>	支持动态内存分配
<typeinfo>	支持变量在运行期间的类型标识
<exception>	支持异常处理，这是处理程序中可能发生的错误的一种方式
<cstdarg>	支持接受数量可变的参数的函数。即在调用函数时，能够给函数传送数量不等的数据项。它定义了宏va_arg、va_end、va_start以及va_list类型
<csetjmp>	为C样式的非本地跳跃提供函数。这些函数在C++中不经常使用
<csignal>	为中断处理提供C样式支持

　　C2. 支持流输入/输出的头文件

头文件	描        述
<iostream>	支持标准流cin、cout、cerr和clog的输入和输出，它还支持多字节字符标准流wcin、wcout、wcerr和wclog。
<iomanip>	提供操纵程序，容许改变流的状态，从而改变输出的格式。
<ios>	定义iostream的基类
<istream>	为管理输出流缓存区的输入定义模板类
<ostream>	为管理输出流缓存区的输出定义模板类
<sstream>	支持字符串的流输入输出
<fstream>	支持文件的流输入输出
<iosfwd>	为输入输出对象提供向前的声明
<streambuf>	支持流输入和输出的缓存
<cstdio>	为标准流提供C样式的输入和输出
<cwchar>	支持多字节字符的C样式输入输出

　　C3. 与诊断功能相关的头文件

头文件	描        述
<stdexcept>	定义标准异常。异常是处理错误的方式
<cassert>	定义断言宏，用于检查运行期间的情形
<cerrno>	支持C样式的错误信息

　　C4. 定义工具函数的头文件

头文件	描        述
<utility>	定义重载的关系运算符，简化关系运算符的写入，它还定义了pair类型，该类型是一种模板类型，能够存储一对值。这些功能在库的其余地方使用
<functional>	定义了许多函数对象类型和支持函数对象的功能，函数对象是支持operator()()函数调用运算符的任意对象
<memory>	给容器、管理内存的函数和auto_ptr模板类定义标准内存分配器
<ctime>	支持系统时钟函数

　　C5. 支持字符串处理的头文件

头文件	描        述
<string>	为字符串类型提供支持和定义，包括单字节字符串(由char组成)的string和多字节字符串(由wchar_t组成)
<cctype>	单字节字符类别
<cwctype>	多字节字符类别
<cstring>	为处理非空字节序列和内存块提供函数。这不一样于对应的标准C库头文件，几个C样式字符串的通常C库函数被返回值为const和非const的函数对替代了
<cwchar>	为处理、执行I/O和转换多字节字符序列提供函数，这不一样于对应的标准C库头文件，几个多字节C样式字符串操做的通常C库函数被返回值为const和非const的函数对替代了。
<cstdlib>	为把单字节字符串转换为数值、在多字节字符和多字节字符串之间转换提供函数

　　C6. 定义容器类的模板的头文件

头文件	描        述
<vector>	定义vector序列模板，这是一个大小能够从新设置的数组类型，比普通数组更安全、更灵活
<list>	定义list序列模板，这是一个序列的链表，经常在任意位置插入和删除元素
<deque>	定义deque序列模板，支持在开始和结尾的高效插入和删除操做
<queue>	为队列(先进先出)数据结构定义序列适配器queue和priority_queue
<stack>	为堆栈(后进先出)数据结构定义序列适配器stack
<map>	map是一个关联容器类型，容许根据键值是惟一的，且按照升序存储。multimap相似于map，但键不是惟一的。
<set>	set是一个关联容器类型，用于以升序方式存储惟一值。multiset相似于set，可是值没必要是惟一的。
<bitset>	为固定长度的位序列定义bitset模板，它能够看做固定长度的紧凑型bool数组

　　C7. 支持迭代器的头文件

头文件	描        述
<iterator>	给迭代器提供定义和支持

　　C8. 有关算法的头文件

头文件	描        述
<algorithm>	提供一组基于算法的函数，包括置换、排序、合并和搜索
<cstdlib>	声明C标准库函数bsearch()和qsort()，进行搜索和排序
<ciso646>	容许在代码中使用and代替&&

　　C9. 有关数值操做的头文件

头文件	描        述
<complex>	支持复杂数值的定义和操做
<valarray>	支持数值矢量的操做
<numeric>	在数值序列上定义一组通常数学操做，例如accumulate和inner_product
<cmath>	这是C数学库，其中还附加了重载函数，以支持C++约定
<cstdlib>	提供的函数能够提取整数的绝对值，对整数进行取余数操做

　　C10. 有关本地化的头文件

头文件	描        述
<locale>	提供的本地化包括字符类别、排序序列以及货币和日期表示。
<clocale>	对本地化提供C样式支持

　　C++标准库的全部头文件都没有扩展名。C++标准库以<cname>形式的标准头文件提供。在 <cname>形式标准的头文件中，与宏相关的名称在全局做用域中定义，其余名称在std命名空间中声明。在C++中还可使用name.h 形式的标准C库头文件名。

 

　　2、标准模板库STL简介[1]

　　STL（Standard Template Library，标准模板库)是惠普实验室开发的一系列软件的统称。现然主要出如今C++中，但在被引入C++以前该技术就已经存在了很长的一段时间。

　　STL的代码从广义上讲分为三类：algorithm（算法）、container（容器）和iterator（迭代器），几乎全部的代码都采 用了模板类和模版函数的方式，这相比于传统的由函数和类组成的库来讲提供了更好的代码重用机会。在C++标准中，STL被组织为下面的13个头文 件：<algorithm>、<deque>、<functional>、<iterator>、<vector>、<list>、<map>、<memory>、<numeric>、<queue>、<set>、<stack> 和<utility>。

　　一、算法

　　函数库对数据类型的选择对其可重用性起着相当重要的做用。举例来讲，一个求方根的函数，在使用浮点数做为其参数类型的状况下的可重用性确定比使 用整型做为它的参数类性要高。而C++经过模板的机制容许推迟对某些类型的选择，直到真正想使用模板或者说对模板进行特化的时候，STL就利用了这一点提 供了至关多的有用算法。它是在一个有效的框架中完成这些算法的——能够将全部的类型划分为少数的几类，而后就能够在模版的参数中使用一种类型替换掉同一种 类中的其余类型。

　　STL提供了大约100个实现算法的模版函数，好比算法for_each将为指定序列中的每个元素调用指定的函数，stable_sort以 你所指定的规则对序列进行稳定性排序等等。这样一来，只要熟悉了STL以后，许多代码能够被大大的化简，只须要经过调用一两个算法模板，就能够完成所须要 的功能并大大地提高效率。

　　算法部分主要由头文件<algorithm>，<numeric>和<functional>组 成。<algorithm>是全部STL头文件中最大的一个（尽管它很好理解），它是由一大堆模版函数组成的，能够认为每一个函数在很大程度上 都是独立的，其中经常使用到的功能范围涉及到比较、交换、查找、遍历操做、复制、修改、移除、反转、排序、合并等等。<numeric>体积很 小，只包括几个在序列上面进行简单数学运算的模板函数，包括加法和乘法在序列上的一些操做。<functional>中则定义了一些模板类， 用以声明函数对象。

　　二、容器

　　在实际的开发过程当中，数据结构自己的重要性不会逊于操做于数据结构的算法的重要性，当程序中存在着对时间要求很高的部分时，数据结构的选择就显得更加剧要。

　　经典的数据结构数量有限，可是咱们经常重复着一些为了实现向量、链表等结构而编写的代码，这些代码都十分类似，只是为了适应不一样数据的变化而在 细节上有所出入。STL容器就为咱们提供了这样的方便，它容许咱们重复利用已有的实现构造本身的特定类型下的数据结构，经过设置一些模版类，STL容器对 最经常使用的数据结构提供了支持，这些模板的参数容许咱们指定容器中元素的数据类型，能够将咱们许多重复而乏味的工做简化。

　　容器部分主要由头文 件<vector>,<list>,<deque>,<set>,<map>,<stack> 和<queue>组成。对于经常使用的一些容器和容器适配器（能够看做由其它容器实现的容器），能够经过下表总结一下它们和相应头文件的对应关 系。

数据结构	描述	实现头文件
向量(vector)	连续存储的元素	<vector>
列表(list)	由节点组成的双向链表，每一个结点包含着一个元素	<list>
双队列(deque)	连续存储的指向不一样元素的指针所组成的数组	<deque>
集合(set)	由节点组成的红黑树，每一个节点都包含着一个元素，节点之间以某种做用于元素对的谓词排列，没有两个不一样的元素可以拥有相同的次序	<set>
多重集合(multiset)	容许存在两个次序相等的元素的集合	<set>
栈(stack)	后进先出的值的排列	<stack>
队列(queue)	先进先出的执的排列	<queue>
优先队列(priority_queue)	元素的次序是由做用于所存储的值对上的某种谓词决定的的一种队列	<queue>
映射(map)	由{键，值}对组成的集合，以某种做用于键对上的谓词排列	<map>
多重映射(multimap)	容许键对有相等的次序的映射	<map>

　　三、迭代器

　　迭代器从做用上来讲是最基本的部分，但是理解起来比前二者都要费力一些。软件设计有一个基本原则，全部的问题均可以经过引进一个间接层来简化， 这种简化在STL中就是用迭代器来完成的。归纳来讲，迭代器在STL中用来将算法和容器联系起来，起着一种黏和剂的做用。几乎STL提供的全部算法都是通 过迭代器存取元素序列进行工做的，每个容器都定义了其自己所专有的迭代器，用以存取容器中的元素。

　　迭代器部分主要由头文件<utility>,<iterator>和<memory>组 成。<utility>是一个很小的头文件，它包括了贯穿使用在STL中的几个模板的声明，<iterator>中提供了迭代器 使用的许多方法，而对于<memory>的描述则十分的困难，它以不一样寻常的方式为容器中的元素分配存储空间，同时也为某些算法执行期间产生 的临时对象提供机制,<memory>中的主要部分是模板类allocator，它负责产生全部容器中的默认分配器。

 

　　3、后记

　　对于STL的使用，也广泛存在着两种观点。第一种认为STL的最大做用在于充当经典的数据结构和算法教材，由于它的源代码涉及了许多具体实现方 面的问题。第二种则认为STL的初衷乃是为了简化设计，避免重复劳动，提升编程效率，所以应该是“应用至上”的，对于源代码则没必要深究。对于初学者而言， 经过分析源代码，提升对其应用的理解其意义也不一样凡响。

　　曾经想着设计几个上机题目，让同窗们体会一下利用STL编程。写出一个适合初学者的，规模又不能太大，还要有足够引导的题目，实在是一件很是费时费力 的事，加上有其余事还得应急，就将此账欠下，往后再说。要给同窗们提的建议是，很多C++的经典教材对STL都有很是好的讲解，能够选一本去读。在读书 时，要开始学着挑着读，跳着读，没必要从头至尾，逐页去读。在这个阶段，能够首先学习迭代器utility、在C++编程中建议替代数组的vector，以 及实现双向链表的list。vector和list与本周任务1和任务2彷佛有些相关。再者，发扬咱们一向特别能实践的精神，及时找些题目或者自编题目进 行实践。