迭代存取的謬誤
昨天寫的兩段愚蠢的Code，可以掉入兩個這樣的陷阱，刀也該拿去再磨磨了。 第一個 #include <vector> using namespace std; int main() { vector<int> v; // .... 寫了某些code 有可能有資料存到v裡頭 .... for (unsigned int i=v.size()-1 ; i>=0 ; --i) v.pop_back(); return 0; } 第二個 #include <list> using namespace std; int main() { list<int> l; for (int i=0 ; i<10 ; ++i) l.push_back(i); // 移除裡面的元素 for (int i=0 ; i<l.size() ; ++i) l.remove(i); return 0; } 第一個程式執行結果理應是無限迴圈，肇因於我在宣告i時使用了unsigned int作為資料型態，而我使用遞減進行for迴圈的迭代，使用unsigned僅僅是想減少warning的出現，沒想到這卻也是敗筆。由於unsinged int 沒有負數，因此當數值為0後，再進行減1的動作會變成最大值(反之，最大值再加1會成為0)，因此這個迴圈的條件恆成立。若你認為只有for的條件判斷有問題需要修改，那你就錯了！在for的初始化部份也存在問題，當v.size()為0時，i的起始就因減1而成為最大值，也會造成程式的執行不正確，就算只改了判斷式，程式依然有可能進行錯誤的迭代。 第二個程式則是還沒移除所有的元素就會結束。因為l.size()是即時反應這個list中的元素個數，而我們使用l.remove()後會使l.size()減少，但是i依然會增加，導致我們只會移除list內一半數量。比較好的方法應該改為用while迴圈，並以l.empty()當作條件來判斷是否要結束；不過，若是常常使用vector.size()作為迴圈條件，就會覺得這個迴圈很直覺的是對的，難以察覺臭蟲的存在。