STL标准模板库学习--STL 很好很强大

从标准输入设备（一般是键盘）读入一些整型数据，然后对它们进行 排序，最终将结果输出到标准输出设备（一般是显示器屏幕）。这是一种典型的处理方式，程序本身具备了一个系统所应该具有的几乎所有的基本特征：输入 + 处理 + 输出。你将会看到两个不同版本的程序。第一个是没有使用STL的普通C++程序，你将会看到完成这样看似简单的事情，需要花多大的力气，而且还未必没有一 点问题（真是吃力不讨好）。第二个程序的主体部分使用了STL特性，此时在第一个程序中所遇到的问题就基本可以解决了。同时，你会发现采用了STL之后， 程序变得简洁明快，清晰易读。 

有几点是需要说明的：

这个例程的目的，在于向你演示如何在C++程序中使用STL，同时希望通 过实践，证明STL所带给你的确确实实的好处。程序中用到的一些STL基本组件，比如：vector（一种容器）、sort（一种排序算法），你只需要有 一个大致的概念就可以了，这并不影响阅读代码和理解程序的含义。

第一版：史前时代--转木取火

在STL还没有降生的"黑暗时代"，C++程序员要完成前面所提到的那些功能，需要做很多事情（不过这比起C程序来，似乎好一点），程序大致是如下这个样子的：



            #include <stdlib.h>

            #include <iostream.h>

            

            int compare(const void *arg1, const void *arg2);

            

            void main(void)

            {

            const int max_size = 10;                // 数组允许元素的最大个数

            int num[max_size];                        // 整型数组

            

            // 从标准输入设备读入整数，同时累计输入个数，

            // 直到输入的是非整型数据为止

            int n;

            for (n = 0; cin >> num[n]; n ++);

            

            // C标准库中的快速排序（quick-sort）函数

            qsort(num, n, sizeof(int), compare);

            

            // 将排序结果输出到标准输出设备

            for (int i = 0; i < n; i ++)

            cout << num[i] << ""n";

            }

            

            // 比较两个数的大小，

            // 如果*(int *)arg1比*(int *)arg2小，则返回-1

            // 如果*(int *)arg1比*(int *)arg2大，则返回1

            // 如果*(int *)arg1等于*(int *)arg2，则返回0

            int compare(const void *arg1, const void *arg2)

            {

            return        (*(int *)arg1 < *(int *)arg2) ? -1 :(*(int *)arg1 > *(int *)arg2) ? 1 : 0;

            }

             

这是一个和STL没有丝毫关系的传统风格的C++程序。因为程序的注 释已经很详尽了，所以不需要我再做更多的解释。总的说来，这个程序看起来并不十分复杂（本来就没有太多功能）。只是，那个compare函数，看起来有点费劲。指向它的函数指针被作为最后一个实参传入qsort函数，qsort是C程序库stdlib.h中的一个函数。以下是qsort的函数原型：

void qsort(void *base, size_t num, size_t width, int (__cdecl *compare )(const void *elem1, const void *elem2 ) );
看起来有点令人作呕，尤其是最后一个参数。大概的意思是，第一个参数 指明了要排序的数组（比如：程序中的num），第二个参数给出了数组的大小（qsort没有足够的智力预知你传给它的数组的实际大小），第三个参数给出了数组中每个元素以字节为单位的大小。最后那个长长的家伙，给出了排序时比较元素的方式（还是因为qsort的智商问题）。

以下是某次运行的结果：
输入：0 9 2 1 5
输出：0 1 2 5 9

有一个问题，这个程序并不像看起来那么健壮（Robust）。如果我们输入的数字个数超过max_size所规定的上限，就会出现数组越界问题。如果你在Visual C++的IDE环境下以控制台方式运行这个程序时，会弹出非法内存访问的错误对话框。这个问题很严重，严重到足以使你开始重新审视这个程序的代码。为了弥补程序中的这一缺陷。我们不得不考虑采用如下三种方案中的一种：

采用大容量的静态数组分配。
限定输入的数据个数。
采用动态内存分配。

第一种方案比较简单，你所做的只是将max_size改大一点，比 如：1000或者10000。但是，严格讲这并不能最终解决问题，隐患仍然存在。假如有人足够耐心，还是可以使你的这个经过纠正后的程序崩溃的。此外，分配一个大数组，通常是在浪费空间，因为大多数情况下，数组中的一部分空间并没有被利用。再来看看第二种方案，通过在第一个for循环中加入一个限定条件，可 以使问题得到解决。比如：for (int n = 0; cin >> num[n] && n < max_size; n ++); 但是这个方案同样不甚理想，尽管不会使程序崩溃，但失去了灵活性，你无法输入更多的数。 看来只有选择第三种方案了。是的，你可以利用指针，以及动态内存分配 妥善的解决上述问题，并且使程序具有良好的灵活性。这需要用到new，delete操作符，或者古老的malloc()，realloc()和 free()函数。但是为此，你将牺牲程序的简洁性，使程序代码陡增，代码的处理逻辑也不再像原先看起来那么清晰了。一个compare函数或许就已经令 你不耐烦了，更何况要实现这些复杂的处理机制呢？很难保证你不会在处理这个问题的时候出错，很多程序的bug往往就是这样产生的。同时，你还应该感谢 stdlib.h，它为你提供了qsort函数，否则，你还需要自己实现排序算法。如果你用的是冒泡法排序，那效率就不会很理想。……，问题真是越来越让 人头疼了！ 关于第一个程序的讨论就到此为止，如果你对第三种方案感兴趣的话，可以尝试着自己编写一个程序，作为思考题。这里就不准备再浪费笔墨去实现这样一个让人不甚愉快的程序了。

 第二版：工业时代--组件化大生产

