Changeset 1195

Timestamp:

Oct 4, 2010, 2:26:55 AM (13 years ago)

Author:

Peter Johansson

Message:

refs #475, erase elements in underlying map (when possible) when resizing Vector.

File:

• trunk/lib/Vector.h (modified) (2 diffs)

trunk/lib/Vector.h

@@ -60 +60 @@
     T back(void) const
     { 
-      // FIXME: avoid logN lookup time
       assert(size()>0);
       return (*this)[size()-1];
@@ -110 +109 @@
     {
       size_ = size;
+      // remove elements with rev [size, inf)
+      typename Map::iterator i = map_.lower_bound(size);
+      map_.erase(i, map_.end());
     }