Exemplo n.º 1
0
inline void PagedVector::pop() {
    filled--;
    if (filled % page_size == 0) {
        // we've emptied a page, remove it
        pages.pop_back();
        anchors.pop();
    }
}
Exemplo n.º 2
0
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();
    }
}