条款2:小心对“容器无关代码”的幻想
这只是个开始.独立的容器类型泛化为序列或关联容器,而且类似的容器拥有类似的功能.标准的内存相邻容器(参见条款1)都提供随机访问迭代器,标准的基于节点的容器(再参见条款1)都提供双向迭代器.序列容器支持push_front或push_back,但关联容器不支持.关联容器提供对数时间复杂度的lower_bound.upper_bound与equal_range成员函数,但序列容器却没有. 【程序编程相关:获取Access中所有表和所有表字段属性】
stl是建立在泛化之上的.数组泛化为容器,参数化了所包含的对象的类型.函数泛化为算法,参数化了所用的迭代器的类型.指针泛化为迭代器,参数化了所指向的对象的类型. 【推荐阅读:用SqlDataAdapter更新数据库】
最热心的“容器无关代码”的鼓吹者很快发现,写既要与序列容器又要与关联容器一起工作的代码并没有什么意义.很多成员函数只存在于其中一类容器中,比如,只有序列容器支持push_front或push_back,只有关联容器支持count与lower_bound,等等.在不同种类中,甚至连一些如insert与erase这样简单的操作在名称与语义上也是天差地别的.举个例子,当你把一个对象插入一个序列容器中,它保留在你放置的位置.但如果你把一个对象插入到一个关联容器中,容器会按照的排列顺序把这个对象移到它应该在的位置.举另一个例子,在一个序列容器上用一个迭代器作为参数调用erase,会返回一个新迭代器,但在关联容器上什么都不返回.(条款9给了一个例子来演示这点对你所写的代码的影响.) 【扩展信息:JUnit -- A good thin】
随着泛化的继续,你会自然而然地想加入这个运动.这种做法值得赞扬,而且当你写你自己的容器.迭代器与算法时,你会自然而然地推行它.唉,很多程序员试图把它推行到不同的样式.他们试图在他们的软件中泛化容器的不同,而不是针对容器的特殊性编程,以至于他们可以用,可以说,现在是一个vector,但以后仍然可以用比如deque或者list等东西来代替——都可以在不用改变代码的情况下来使用.也就是说,他们努力去写“容器无关代码”.这种可能是出于善意的泛化,却几乎总会造成麻烦.
假设,然后,你希望写一段可以用在所有常用的序列容器上——vector, deque与list——的代码.很显然,你必须使用它们能力的交集来编写,这意味着不能使用reserve或capacity(参见条款14),因为deque与list不支持它们.由于list的存在意味着你得放弃operator[],而且你必须受限于双向迭代器的性能.这意味着你不能使用需要随机访问迭代器的算法,包括sort,stable_sort,partial_sort与nth_element(参见条款31).
另一方面,你渴望支持vector的规则,不使用push_front与pop_front,而且用vector与deque都会使splice与成员函数方式的sort失败.... 下一页