Effective STL 第一章：容器（三）

第4条：调用empty而不是检查size()是否为0

 

1，对于任一容器，empty和size()是否为0本质上是等价的，尤其是empty通常被实现为内联函数，并且它所做的仅仅是返回size是否为0

2，但应该使用empty形式，理由很简单，empty对所有的标准容器都是常数时间操作，而对一些list实现，size耗费线性时间（list所独有的链接（splice）操作其不同的实现可能会导致size并非常数时间操作）

3，若要保证size是常数时间操作，则list的每个成员函数都必须更新它们所操作的链表的大小（size），可是splice操作更新它所改变的链表的大小的唯一方式是计算所链接的元素的个数，这会导致splice操作变为线性时间操作，所以splice和size操作只能有一个是常数时间操作

4，不同的链表实现通过不同的方式处理splice和size操作，具体取决于选择把size还是splice实现的更为高效，所以某些链表实现的size会是线性时间操作