What is difference between const and non const key?

by

  • int and const int are two distinct types.

  • std::map<int, float> and std::map<const int, float> are, similarly, different types.

The difference between std::map<const int, float> and std::map<int, float> is, to a degree, analogous to the difference between, say, std::map<int, float> and std::map<std::string, float>; you get a fresh map type for each.

In the non-const case, the internal key type is still non-const int:

std::map<const int, float>::key_type       => const int
std::map<int, float>::key_type             => int

However, map keys are semantically immutable, and all map operations that allow direct access to keys (for example, dereferencing iterators, which yields value_type) does constify the key_type:

std::map<const int, float>::value_type => std::pair<const int, float>
std::map<int, float>::value_type       => std::pair<const int, float>

So the difference may be largely invisible to you in every way that matters, if your implementation allows it.

That’s not always the case, though: the standard officially requires your key type to be copyable and moveable, and some implementations re-use map nodes; under those implementations, attempting to use a const key simply won’t work.

More Related Contents:

  1. How can I use a custom type as key for a map in C++?
  2. reinterpret_cast creating a trivially default-constructible object
  3. Is it a conforming compiler extension to treat non-constexpr standard library functions as constexpr?
  4. When is a private constructor not a private constructor?
  5. When using C headers in C++, should we use functions from std:: or the global namespace?
  6. In STL maps, is it better to use map::insert than []?
  7. Is `long` guaranteed to be at least 32 bits?
  8. Is it still safe to delete nullptr in c++0x?
  9. Template partial ordering – why does partial deduction succeed here
  10. Matching alias template as template argument
  11. Unsequenced value computations (a.k.a sequence points)
  12. How is P0522R0 breaking code?
  13. Why does same_as concept check type equality twice?
  14. Placement new and assignment of class with const member
  15. Lambda capture and parameter with same name – who shadows the other? (clang vs gcc)
  16. Repeated typedefs – invalid in C but valid in C++?
  17. Can class template constructors have a redundant template parameter list in c++20
  18. Is std::abs(0u) ill-formed?
  19. Does the behavior of guaranteed copy elision depend on existence of user-defined copy constructor?
  20. Does accessing the first field of a struct via a C cast violate strict aliasing?
  21. C++ std::map holding ANY type of value
  22. Checking value exist in a std::map – C++
  23. Is a constexpr array necessarily odr-used when subscripted?
  24. How can i estimate memory usage of std::map?
  25. Is reinterpret_cast type punning actually undefined behavior?
  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. What standard clause mandates this lvalue-to-rvalue conversion?
  30. Can using a lambda in header files violate the ODR?

Leave a Comment