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