inline void PagedVector::pop() { filled--; if (filled % page_size == 0) { // we've emptied a page, remove it pages.pop_back(); anchors.pop(); } }
inline void PagedVector::pop() { filled--; while (filled + page_size <= pages.size() * page_size) { // the final page is unused now, remove it pages.pop_back(); // TODO: this won't resize since it's an STL vector anchors.pop(); } }