How does =delete on destructor prevent stack allocation?

by

The destructor of a variable with automatic storage duration (i.e. a local variable) would need to run when the variable’s lifetime ends. If there is no accessible destructor the compiler refuses to compile the code that allocates such a variable.

Basically the distinction between “stack allocation” (an inaccurate choice of term by the way) and free store allocation is that with local variables constructor/destructor calls always come in pairs, whereas with free store allocation you can construct an object without ever destructing it. Therefore by preventing access to the destructor your code makes it impossible to allocate a local variable of the type (if the constructor runs the destructor must also run, but there is no destructor so the program is rejected).

More Related Contents:

  1. Meaning of = delete after function declaration
  2. Why there is no placement delete expression in C++?
  3. How does the custom deleter of std::unique_ptr work?
  4. Calling delete on NULL pointers – C++03 vs C++11
  5. Using paragraphs 8.5.3p4 and p5 in the C++11 Standard, how do I prove that the snippet below doesn’t compile?
  6. How do I terminate a thread in C++11?
  7. When should std::move be used on a function return value? [duplicate]
  8. Why does this C++ snippet compile (non-void function does not return a value) [duplicate]
  9. What is the type of lambda when deduced with “auto” in C++11?
  10. How to specialize std::hash::operator() for user-defined type in unordered containers?
  11. How to initialize std::array elegantly if T is not default constructible?
  12. Why does auto x{3} deduce an initializer_list?
  13. How much is the overhead of smart pointers compared to normal pointers in C++?
  14. How do I initialize a member array with an initializer_list?
  15. Template tuple – calling a function on each element
  16. Constant expression initializer for static class member of type double
  17. Is it possible to determine if a type is a scoped enumeration type?
  18. Is there actually a reason why overloaded && and || don’t short circuit?
  19. Why, really, deleting an incomplete type is undefined behaviour?
  20. Variadic templates
  21. Why would anyone use set instead of unordered_set?
  22. Difference between C++11 std::bind and boost::bind
  23. Lambda functions as base classes
  24. What would a std::map extended initializer list look like?
  25. Double-Checked Lock Singleton in C++11
  26. C++11 Change `auto` Lambda to a different Lambda?
  27. C++11 random numbers
  28. Is the whole object freed with a non-virtual destructor and a Base class pointer?
  29. enum vs constexpr for actual static constants inside classes
  30. Is there a standard way of moving a range into a vector?

Leave a Comment