其实栈和堆本质相同。不同处是:栈数据块的数据指针所有权是编译器;堆数据块的数据指针所有权是程序本身。
也就是说栈的数据指针移动是在源码编译时候就确定的,比如执行完某一个函数释放临时变量后栈顶指针回跳到哪个位置编译时候就确定好了,不需要程序员管理。这样带来的弊端包括:不能申请编译前不能确定大小的数据块,比如数组a[ 10 ],a后边的[ ]中必须是常量!
而堆的数据指针移动是在程序运行时候确定的,比如在堆重申请数据块a,int* a = new int[ i ],其中的变量i编译时候不知道具体的值,i的大小决定了堆数据指针的移动动向。那么堆数据指针的操作是怎么实现的呢,其实是由操作系统提供的C运行时库实现的,C运行时库提供了malloc(),free()函数(在C++中这两个函数的功能被封装在运算符new和free里)方便了我们堆数据的管理,堆数据指针的操作就由C运行时库帮我们完成。