调用empty()而不是检查size()是否为0



对任一容器C，代码if (c.size()== 0)本质上与if (c.empty())是等价的。既然如此，为什么要偏向于某一种形式呢，尤其是考虑到empty()通常被实现为内联函数，并且它所做的仅仅是返回size()是否为0。

理由很简单：empty()对所有的标准容器都是常数时间操作，而对一些list实现，size()耗费线性时间。

原因：在所有的标准容器中，只有list具有把元素从一处链接到另一处而不需要拷贝任何数据的能力。把一个区间从一个list链接到另一个list可以通过常数时间来完成，即提供了高效的链接操作。如果size()是常数时间操作，那么list的每个成员函数都必须更新它们所操作的链表的大小，当然也包括splice(源代码见list源代码)，可是splice更新它所改变的链表的大小的唯一方式是计算所链接的元素的个数，而这会使splice不具有我们所希望的常数时间的操作性能。如果不要求splice更新它所改变的链表的大小，则splice可以成为常数时间操作，可是这时size()会成为线性时间操作。通常，它需要遍历自己的整个数据结构来看一看自己含有多少个元素。所以，list和splice必须有一个做出让步。但是不管发生什么，调用empty()而不是检查size()==0是否成立总是没错的。