Can we rely on the reduce-capacity trick?

by

I’ve always been taught that there is no guaranteed standard way to lower the capacity. All methods have been (and still are) implementation defined.

§ 23.2.1\8 says:

The expression a.swap(b), for containers a and b of a standard
container type other than array, shall exchange the values of a and b
without invoking any move, copy, or swap operations on the individual
container elements…

This guarantees that the internal pointers of vectors must be swapped.
However, I cannot find anything that guarantee on the capacity of a newly created vector.

§ 21.4.2\1 says that one of the basic_string default constructor’s post conditions is that capacity() returns an unspecified value.
§ 21.4.2\3 says that one of the basic_string copy constructor’s post conditions is that capacity() returns a value at least as big as size().
§ 21.4.6.8\2 says that string::swap runs in constant time, which (effectively) requires that the internal pointers are swapped.

As far as I can tell, a conforming implementation could have string::max_size() { return 4;}, and swapping all internals from one buffer to another would therefore be constant time. (vector can’t do that though)

Obviously, take this all with a grain of salt. I’m quoting from the C++ draft from Feb28,’11, and I can’t find specifications for the vector’s copy constructor. Also, not finding evidence for is not the same as finding evidence against.

More Related Contents:

  1. What does the namespace std add? (C++) [closed]
  2. What’s the difference between “STL” and “C++ Standard Library”?
  3. How to find out if an item is present in a std::vector?
  4. Can you remove elements from a std::list while iterating through it?
  5. Converting std::__cxx11::string to std::string
  6. printf with std::string?
  7. Sorting std::map using value
  8. Deleting elements from std::set while iterating
  9. How do I combine hash values in C++0x?
  10. Compelling examples of custom C++ allocators?
  11. How do I Search/Find and Replace in a standard string?
  12. Overload resolution failure when streaming object via implicit conversion to string
  13. Search for a struct item in a vector by member data
  14. How to use std::async on a member function?
  15. What is the fastest way to change a key of an element inside std::map
  16. std::put_time implementation status in GCC?
  17. What is the difference between using a struct with two fields and a pair?
  18. Why would I ever use push_back instead of emplace_back?
  19. How do I erase elements from STL containers?
  20. Broken c++ std libraries on macOS High Sierra 10.13
  21. std::thread error (thread not member of std)
  22. std::remove_const with const references
  23. Why must std::sort compare function return false when arguments are equal?
  24. Can a declaration affect the std namespace?
  25. Why does unique_ptr take two template parameters when shared_ptr only takes one?
  26. Element at index in a std::set?
  27. what does `using std::swap` inside the body of a class method implementation mean?
  28. What’s the time complexity of iterating through a std::set/std::map?
  29. What data structure is inside std::map in C++?
  30. How to make sure that std::random_shuffle always produces a different result?

Leave a Comment