日志
堆”和“栈”
||
堆”和“栈”是独立的概念平常说的“堆栈”实际上是两个概念：“堆”和“栈”。在英文中，堆是heap，栈是stack，不知道什么时候，什么原因，在中文里，这两个不同的概念硬是被搞在一起了，所以，围绕这个混合词所发生的误解和争执这几年就没有断过。
“栈”一般是由硬件（CPU）实现的，CPU用栈来保存调用子程序（函数）时的返回地址，高级语言有时也用它作为局部变量的存储空间。
“堆”是个实实在在的软件概念，使用与否完全由编程者“显示地（explicitly）”决定，如malloc。
程序经过编译连接生成执行程序后，堆和栈的起始地址就已经确定了（具体说，是通过“连接程序”），在一个具有反向增长的栈的CPU上，数据空间可表示如下：
低 ->｜－－－－－－－－－－－－－－－－－｜
｜ 全局量（所有已初始化量 .data， ｜
｜ 未初始化量 .bss ） ｜
堆起始->｜－－－－－－－－－－－－－－－－－｜
｜ 堆向高地址增长 ｜
｜ ｜
｜ ｜
｜ 自由空间 ｜
｜ ｜
｜ ｜
｜ 栈向低地址增长 ｜
高 栈起始->｜－－－－－－－－－－－－－－－－－｜
在内存中，“堆”和“栈”共用全部的自由空间，只不过各自的起始地址和增长方向不同，它们之间并没有一个固定的界限，如果在运行时，“堆”和“栈”增长到发生了相互覆盖时，称为“栈堆冲突”，系统肯定垮台。由于开销方面的原因，各种编译在实现中都没有考虑解决这个问题，只有靠设计者自己解决，比如增加内存等。
“栈”一般是由硬件（CPU）实现的，CPU用栈来保存调用子程序（函数）时的返回地址，高级语言有时也用它作为局部变量的存储空间。
“堆”是个实实在在的软件概念，使用与否完全由编程者“显示地（explicitly）”决定，如malloc。
程序经过编译连接生成执行程序后，堆和栈的起始地址就已经确定了（具体说，是通过“连接程序”），在一个具有反向增长的栈的CPU上，数据空间可表示如下：
低 ->｜－－－－－－－－－－－－－－－－－｜
｜ 全局量（所有已初始化量 .data， ｜
｜ 未初始化量 .bss ） ｜
堆起始->｜－－－－－－－－－－－－－－－－－｜
｜ 堆向高地址增长 ｜
｜ ｜
｜ ｜
｜ 自由空间 ｜
｜ ｜
｜ ｜
｜ 栈向低地址增长 ｜
高 栈起始->｜－－－－－－－－－－－－－－－－－｜
在内存中，“堆”和“栈”共用全部的自由空间，只不过各自的起始地址和增长方向不同，它们之间并没有一个固定的界限，如果在运行时，“堆”和“栈”增长到发生了相互覆盖时，称为“栈堆冲突”，系统肯定垮台。由于开销方面的原因，各种编译在实现中都没有考虑解决这个问题，只有靠设计者自己解决，比如增加内存等。
