How to have an unordered_map where the value type is the class it’s in?

by

The C++ standard specifies for the various smart pointers that the template parameter is allowed to be an incomplete type.

The 2017 and later versions of the standard allow a container’s value_type to be an incomplete type when instantiating the class template only for the container templates std::forward_list, std::list, and std::vector, and only if the allocator type satisfies the “allocator completeness requirements“. The default allocator template std::allocator always satisfies the allocator completeness requirements. Instantiating any member of the container class template still requires the value_type to be complete.

For any other standard container type, this information is not given. In cases where it is unspecified, an implementation is allowed to accept an incomplete type for one container class template and not another, and still be conformant.

To make your code portable, avoid making containers of any type before the type is completed, except in the cases specifically permitted by the standard.

Formally, the general constraint is found in the following rule ([res.on.functions]) which applies to your code:

In certain cases (replacement functions, handler functions, operations on types used to instantiate standard library template components), the C++ standard library depends on components supplied by a C++ program. If these components do not meet their requirements, the Standard places no requirements on the implementation.

In particular, the effects are undefined in the following cases:

…

  • if an incomplete type is used as a template argument when instantiating a template component, unless specifically allowed for that component.

The three statements specifically allowing an incomplete template argument for forward_list, list, and vector are found in sections [forwardlist.overview], [list.overview], and [vector.overview].

More Related Contents:

  1. What exactly is nullptr?
  2. How to determine if a string is a number with C++?
  3. Which, if any, C++ compilers do tail-recursion optimization?
  4. Base64 decode snippet in C++
  5. Create Random Number Sequence with No Repeats
  6. Why can’t variable names start with numbers?
  7. printf with std::string?
  8. Define preprocessor macro through CMake?
  9. How should I deal with mutexes in movable types in C++?
  10. Is it possible to program iPhone in C++
  11. lifetime of a std::initializer_list return value
  12. C++ How to detect Windows 10
  13. May I take the address of the one-past-the-end element of an array? [duplicate]
  14. Evaluate a string with a switch in C++ [duplicate]
  15. Why does GCC generate 15-20% faster code if I optimize for size instead of speed?
  16. How can I sort a std::map first by value, then by key?
  17. How to pass a function pointer that points to constructor?
  18. questions about name mangling in C++
  19. OpenCV imread(filename) fails in debug mode when using release libraries
  20. Can I download the Visual C++ Command Line Compiler without Visual Studio?
  21. Why is it that we can write outside of bounds in C?
  22. What does the three dots in the parameter list of a function mean?
  23. With a private modifier, why can the member in other objects be accessed directly?
  24. What is a ‘thunk’?
  25. Converting string of 1s and 0s into binary value
  26. Cast to int vs floor
  27. Why cast a pointer to a float into a pointer to a long, then dereference?
  28. Using C++ base class constructors?
  29. how to declare and define global variables in order to access them from all headers/source files properly
  30. how to determine sizeof class with virtual functions?

Leave a Comment