C语言的内存分配(参考)

为了说明这个问题，我们首先来看看一个例子：

char *returnStr()
{
     char *s = "abcdef";

     return s;
}

char *returnArr()
{
     char a[] = "abcdef";

     return a;
}

void main()
{
     printf("%s\n", returnStr());    
     printf("%s\n", returnArr());
    
     return;
}

运行后结果是：第一个打印出了字符串：abcdef；但是第二个却没有打印出来结果，在编译时候编译器提示：warning: function returns address of local variable

这是什么原因呢？ 我们知道：字符串是被当做字符数组来处理的。所以字符数组名就相当于指向首地址的指针。那么

 char *s = "abcdef";

和 

char a[] = "abcdef";

这两种表达式似乎是一样的，可是为什么程序结果会不一样呢？

原因：

第一种表达式， char *s = "abcdef";  指针s是局部变量，他的作用域是函数returnStr 内。它将其指向的地址返回，返回之后s即被销毁，庆幸s指向的地址被返回了回来。最终打印正确。

第二种表达式，char a[] = "abcdef";  那么我们会问第二种与第一种的区别在哪，为何错？原因就是第一种指针s虽然是局部变量，被分配在栈空间，作用域是函数内部，但其指向的内容"abcdef"是常量，被分配在程序的常量区。直到整个程序结束才被销毁。而第二种，s是一数组，分配到栈空，"abcdef"作为数组各个元素被放到数组中，一旦函数退出，栈中这块内存就被释放。虽然返回一个地址，可是已经失去它的意义了。所以，这里编译器也提示我们返回了一个局部变量。

这里涉及到了 内存分配的问题。

一个由C/C++编译的程序占用的内存分为以下几个部分：

1、栈区（stack）： 由编译器自动分配释放管理。函数调用，存放函数的参数值，保存函数的返回地址，局部变量的值等。其操作方式类似于数据结构中的栈。
2、堆区（heap）： 一般由程序员分配释放管理。若程序员不释放，程序结束时可能由OS回收。推荐要自己释放，否则会发生内存泄露。（ 注意它与数据结构中的堆是两回事，分配方式倒是类似于链表 ）

3、未初始化数据段(BBS)  ： BSS是英文Block Started by Symbol的简称，属于静态内存分配。存放未初始化的静态变量或全局变量。 程序结束后由系统释放。

4、初始化数据段(data) ：数据段又分为读写数据段和只读数据段。

     |—— 只读数据段：const修饰的全局变量或局部变量。程序结束后由系统释放

     |—— 读写数据段：已初始化的全局变量或局部变量。

5、代码区(Text) ：存放程序的二进制代码。代码段是只读的，可被多个进程共享。