vector::pop_back,錯誤延遲發(fā)生
作者: Panic? 2005年8月5日
pop_back是vector中一個不常用的成員函數(shù),功能是銷毀并拋棄vector的最后一個元素。
msdn已經(jīng)明確要求調(diào)用這一函數(shù)的vector必須非空。但是如果對空vector調(diào)用會發(fā)生什么呢?
pop_back調(diào)用一般并不會引起程序立刻異常或崩潰,vector只是簡單的把存儲區(qū)前面的一段內(nèi)存看作一個“元素”,對它調(diào)用析構(gòu)函數(shù),然后尾迭代器向前移動1。
由于存儲區(qū)的前一段內(nèi)存一般而言也是有效的,可訪問的空間,所以這個操作可能只是修改了不應(yīng)該修改的數(shù)據(jù)而已。一般不會立刻發(fā)現(xiàn)問題。
那么問題在什么時候發(fā)生呢?析構(gòu)的時候!
析構(gòu)的時候,vector銷毀首元素,然后增加首迭代器直到它等于尾。但是由于前面的pop_back,尾迭代器位置前移,在最開始就已經(jīng)等于甚者小于首。所以這個移動其實是對后面內(nèi)存空間的一次大清理。程序會因此長時間失去響應(yīng)。
而當(dāng)vector是一個臨時變量(棧對象)的時候,因為棧對象清理的工作是在后臺操作,所以在我們看來往往是函數(shù)退出的時候突然死掉了。
因為錯誤發(fā)生的地點和檢查到錯誤的地點相隔比較遠,所以這無疑是一個比較難找的錯誤。
解決方法:
方法1,修改vector的實現(xiàn)代碼,在pop_back中加入斷言。這么做一勞永逸,不過很多人不愿意:P
方法2,調(diào)用pop_back前進行斷言或者判斷。這個完全靠使用者自覺。
方法3,避免在代碼中調(diào)用pop_back。嗯,好辦法--b