检查容器是否为空,一律都使用成员函数empty()而非size()。
因为empty()总是常数复杂度,而size()却不都是,比如list就不是。如果list要使size()为常量复杂度,就必须保存元素的数量。涉及到会导致元素数量变化的成员函数,就需要知道新增或减少元素的个数(通过遍历),然后更新元素数量。这会使该成员函数为线性复杂度。而list的成员函数splice()被设计为常数复杂度,不知道新增元素的个数。
splice()和size()两者的常量复杂度不可兼得,二者只能得一。
STL选择splice()为常量复杂度, 所以size()就只能为线性复杂度。