用例子浅析堆栈

上面讨论了C++内存管理，这次结合下实际分析下C++内存管理的实现

#include <iostream.h> using namespace std; char* fun1() { char a[]= "AString"; return a; } char* fun2() { char* b= "BString"; return b; } int main() { char *b[3]; b[0] = fun1(); b[1] = fun2(); char *c ="12345"; cout<< b[0] <<endl; cout<< b[1] <<endl; cout<< *c <<endl; return 0; } 

程序运行的结果如下：

 

其中b[0]输出的结果为空，b[1]输入的结果是BString，*c的结果为1，为什么会出现这样的结果呢？

首先我们应该了解：栈是由系统进行管理的，不由程序员进行分配的，堆是由程序员通过new或malloc来分配内存空间，并由delete或free进行释放的；常量是分配在常量区的。在本代码中，fun1函数中的"AString"分配在栈上，a是指向栈中'A'的地址，a+1指向'S'的地址，以此类推；fun2函数中“BString”分配在常量区，b分配在栈上，b是栈的地址，b的内容是指向常量区‘B‘地址，如图所示

先分析函数fun1，函数fun1返回的是a所指向的内容，而该内容存储在栈空间内，在函数返回后会进行出栈操作，所以返回的值具有不确定性；fun2返回的是p所指向的内容，该内容也是存储在栈控件内的，但是在函数返回的时候会将该p指向的内容，即常量区中“BString”的首地址保存到变量b[1]中，所以内容没有变化。

这就是会产生上面运行结果的原因。