const_iterator destructor