Vector of const objects giving compile error

by

Items in a vector must be assignable (or, in more recent versions of the standard, movable). const objects aren’t assignable, so attempting to store them in a vector will fail (or at least can fail — the code is invalid, but a compiler is free to accept it anyway, if it so chooses, though most programmers would generally prefer that invalid code be rejected).

I suppose for the truly pedantic, if you wanted to badly enough, you could define a type that was assignable despite being const, something like this:

class ugly { 
    mutable int x;
public:
    ugly const &operator=(ugly const &u) const { 
        x = u.x;
        return *this;
    }
};

I believe you should be able to store items of this type in a vector even though they’re const. A quick test of creating a vector of these succeeds with VC++. This failed with some older compilers (e.g., failed with g++ 4.8.1), but works with reasonably recent ones (VC++ back to at least 2015, g++ back to at least 5.4 and clang++ back to at least 4.0–though I haven’t tried to track down the first version of each that supported it).

For a current compiler, a type that supported moving const objects would probably work just as well. But, just in case it wasn’t obvious: this is allowing you to modify an object even though it’s marked const. That’s clearly a direct violation of any reasonable user’s expectations, so it’s mostly a problem, not a solution.

More Related Contents:

  1. How does vector’s growth function work? [closed]
  2. How do I print out the contents of a vector?
  3. How do I print out the contents of a vector?
  4. Concatenating two std::vectors
  5. Correct way to work with vector of arrays
  6. How do I sort a vector of pairs based on the second element of the pair?
  7. How does the capacity of std::vector grow automatically? What is the rate?
  8. Vector going out of bounds without giving error
  9. Are Exceptions in C++ really slow
  10. Nice way to append a vector to itself
  11. How to remove duplicates from unsorted std::vector while keeping the original ordering using algorithms?
  12. C++ valarray vs. vector
  13. Is std::vector copying the objects with a push_back?
  14. vector::at vs. vector::operator[]
  15. How do I sort the texture positions based on the texture indices given in a Wavefront (.obj) file?
  16. Performance issue for vector::size() in a loop in C++
  17. Default, value and zero initialization mess
  18. Vector of std::function with different signatures
  19. Unresolved externals in C++ when using vectors and find
  20. Reading and writing a std::vector into a file correctly
  21. vector push_back calling copy_constructor more than once?
  22. May std::vector make use of small buffer optimization?
  23. Why doesn’t vector::clear remove elements from a vector?
  24. How to compare two vectors for equality element by element in C++?
  25. Converting between C++ std::vector and C array without copying
  26. std::vector resize downward
  27. What is better: reserve vector capacity, preallocate to size or push back in loop?
  28. std::dynarray vs std::vector
  29. Is there a standard way of moving a range into a vector?
  30. How to cheaply assign C-style array to std::vector?

Leave a Comment