例1.这个函数有什么问题?
char *strA() { char str[] = "Hello world"; return str; }
答:这个函数返回的是局部变量的地址,当调用这个函数后,这个局部变量str[]就释放了,所以返回的结果是不确定且不安全的,随时都有被收回的可能。
想要获得正确的函数,可以如下修改:
char *strA() { char *str = "Hello world"; return str; }
那么可以看到这里只是将char str[] 改成了 char *str ,那它们有什么区别呢?
1.首先 定义在函数内部的 char str[] = "Hello world"; str[]是一个局部数组,它的值"Hello world"存放在 内存中的栈 中。因此函数一旦结束,str[]存储在栈中的值就收回了,返回的地址也就失效了。
2.而 定义在函数内部的 char *str = "Hello world"; str是一个局部指针,它指向的是 一段字符串常量,字符串常量是存储在 文字常量区,因此str返回的地址是不会收回改变的。
下面是关于 “程序的内存分配” 的知识总结:
一个由C/C++编译的程序占用的内存分为以下几个部分
1、栈区(stack)— 由编译器自动分配释放 ,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。
2、堆区(heap) — 一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收 。注意它与数据结构中的堆是两回事,分配方式倒是类似于链表,呵呵。
3、全局区(静态区)(static)—,全局变量和静态变量的存储是放在一块的,初始化的全局变量和静态变量在一块区域, 未初始化的全局变量和未初始化的静态变量在相邻的另一块区域。 程序结束后由系统释放。
4、文字常量区 —常量字符串就是放在这里的。 程序结束后由系统释放。
5、程序代码区—存放函数体的二进制代码。
例2:
//main.cpp int a = 0; 全局初始化区 char *p1; 全局未初始化区 void main( void ) { int b; //栈 char s[] = "abc"; //栈 “abc”在栈区,是在执行时刻赋值的; char *p2; //栈 const char *p3 = "123456"; //“123456 ”在常量区,是在编译时就确定的,p3在栈上。 static int c =0; //全局(静态)初始化区 p1 = (char *)malloc(10); p2 = (char *)malloc(20); //分配得来得10和20字节的区域就在堆区。 strcpy(p1, "123456"); //123456 放在常量区,编译器可能会将它与p3所指向的"123456"优化成一个地方。 }
例3:
#include <stdio.h> void main( void ) { char *c1 = "abc"; char c2[] = "abc"; char *c3 = ( char* )malloc(3); c3 = "abc"; printf("%d %d %s ",&c1,c1,c1); printf("%d %d %s ",&c2,c2,c2); printf("%d %d %s ",&c3,c3,c3); getchar(); } 执行结果 2293628 4199056 abc 2293624 2293624 abc 2293620 4199056 abc
例3的执行结果中字符指针c1和c3 指向的内存空间地址接近,说明堆区和文字常量区的地址块相近;而c2所指向的内存空间则是 栈区 ,也就是说 用字符常量初始化局部字符数组变量,是存储在栈的。因此可以验证例1。
详见: