条款 2: 小心对“容器无关代码”的幻想
STL是建立在泛型之上的。数组泛化为容器,参数化了所包含的对象的类型。函数泛化为算法,参数化了所用的迭代器的类型。指针泛化为迭代器,参数化了所指向的对象的类型。
这只是个开始。独立的容器类型泛化为序列或关联容器,而且类似的容器拥有类似的功能。标准的内存相邻容器(参见条款1)都提供随机访问迭代器,标准的基于节点的容器(再参见条款1)都提供双向迭代器。序列容器支持push_front或push_back,但关联容器不支持。关联容器提供对数时间复杂度的lower_bound,upper_bound和equal_range成员函数,但序列容器却没有。
随着泛化的继续,你会自然而然地想加入这个运动。这种做法值得赞扬,而且当你写你自己的容器、迭代器和算法时,你会自然而然地推行它。唉,很多程序员试图把它推行到不同的样式。他们试图在他们的软件中泛化容器的不同,而不是针对容器的特殊性编程,以至于他们可以用,可以说,现在是一个vector,但以后仍然可以用比如deque或者list等东西来代替——都可以在不用改变代码的情况下来使用。也就是说,他们努力去写“容器无关代码”。这种可能是出于善意的泛化,却几乎总会造成麻烦。
最热心的“容器无关代码”的鼓吹者很快发现,写既要和序列容器又要和关联容器一起工作的代码并没有什么意义。很多成员函数只存在于其中一类容器中,比如,只有序列容器支持push_front或push_back,只有关联容器支持count和lower_bound,等等。在不同种类中,甚至连一些如insert和erase这样简单的操作在名称和语义上也是天差地别的。举个例子,当你把一个对象插入一个序列容器中,它保留在你放置的位置。但如果你把一个对