条款4：用empty来代替检查size()是否为0

       应该首选empty()的构造，而且理由很简单：对于所有的标准容器，empty()是一个常数时间的操作，但对于一些list实现，size()花费线性时间。主要原因是对于list特有的splice()函数。

       list提供了不用拷贝数据就能把元素从一个地方合并到另一个地方的能力。它提供了高效的合并。他们知道从一个list合并一个区域到另一个list可以在常数时间内完成。

       如果size()是一个常数时间操作，当操作时每个list成员函数必须更新list的大小。也包括了splice()。但让splice()更新他所更改的list的大小的唯一的方法是算出合并进来的元素的个数，但是这么做就会使splice()不可能有你所希望的常数时间的性能。如果你去掉了splice()要更新他所修改的list的大小的需求，splice()就可以是常数时间，但size()就变成线性时间的操作。一般来说，它必须遍历它的整个数据结构来才知道它包含多少元素。不管你如何看待它，有的东西——size()或者splice()——必须让步。一个或者另一个可以是常数时间操作，但不能都是。