这两天看C++有一个地方很是疑惑。
普通情况下我们在函数内进行普通值返回的时候在内存栈空间内其实是自动产生了一个临时变量temp，它是返回值的一个副本一个copy，函数在return的时候其实是return的这个临时产生的副本。-----对C++中引用的补充说明(实例)
在[高质量c++编程]中提到
C 语言中，函数的参数和返回值的传递方式有两种：值传递（pass by value）和指针传递（pass by pointer）。C++ 语言中多了引用传递（ pass by reference）。
【规则6-3-2】在函数体的 "出口处"，对 return语句的正确性和效率进行检查。
如果函数有返回值，那么函数的 "出口处"是 return语句。我们不要轻视return语句。如果 return语句写得不好，函数要么出错，要么效率低下。
注意事项如下：
（1） return语句不可返回指向"栈内存 "的"指针 "或者"引用 "，因为该内存在函数体结束时被自动销毁。例如
char * Func(void)
{
char str[] = "hello world"; // str的内存位于栈上
…
return str; // 将导致错误
}
（2）要搞清楚返回的究竟是 "值"、 "指针"还是 "引用"。
（3）如果函数返回值是一个对象，要考虑 return语句的效率。例如
return String(s1 + s2);
这是临时对象的语法，表示"创建一个临时对象并返回它 "。不要以为它与" 先创建一个局部对象temp并返回它的结果" 是等价的，如
String temp(s1 + s2);
return temp;
实质不然，上述代码将发生三件事。首先，temp 对象被创建，同时完成初始化；然后拷贝构造函数把temp拷贝到保存返回值的外部存储单元中；最后，temp 在函数结束时被销毁（调用析构函数）。然而"创建一个临时对象并返回它 "的过程是不同的，编译器直接把临时对象创建并初始化在外部存储单元
类似地，我们不要将
return int(x + y); // 创建一个临时变量并返回它
写成
int temp = x + y;
return temp;
由于内部数据类型如int,float,double 的变量不存在构造函数与析构函数，虽然该"临时变量的语法" 不会提高多少效率，但是程序更加简洁易读。
我写了个测试用例如下：
char *f()
{
char s[]="HELLO";
return s;
}
char *f1()
{
char *p=NULL;
char s[]="world";
p=s;
return p;
}
int *f2()
{
int *p;
int i = 32;
p = &i;
return p;
}
void main()
{
cout << f() << endl;
cout << f1() << endl;
cout << *f2() << endl;
return；
}
f（）种申明的s为临时变量。函数返回后s就释放了，所以main函数输出的是乱码。
f1（）申明的指针p指向的是局部变量s，函数返回后，s释放，所以main输出的也是乱码。
f2（）按我的理解p也指向的时局部变量i，i在函数结束后也应该释放掉，我设想最后在main中输出的同样是乱码，但事实恰恰相反，在vc60的环境下我编译后，程序正常输出了32。很让我费解。
希望有明白的高人指点迷津。
评论