返回局部（常量）字符串指针

转载地址：http://blog.163.com/lover_j_j/blog/static/16824744720072124301222/

example1:
#include <iostream>
using namespace std;
char* getStr(){
char *p = "hello,world";
return p;
}
void test(){
char* str = getStr();
cout<<str<<endl;
}

void main(){
test();
}

example2:
#include <iostream>
using namespace std;
char* getStr(){
char p[] = "hello,world";
return p;
}
void test(){
char* str = getStr();
cout<<str<<endl;
}

void main(){
test();
}

在C++编译器上编译这段代码时example1一切正常,但是example2不能正常返回"hello,world"字符串，返回的是随机地址，什么原因呢？因为定义一个字符数组时，实际上是把字符串从静态存储区拷贝拷贝到了字符串数组里面，example2  中的 char p[]声明的数组是一个局部数组，在函数执行结束时就会销毁，所以该函数返回的也就是无效指针

那为什么第一个又会工作正常呢？根本原因就在于，编译器编译程序时将"hello,world"这个字符串常量存放在了常量存储区中，定义指针时char *p="hello,world";   p指向的是常量态存储区地址，所以尽管从函数返回了，但是常量存储区存储的字符串还是有效的，常量存储区要在程序结束的时候才释放！

同样如果从局部对象存放在堆上，然后返回该局部对象的指针，该指针指向的对象依然有效！

注意：example1的成功运行取决于编译器，如果编译器不把字符串常量放在常量存储区，那么example1同样不能正常工作

 

 

    在C++中，内存分成5个区，他们分别是堆、栈、自由存储区、全局/静态存储区和常量存储区。
    栈，就是那些由编译器在需要的时候分配，在不需要的时候自动清楚的变量的存储区。里面的变量通常是局部变量、函数参数等。
    堆，就是那些由new分配的内存块，他们的释放编译器不去管，由我们的应用程序去控制，一般一个new就要对应一个delete。如果程序员没有释放掉，那么在程序结束后，操作系统会自动回收。
    自由存储区，就是那些由malloc等分配的内存块，他和堆是十分相似的，不过它是用free来结束自己的生命的。
    全局/静态存储区，全局变量和静态变量被分配到同一块内存中，在以前的C语言中，全局变量又分为初始化的和未初始化的，在C++里面没有这个区分了，他们共同占用同一块内存区。
    常量存储区，这是一块比较特殊的存储区，他们里面存放的是常量，不允许修改
 
一般认为在c中分为这几个存储区：
    1. 栈 －－有编译器自动分配释放 
    2. 堆 －－ 一般由程序员分配释放，若程序员不释放，程序结束时可能由OS回收 
    3. 全局区（静态区） －－ 全局变量和静态变量的存储是放在一块的，初始化的全局变量和静态变量在一块区域，未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。程序结束释放。 
    4. 另外还有一个专门放常量的地方。程序结束释放 
    在函数体中定义的变量通常是在栈上，用malloc, calloc, realloc等分配内存的函数分配得到的就是在堆上。在所有函数体外定义的是全局量，加了static修饰符后不管在哪里都存放在全局区（静态区）,在所有函数体外定义的static变量表示在该文件中有效，不能extern到别的文件用，在函数体内定义的static表示只在该函数体内有效。另外，函数中的"adgfdf"这样的字符串存放在常量区。 
比如：
代码: 
int a = 0; //全局初始化区 
char *p1; //全局未初始化区 
main() 
{ 
int b; //栈 
char s[] = "abc"; //栈 
char *p2; //栈 
char *p3 = "123456"; //123456\0在常量区，p3在栈上。 
static int c = 0； //全局（静态）初始化区 
p1 = (char *)malloc(10); 
p2 = (char *)malloc(20); 
//分配得来得10和20字节的区域就在堆区。 
strcpy(p1, "123456"); 
//123456\0放在常量区，编译器可能会将它与p3所指向的"123456"优化成一块。 
}

    还有就是函数调用时会在栈上有一系列的保留现场及传递参数的操作。 
    栈的空间大小有限定，vc的缺省是2M。栈不够用的情况一般是程序中分配了大量数组和递归函数层次太深。有一点必须知道，当一个函数调用完返回后它会释放该函数中所有的栈空间。栈是由编译器自动管理的，不用你操心。 
    堆是动态分配内存的，并且你可以分配使用很大的内存。但是用不好会产生内存泄漏。并且频繁地malloc和free会产生内存碎片（有点类似磁盘碎片），因为c分配动态内存时是寻找匹配的内存的。而用栈则不会产生碎片。 
    在栈上存取数据比通过指针在堆上存取数据快些。