size() with constant complexity; erase is by standard