調用empty()而不是檢查size()是否為0

標籤：empty   size   list   splice   stl   



對任一容器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是否成立總是沒錯的。