情形1:
uint8_t func(uint8_t a)
{
uint8_t temp =0 ;
/*用输入变量a计算temp的值*/
return temp ;
}
这样是OK的,因为返回的是temp的副本
情形2
uint8_t *func(uint8_t a)
{
uint8_t temp =0 ;
/*用输入变量a计算temp的值*/
return (&temp) ;
}
这样是不对的。因为temp是个局部变量,返回的是temp的地址的副本。而该函数在结束时会回收temp,temp地址指向的值会被后续的别的函数分配和更改。如果使用该指针指向的值会是不确定的。因此才有
“永远不要从函数中返回局部自动变量的地址“。
情形3
uint8_t *func(uint8_t a)
{
uint8_t * temp =“XYZ” ;
/*一些别的处理*/
return temp;
}
这样是OK的,因为字符串“XYZ”是常量字符串,处在静态存储区,它在程序生命期内恒定不变,无论什么时候调用“XYZ”,它返回的始终是同一个“只读”的内存块。temp指向该位置。函数返回的是temp指针的副本,函数在结束时回收temp指针。同理,这里如果temp是指向全局变量或者静态变量的地址或者分配的堆的地址,也是OK的。
参考《高质量C 编程指南 (林锐)》2001版本的P49的例子。
情形4
char *GetMemory3(int num)
{
char *p = (char *)malloc(sizeof(char) * num);
return p;
}
void Test3(void)
{
char *str = NULL;
str = GetMemory3(100);
strcpy(str, "hello");
cout<< str << endl;
free(str);
}
这样是OK的。参见《高质量C 编程指南 (林锐)》2001版本的P48.这里的p指向分配的堆的首地址。
malloc其实是分配了一段连续或者不连续的内存。这段内存是按照链表的方式组织起来的(可以看malloc的源码)。链表的每个节点由两部分组成值和下一个节点的地址。最后一个节点是end。
free函数其实就是读取这个链表的头地址,然后依次释放各个节点的内存,直到end节点。
依次上面的操作的free(str)操作,是为了释放str指向的堆,这个堆由GetMemory3函数分配出来。而不是为了回收str这个指针,这个指针在函数结束时,自动回收到栈里面。
情形5
char *GetString(void)
{
char p[] = "hello world";
return p; // 编译器将提出警告
}
void Test4(void)
{
char *str = NULL;
str = GetString(); // str 的内容是垃圾
cout<< str << endl;
}
char *GetString2(void)
{
char *p = "hello world";
return p;
}
void Test5(void)
{
char *str = NULL;
str = GetString2();
cout<< str << endl;
}
上半部分的代码是有问题的,因为这里是在栈里面腾出一块地方,放置字符串,函数结束以后又释放了。
后半部分的代码是ok的,因为字符串在常量存储区。
参见《高质量C 编程指南 (林锐)》2001版本的P49