Appending std::vector to itself, undefined behavior?

by

According to the C++03 ISO spec (§23.1.1, Table 67) (and as @AndyProwl has mentioned, in §23.2.3, table 11 of the C++11 ISO spec), as part of sequence requirements, the operation a.insert(p, i, j) in a sequence container has this precondition:

i, j are not iterators into a.

In other words, sequence containers are allowed to safely assume that if you do a range insertion operation, that range will not be defined from iterators over that original container.

As a result, if you try to insert a container’s elements into itself, you are calling a standard library function and breaking a precondition. This results in undefined behavior, meaning that it might work on some platforms if the library implementers are nice people, but it could terribly and catastrophically fail with no justification.

Hope this helps!

More Related Contents:

  1. Is a moved-from vector always empty?
  2. What does the standard say about how calling clear on a vector changes the capacity?
  3. Is it safe to push_back an element from the same vector?
  4. Erasing vector::end from vector
  5. Invalid operands to binary expression while implementing vector [closed]
  6. Difficulties on atributting a array to another [closed]
  7. Erasing elements from a vector
  8. Why can’t I make a vector of references?
  9. Choice between vector::resize() and vector::reserve()
  10. Does C++11 allow vector?
  11. reinterpret_cast creating a trivially default-constructible object
  12. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  13. vector size – 1 when size is 0 in C++
  14. Erasing from a std::vector while doing a for each?
  15. When using C headers in C++, should we use functions from std:: or the global namespace?
  16. Template partial ordering – why does partial deduction succeed here
  17. Matching alias template as template argument
  18. How to use std::sort with a vector of structures and compare function?
  19. How to navigate through a vector using iterators? (C++)
  20. Compute Median of Values Stored In Vector – C++?
  21. Does the behavior of guaranteed copy elision depend on existence of user-defined copy constructor?
  22. Does resizing a vector invalidate iterators?
  23. size vs capacity of a vector?
  24. Why doesn’t emplace_back() use uniform initialization?
  25. Erase element in vector while iterating the same vector [duplicate]
  26. Familiar template syntax for generic lambdas
  27. Legal to overwrite std::string’s null terminator?
  28. In which access control context are concepts evaluated?
  29. iterator for 2d vector
  30. What standard clause mandates this lvalue-to-rvalue conversion?

Leave a Comment