C++, Free-Store vs Heap
C++Memory ManagementC++ Problem Overview
Dynamic allocations with new/delete are said to take place on the free-store,
while malloc/free operations use the heap.
I'd like to know if there is an actual difference, in practice.
Do compilers make a distinction between the two terms? (Free store and Heap, not new/malloc)
C++ Solutions
Solution 1 - C++
For C++, the difference between the free store and the heap has become purely conceptual. Like a jar for collecting bugs, and one for collecting cookies. One is labeled one way, the other another. This designation is meant to drive home the point that you NEVER mix "new" and "delete" with "malloc", "realloc", or "free" (or bit level sets for that matter).
During interviews it's good to say that "new and delete use the free store, malloc and free use the heap; new and delete call the constructor and destructor, respectively, however malloc and free do not." Yet, you will often hear that the memory segments are really in the same area - however, that CAN be compiler specific, that is to say, it is possible that both can designate different memory spaces as pools (not sure why it would be, though).
Solution 2 - C++
See http://www.gotw.ca/gotw/009.htm; it can describe the differences between the heap and the free-store far better than I could:
Free-store:
> The free store is one of the two > dynamic memory areas, allocated/freed > by new/delete. Object lifetime can be > less than the time the storage is > allocated; that is, free store objects > can have memory allocated without > being immediately initialized, and can > be destroyed without the memory being > immediately deallocated. During the > period when the storage is allocated > but outside the object's lifetime, the > storage may be accessed and > manipulated through a void* but none > of the proto-object's nonstatic > members or member functions may be > accessed, have their addresses taken, > or be otherwise manipulated.
Heap: > The heap is the other dynamic memory > area, allocated/freed by malloc/free > and their variants. Note that while > the default global new and delete > might be implemented in terms of > malloc and free by a particular > compiler, the heap is not the same as > free store and memory allocated in one > area cannot be safely deallocated in > the other. Memory allocated from the > heap can be used for objects of class > type by placement-new construction and > explicit destruction. If so used, the > notes about free store object lifetime > apply similarly here.
Solution 3 - C++
Mike Koval's answer covers the theory quite well. In practice, however, they are almost always the same region of memory -- in most cases if you dig into the compiler's implementation of new, you'll find it calls malloc().
In other words: from the machine's point of view, heap and free store are the same thing. The distinction exists inside the compiler.
To make things even more confusing, before the advent of C++ we said "heap" to mean what is now called "free store."
Solution 4 - C++
The term "heap" may also refer to a particular data structure, but in the context of the C++ malloc, free, new, and delete operations the terms "heap" and "free store" are used more or less interchangeably.
Solution 5 - C++
Heap and free-store aren't supposed to be interoperable. In constrained contextes like in AVR 8-bit micro controllers with c++11 Standard Library, they cannot even be used in the same program. Free store and heap do their allocations in the same memory space, overwriting each other structures and data. In this context, Free store is different and incompatible with Heap because the "new/delete free store library" is simpler (and quicker) than the "Malloc/free/realloc/calloc heap library" and thus provides huge memory usage gains to the C++ embedded programmer (in a context where you have only 512 bytes of RAM).
See 8-bit c++11/14 Standard Library at https://github.com/ambroise-leclerc/ETL/tree/master/libstd
Solution 6 - C++
I don't recall the standard ever mentioning the word heap, except in the descriptions of heap functions like push_heap et al. All dynamic allocations are performed on the free-store.
Solution 7 - C++
Free Store is a pool of un-allocated heap memory given to a program that is used by the program for dynamic allocation during the execution of program. Every program is provided with a pool of un-allocated heap memory that it may utilize during the execution. This pool of available memory is referred to as free store of the program. The allocated free store memory is unnamed.