Why would you ever want to allocate memory on the heap rather than the stack? [duplicate]

Question

Possible Duplicate:
When is it best to use a Stack instead of a Heap and vice versa?

I've read a few of the other questions regarding the heap vs stack, but they seem to focus more on what the heap/stack do rather than why you would use them.

It seems to me that stack allocation would almost always be preferred since it is quicker (just moving the stack pointer vs looking for free space in the heap), and you don't have to manually free allocated memory when you're done using it. The only reason I can see for using heap allocation is if you wanted to create an object in a function and then use it outside that functions scope, since stack allocated memory is automatically unallocated after returning from the function.

Are there other reasons for using heap allocation instead of stack allocation that I am not aware of?

Answer 1

There are a few reasons:

• The main one is that with heap allocation, you have the most flexible control over the object's lifetime (from malloc/calloc to free);
• Stack space is typically a more limited resource than heap space, at least in default configurations;
• A failure to allocate heap space can be handled gracefully, whereas running out of stack space is often unrecoverable.

Without the flexible object lifetime, useful data structures such as binary trees and linked lists would be virtually impossible to write.

Answer 2

1. You want an allocation to live beyond a function invocation
2. You want to conserve stack space (which is typically limited to a few MBs)
3. You're working with re-locatable memory (Win16, databases, etc.), or want to recover from allocation failures.
4. Variable length anything. You can fake around this, but your code will be really nasty.

The big one is #1. As soon as you get into any sort of concurrency or IPC #1 is everywhere. Even most non-trivial single threaded applications are tricky to devise without some heap allocation. That'd practically be faking a functional language in C/C++.