多数情况下,堆应该算是操作系统抽象的、而栈由CPU直接提供支持(但操作系统可以决定应用程序栈大小的上限)。
从硬件上说,堆和栈最终都是内存条上的若干存储单元,所以并没有什么不同。
但,由于很多CPU对压栈、出栈操作有硬件(指令)上的支持,所以在栈区分配/归还内存速度极快(相比之下,堆上分配简直是龟速);尤其是函数内部的局部变量,可以轻易与函数调用/返回绑定,因此几乎所有编译型语言都会在利用栈管理局部变量(而且会优先使用空闲的寄存器,所以几乎所有高级语言都是访问局部变量速度最快)。
不仅如此。由于栈内存分配/回收的特殊机制,使得同一函数内部的“局部变量”总是分配在同一段连续内存空间上的;那么引用这些局部变量就不太容易出现CPU缓存失效问题。但实际应用场景里,这对程序性能的影响微乎其微,不必太过在意。