这个问题可能听起来相当简单，但这是我与另一位开发人员的争论。
我小心地在我可以的地方进行堆栈分配，而不是堆分配。他和我说话，看着我的肩膀，并评论说，这是没有必要的，因为他们的表现是一样的。
在我的印象中，增加堆栈是一个常数时间，而堆分配的性能取决于当前堆的复杂性，包括分配(找到合适大小的孔)和反分配(缩小孔以减少碎片，如果我没有弄错的话，许多标准库实现在删除过程中需要时间来做这件事)。
在我看来，这可能非常依赖于编译器。在这个项目中，我特别使用了一个用于PPC架构的Metrowerks编译器。对这种组合的深入了解将是最有帮助的，但一般来说，对于GCC和msvc++，情况如何?堆分配不如堆栈分配高效吗?没有区别吗?还是差异如此之小以至于变成了毫无意义的微观优化。
当前回答
您可以为特定大小的对象编写一个非常高性能的特殊堆分配器。但是，一般的堆分配器性能不是特别好。
我也同意Torbjörn Gyllebring关于对象的预期生命期的观点。好点!
其他回答
不要做过早的假设，因为其他应用程序代码和使用可能会影响您的功能。因此，孤立地看待函数是没有用的。
如果你是认真的应用程序，那么VTune它或使用任何类似的分析工具，并查看热点。
糯米
我想说的是，实际上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会改变为另一个值。除非你没有局部变量，否则这条指令只需要执行。所以分配局部变量没有开销。
您可以为特定大小的对象编写一个非常高性能的特殊堆分配器。但是，一般的堆分配器性能不是特别好。
我也同意Torbjörn Gyllebring关于对象的预期生命期的观点。好点!
堆栈分配是一对指令，而我所知道的最快的rtos堆分配器(TLSF)平均使用150条指令。此外，堆栈分配不需要锁，因为它们使用线程本地存储，这是另一个巨大的性能优势。因此，堆栈分配可以快2-3个数量级，这取决于您的多线程环境有多严重。
通常，如果关心性能，堆分配是最后的选择。一个可行的中间选项可以是一个固定池分配器，它也只有几个指令，每次分配开销很小，所以它非常适合固定大小的小对象。缺点是它只适用于固定大小的对象，本质上不是线程安全的，并且有块碎片问题。
堆栈分配要快得多，因为它所做的只是移动堆栈指针。 使用内存池，您可以从堆分配中获得类似的性能，但这会略微增加复杂性，并带来令人头痛的问题。
此外，堆栈与堆不仅是性能方面的考虑;它还告诉您许多关于对象的预期生存期的信息。