我们应该庆幸自己所生活的年代。工业时代，科技的发展所带来的巨大便利已经影响到了我们生活中的每个细节。如果你还在以原始人类的方式生活着，那我真该怀疑你是否属于某个生活在非洲或者南美丛林里的原始部落中的一员了，难道是玛雅文明又重现了？ STL便是这个时代的产物，正如其他科技成果一样，C++程序员也应该努力使自己适应并充分利用这个"高科技成果"。让我们重新审视第一版的那个破烂不堪的程序。试着使用一下STL，看看效果如何。

　

            #include <iostream>

            #include <vector>

            #include <algorithm>

            

            using namespace std;

            

            void main(void)

            {

            vector<int> num;                // STL中的vector容器

            int element;

            

            // 从标准输入设备读入整数，

            // 直到输入的是非整型数据为止

            while (cin >> element)

            num.push_back(element);

            

            // STL中的排序算法

            sort(num.begin(), num.end());

            

            // 将排序结果输出到标准输出设备

            for (int i = 0; i < num.size(); i ++)

            cout << num[i] << ""n";

            }

             

这个程序的主要部分改用了STL的部件，看起来要比第一个程序简洁一 点，你已经找不到那个讨厌的compare函数了。它真的能很好的运行吗？你可以试试，因为程序的运行结果和前面的大致差不多，所以在此略去。我可以向你 保证，这个程序是足够健壮的。不过，可能你还没有完全看明白程序的代码，所以我需要为你解释一下。毕竟，这个戏法变得太快了，较之第一个程序，一眨眼的功 夫，那些老的C++程序员所熟悉的代码都不见了，取而代之的是一些新鲜玩意儿。程序的前三行是包含的头文件，它们提供了程序所要用到的所有C++特 性（包括输入输出处理，STL中的容器和算法）。不必在意那个.h，并不是我的疏忽，程序保证可以编译通过，只要你的C++编译器支持标准C++规范的相关部分。你只需要把它们看作是一些普通的C++头文件就可以了。事实上，也正是如此，如果你对这个变化细节感兴趣的化，可以留意一下你身旁的佐餐。同样可以忽略第四行的存在。加入那个声明只是为了表明程序引用到了std这个标准名字空间（namespace），因为STL中的那些玩意儿全都包含在那里面。只有通过这行声明，编译器才能允许你使用那些有趣的特性。 程序中用到了vector，它是STL中的一个标准容器，可以用来存放一些元素。你可以把vector理 解为int [?]，一个整型的数组。之所以大小未知是因为，vector是一个可以动态调整大小的容器，当容器已满时，如果再放入元素则vector会悄悄扩大自己的容量。push_back是vector容器的一个类属成员函数，用来在容器尾端插入一个元素。main函数中第一个while循环做的事情就是不断向 vector容器尾端插入整型数据，同时自动维护容器空间的大小。sort是STL中的标准算法，用来对容器中的元素进行排序。它需要 两个参数用来决定容器中哪个范围内的元素可以用来排序。这里用到了vector的另两个类属成员函数。begin()用以指向vector的首端，而end()则指向vector的末端。这里有两个问题，begin()和end()的返回值是什么？这涉及到STL的另一个重要部件--迭代器 （Iterator），不过这里并不需要对它做详细了解。你只需要把它当作是一个指针就可以了，一个指向整型数据的指针。相应的sort函数声明也可以看 作是void sort(int* first, int* last)，尽管这实际上很不精确。另一个问题是和end()函数有关，尽管前面说它的返回值指向vector的末端，但这种说法不能算正确。事实上，它 的返回值所指向的是vector中最末端元素的后面一个位置，即所谓pass-the-end value。这听起来有点费解，不过不必在意，这里只是稍带一提。总的来说，sort函数所做的事情是对那个准整型数组中的元素进行排序，一如第一个程序中的那个qsort，不过比起qsort来，sort似乎要简单了许多。程序的最后是输出部分，在这里vector完全可以以假乱真了，它所提供的对元素的访问方式简直和普通的C++内建数组一模一样。那个size函数用来返回vector中的元素个数，就相当于第一个程序中的变量n。这两行代码直观的不用我再多解释了。 我想我的耐心讲解应该可以使你大致看懂上面的程序了，事实上STL的 运用使程序的逻辑更加清晰，使代码更易于阅读。试问，有谁会不明白begin、end、size这样的字眼所表达的含义呢（除非他不懂英语）？试着运行一 下，看看效果。再试着多输入几个数，看看是否会发生数组越界现象。实践证明，程序运行良好。是的，由于vector容器自行维护了自身的大小，C++程序 员就不用操心动态内存分配了，指针的错误使用毕竟会带来很多麻烦，同时程序也会变得冗长无比。这正是前面第三种方案的缺点所在。 再仔细审视一下你的第一个STL版的C++程序，回顾一下第一章所提到的那些有关STL的优点：易于使用，具有工业强度……，再比较一下第一版的程序，我想你应该有所体会了吧！