这个问题可能听起来相当简单，但这是我与另一位开发人员的争论。
我小心地在我可以的地方进行堆栈分配，而不是堆分配。他和我说话，看着我的肩膀，并评论说，这是没有必要的，因为他们的表现是一样的。
在我的印象中，增加堆栈是一个常数时间，而堆分配的性能取决于当前堆的复杂性，包括分配(找到合适大小的孔)和反分配(缩小孔以减少碎片，如果我没有弄错的话，许多标准库实现在删除过程中需要时间来做这件事)。
在我看来，这可能非常依赖于编译器。在这个项目中，我特别使用了一个用于PPC架构的Metrowerks编译器。对这种组合的深入了解将是最有帮助的，但一般来说，对于GCC和msvc++，情况如何?堆分配不如堆栈分配高效吗?没有区别吗?还是差异如此之小以至于变成了毫无意义的微观优化。
当前回答
我想说的是，实际上GCC生成的代码(我还记得VS)不需要做堆栈分配的开销。
对以下函数表示:
int f(int i)
{
if (i > 0)
{
int array[1000];
}
}
下面是生成的代码:
__Z1fi:
Leh_func_begin1:
pushq %rbp
Ltmp0:
movq %rsp, %rbp
Ltmp1:
subq $**3880**, %rsp <--- here we have the array allocated, even the if doesn't excited.
Ltmp2:
movl %edi, -4(%rbp)
movl -8(%rbp), %eax
addq $3880, %rsp
popq %rbp
ret
Leh_func_end1:
所以无论你有多少局部变量(甚至在if或switch内部)，只有3880会改变为另一个值。除非你没有局部变量，否则这条指令只需要执行。所以分配局部变量没有开销。
其他回答
堆栈的容量有限，而堆则不是。一个进程或线程的典型堆栈大约是8K。一旦分配，就不能更改大小。
堆栈变量遵循作用域规则，而堆变量则不遵循。如果你的指令指针超出了一个函数，所有与该函数相关的新变量都会消失。
最重要的是，您无法预先预测整个函数调用链。因此，仅200字节的分配就可能导致堆栈溢出。如果您正在编写一个库，而不是应用程序，这一点尤其重要。
前面提到过，堆栈分配只是移动堆栈指针，即大多数架构上的一条指令。将其与堆分配中通常发生的情况进行比较。
操作系统以链表的形式维护部分空闲内存，有效负载数据由指向空闲部分起始地址的指针和空闲部分的大小组成。为了分配X字节的内存，将遍历链表，并按顺序访问每个音符，检查其大小是否至少为X。当找到大小为P >= X的部分时，将P分成大小为X和P-X的两个部分。更新链表并返回指向第一部分的指针。
如您所见，堆分配取决于许多因素，如您请求的内存大小、内存的碎片程度等等。
class Foo {
public:
Foo(int a) {
}
}
int func() {
int a1, a2;
std::cin >> a1;
std::cin >> a2;
Foo f1(a1);
__asm push a1;
__asm lea ecx, [this];
__asm call Foo::Foo(int);
Foo* f2 = new Foo(a2);
__asm push sizeof(Foo);
__asm call operator new;//there's a lot instruction here(depends on system)
__asm push a2;
__asm call Foo::Foo(int);
delete f2;
}
It would be like this in asm. When you're in func, the f1 and pointer f2 has been allocated on stack (automated storage). And by the way, Foo f1(a1) has no instruction effects on stack pointer (esp),It has been allocated, if func wants get the member f1, it's instruction is something like this: lea ecx [ebp+f1], call Foo::SomeFunc(). Another thing the stack allocate may make someone think the memory is something like FIFO, the FIFO just happened when you go into some function, if you are in the function and allocate something like int i = 0, there no push happened.
不要做过早的假设，因为其他应用程序代码和使用可能会影响您的功能。因此，孤立地看待函数是没有用的。
如果你是认真的应用程序，那么VTune它或使用任何类似的分析工具，并查看热点。
糯米
堆栈分配是一对指令，而我所知道的最快的rtos堆分配器(TLSF)平均使用150条指令。此外，堆栈分配不需要锁，因为它们使用线程本地存储，这是另一个巨大的性能优势。因此，堆栈分配可以快2-3个数量级，这取决于您的多线程环境有多严重。
通常，如果关心性能，堆分配是最后的选择。一个可行的中间选项可以是一个固定池分配器，它也只有几个指令，每次分配开销很小，所以它非常适合固定大小的小对象。缺点是它只适用于固定大小的对象，本质上不是线程安全的，并且有块碎片问题。
