返回局部指针变量

 我们大家都知道指针函数的返回指针不能指向函数内的自动变量，如果需要返回函数的内部变量的话，就需要将该变量声明为静态变量。为什么函数能够返回静态变量的地址而不能返回局部自动变量的地址，到底什么样的对象能够返回其地址，而什么样的对象不能够返回其地址？静态变量与局部自动变量的主要区别是什么？

 

     要想明白这些就需要理解程序的内存布局情况

     程序的存储区域分为：代码段、只读数据段、已初始化的读写数据段、未初始化的数据段、堆、栈。

     1、代码段、只读数据段、已初始化的读写数据段、未初始化的数据段都属于静态区域。

     2、堆内存只在程序运行时出现，一般有程序员分配和释放。

     3、栈内存只在程序运行时出现，在函数内部使用的变量，函数参数以及返回值将使用栈空间。

 

     到底存储在静态区域和存储在栈区域的对象在返回指针的函数中有什么本质区别，为什么存储在静态区域的静态变量就能够返回其地址，而存储在栈区域的自动变量不能返回其地址？

  

      主要在于他们的管理机制不同，存储在静态区域的对象的生存周期是主函数的生存周期，而存储在栈区域的对象生存周期为指针函数开始运行到指针函数结束，当指针函数结束时存储在栈区域的对象生存周期也就结束，其地址也变成无效地址。栈空间由编译器自动分配和释放，函数结束时其栈空间释放内存。堆区域一般由程序员来控制其生存周期。因此，指针函数返回的指针能够指向静态区域的变量而不能指向自动局部变量。

      当函数使用指针作为返回值时，它可以指向静态区域的地址，可以指向堆内存的地址，也可以指向函数调用者的栈空间，但是它不可以指向一个函数内部栈内存的地址。

      因此，能不能返回局部指针变量，不在于这个指针变量的类型和性质（不在于该指针是不是局部指针变量），而在于该指针指向的对象的类型和性质。如果该指针指向函数内部的栈空间，则程序非法，如果指向静态区域的地址，则合法。

   

     因此，判断指针函数返回值是否合法，应该首先看看该返回指针变量指向的对象的存储区域，即该指针指向的区域。透过现象看本质，不同区域的对象本质区别在于其的生存周期的有效性不同，判断返回的指针值是否有效合法，最本质应该看看该指针指向的对象的生存周期在函数结束后是否有效。如果该对象的生存周期长于指针函数的生存周期，则该指针返回值合法，否则，该指针的值为非法地址。即使该指针指向堆区域的地址但在指针函数结束时，堆已释放，则该函数的返回地址仍为非法。