关于函数返回值的一些见解

我们都知道c++函数返回类型有三种返回值返回指针返回引用。
下面简单说说在函数返回的时候到底发生了什么动作。

返回值类型：
拿一个很简单的例子：
函数定义：

int get()
{
int n=3;
return n;
}

int main()
{
int k=get();
}

先看get函数，局部变量n是一个产生在栈区的值，因此在函数结束的时候空间就会被释放，这个函数结束就底是指
在return前还是return后呢。

答案是不一定，一般是不会被立刻释放。
return这个动作会把n的值复制给一个临时变量q，这个临时变量充当函数的返回值，直到main函数的赋值成功后临时变量就被销毁。
所以实际上在main函数里面 k=get() k是获取get()函数的临时变量的值，而这个值的确是存在的，所以赋值成功。
在k成功获取q的值之后，临时变量q和局部变量n可能会被销毁，也可能不会被销毁，这是不确定的。
但由于这里我们的确是赋值成功了，不管临时变量和局部变量什么时候释放都无关，所以是可行安全的。

返回指针类型：

int *get()
{
int *p = new int(3);
return p;
}

int main()
{
int *k=get();
}

也是先看get函数，局部变量p申请了一块动态内存，值为3. 在return p这里发生的动作有：
函数会产生一个临时变量，这个变量类型是int *，我们假设为 q
q = k; 即q指向了k指向的地方，这里是p申请的那块动态内存。
临时变量q充当函数的返回值
所以在main函数里面 k = get() 实际上就是 k = q 这时候k就指向了那块动态申请的内存。
同理临时变量q完成任务后和局部变量p的地址是无效的，但它们的值仍然存在。

返回引用同理。

错误用法：返回指向局部对象的指针。

int *get()
{
int n = 3;
return &n;
}

int main()
{
int *p = NULL;
int *k = NULL;
p = k = get();
cout<<*p<<endl;
cout<<"operation"<<endl;
cout<<*p<<endl;
}
这里get函数返回的是n的地址。
在get函数返回的时候同样发生了一次复制假设临时变量名为temp int *temp = &n;
此时temp的确指向了n的值，并作为函数的返回值返回。
再看main函数这里我用了一个链式复制来更好说明问题。
先看 k = get()，即发生了 k =temp; 此时k也指向了函数n的值。
然后p = k，p也指向了函数局部变量n的值。
cout<<*p 神奇地发现的确输出3. 可能大家会想难道局部变量n的值还没被释放么。
的确还是没被释放，因为n是临时变量，n的地址是被系统回收了
但它的值还没有被别的内容写入，所以3这个值仍然存在。之所以这里设计是涉及到一个编译器运用内存的效率，当需要这块内存时候直接写入省去中间释放这个步骤。
但在第二次执行 cout<<*p<<endl; 发现不再输出3而是一个值很大的数。
这时候说明3这个值占用的内存用作其他用途了。所以解释是：在第一个cout<<*p<<endl执行之后，当再运行一段时间后，系统在调用<<函数、输出结果等过程中使用已回收的内存做其它用途了，此时该地址对应的值就被更改成无效的值了。
所以这是一个不确定的问题，你不知道编译器什么时候会把这个临时变量n的值释放掉，所以存在安全隐患。

返回局部引用也是如此。

关于函数返回值的一些见解

猜你喜欢