What is iterator invalidation?

by

  1. Iterators are glorified pointers. Iterator invalidation is a lot like pointer invalidation; it means it suddenly points to junk data.

  2. Because it’s very natural but wrong to do things like this:

    for(iterator it = map.begin(); it != map.end(); ++it) {
    map.erase(it->first);
    // whoops, now map has been restructured and iterator 
    // still thinks itself is healthy
}

  3. Because that error right there? No compiler error, no warning, you lose. You just have to be trained well enough to watch for them and prevent them. Very insidious bugs if you don’t know what you’re doing. One of the design philosophies of C++ is speed over safety. The runtime check that would lead iterator invalidation to an exception instead of unspecified behavior is too expensive, in the view of C++ language designers.

You should be on high alert when you are iterating over a data structure and modifying structure itself, instead of merely the objects held in them. At that point you should probably run to the documentation and check whether the operation was illegal.

More Related Contents:

  1. C++ – Find numbers between first and last negative numbers in Array
  2. Why use iterators instead of array indices?
  3. What happens if you call erase() on a map element while iterating from begin to end?
  4. How to correctly implement custom iterators and const_iterators?
  5. How to find the index of current object in range-based for loop?
  6. What is the most effective way to get the index of an iterator of an std::vector?
  7. Vector erase iterator
  8. How to use an iterator?
  9. Removing item from vector while iterating?
  10. How do I get the index of an iterator of an std::vector?
  11. Sorting a vector in descending order
  12. Iterating C++ vector from the end to the beginning
  13. What is the difference between const_iterator and non-const iterator in the C++ STL?
  14. Custom Iterator in C++
  15. how portable is end iterator decrement?
  16. Problem with std::map::iterator after calling erase()
  17. How does std::copy work with stream iterators
  18. Are non dereferenced iterators past the “one past-the-end” iterator of an array undefined behavior?
  19. Can raw pointers be used instead of iterators with STL algorithms for containers with linear storage?
  20. How to remove constness of const_iterator?
  21. How to avoid code duplication implementing const and non-const iterators?
  22. Are const_iterators faster?
  23. Is an iterator in C++ a pointer?
  24. Can I increment an iterator by just adding a number?
  25. Erasing vector::end from vector
  26. Get a reverse iterator from a forward iterator without knowing the value type
  27. iterator adapter to iterate just the values in a map?
  28. Using an iterator to Divide an Array into Parts with Unequal Size
  29. How to increment an iterator by 2?
  30. How to erase & delete pointers to objects stored in a vector?

Leave a Comment