65,208
社区成员
发帖
与我相关
我的任务
分享const引用 = 函数返回值
为什么能给const引用赋值一个函数返回值?
函数返回值不是在函数返回后就被释放了么?
struct A { A(){} };
A rvalue() {return A();} // 返回一个非const
const A &ref_const = rvalue();
函数返回值不是在函数返回后就被释放了么?
struct A { A(){} };
A rvalue() {return A();} // 返回一个非const
const A &ref_const = rvalue();
...全文
请发表友善的回复…
发表回复
赵4老师 2014-05-06
- 打赏
- 举报
计算机组成原理→DOS命令→汇编语言→C语言（不包括C++）、代码书写规范→数据结构、编译原理、操作系统→计算机网络、数据库原理、正则表达式→其它语言（包括C++）、架构……
对学习编程者的忠告：
眼过千遍不如手过一遍！
书看千行不如手敲一行！
手敲千行不如单步一行！
单步源代码千行不如单步对应汇编一行！
单步类的实例“构造”或“复制”或“作为函数参数”或“作为函数返回值返回”或“参加各种运算”或“退出作用域”的语句对应的汇编代码几步后，就会来到该类的“构造函数”或“复制构造函数”或“运算符重载”或“析构函数”对应的C/C++源代码处。
VC调试时按Alt+8、Alt+7、Alt+6和Alt+5,打开汇编窗口、堆栈窗口、内存窗口和寄存器窗口看每句C对应的汇编、单步执行并观察相应堆栈、内存和寄存器变化，这样过一遍不就啥都明白了吗。
对VC来说，所谓‘调试时’就是编译连接通过以后，按F10或F11键单步执行一步以后的时候，或者在某行按F9设了断点后按F5执行停在该断点处的时候。
（Turbo C或Borland C用Turbo Debugger调试,Linux或Unix下用GDB调试时,看每句C对应的汇编并单步执行观察相应内存和寄存器变化。）
Jim_sh 2014-05-06
- 打赏
- 举报
我做了这样一个测试：
class Test
{
public:
Test()
{
cout<<"constructeur"<<endl;
}
Test(Test &t)
{
cout<<"constructeur_copy"<<endl;
}
~Test()
{
cout<<"destructeur"<<endl;
}
};
//main
Test fun()
{
Test tt;
return tt;
}
int main()
{
fun();
system("pause>NUL");
return 0;
}
结果显示为：
constructeur
constructeur_copy
destructeur
destructeur
显示第一行，是因为在fun函数里构造了一个Test类型的tt 这个可以理解
显示第二行，是不是因为函数在返回时用tt复制构造了一个临时对象？
显示第三行，是因为fun函数结束后，tt的生命也就到期了，所以执行了析构函数 这个也可以理解
显示第四行，是释放了那个临时对象吗？如果是，那么这里都已经释放了，怎么还能再赋值给别的变量或者引用呢？[/quote]
你在这个例子里，并没有把返回的临时对象赋值给谁，当然就释放了喽。
main函数里改为:
const Test& t = fun();
bear234 2014-05-06
- 打赏
- 举报
我做了这样一个测试：
class Test
{
public:
Test()
{
cout<<"constructeur"<<endl;
}
Test(Test &t)
{
cout<<"constructeur_copy"<<endl;
}
~Test()
{
cout<<"destructeur"<<endl;
}
};
//main
Test fun()
{
Test tt;
return tt;
}
int main()
{
fun();
system("pause>NUL");
return 0;
}
结果显示为：
constructeur
constructeur_copy
destructeur
destructeur
显示第一行，是因为在fun函数里构造了一个Test类型的tt 这个可以理解
显示第二行，是不是因为函数在返回时用tt复制构造了一个临时对象？
显示第三行，是因为fun函数结束后，tt的生命也就到期了，所以执行了析构函数 这个也可以理解
显示第四行，是释放了那个临时对象吗？如果是，那么这里都已经释放了，怎么还能再赋值给别的变量或者引用呢？
bear234 2014-05-06
- 打赏
- 举报
我做了这样一个测试：
class Test
{
public:
Test()
{
cout<<"constructeur"<<endl;
}
Test(Test &t)
{
cout<<"constructeur_copy"<<endl;
}
~Test()
{
cout<<"destructeur"<<endl;
}
};
//main
Test fun()
{
Test tt;
return tt;
}
int main()
{
fun();
system("pause>NUL");
return 0;
}
结果显示为：
constructeur
constructeur_copy
destructeur
destructeur
显示第一行，是因为在fun函数里构造了一个Test类型的tt 这个可以理解
显示第二行，是不是因为函数在返回时用tt复制构造了一个临时对象？
显示第三行，是因为fun函数结束后，tt的生命也就到期了，所以执行了析构函数 这个也可以理解
显示第四行，是释放了那个临时对象吗？如果是，那么这里都已经释放了，怎么还能再赋值给别的变量或者引用呢？
bear234 2014-05-06
- 打赏
- 举报
我做了这样一个测试：
class Test
{
public:
Test()
{
cout<<"constructeur"<<endl;
}
Test(Test &t)
{
cout<<"constructeur_copy"<<endl;
}
~Test()
{
cout<<"destructeur"<<endl;
}
};
//main
Test fun()
{
Test tt;
return tt;
}
int main()
{
fun();
system("pause>NUL");
return 0;
}
结果显示为：
constructeur
constructeur_copy
destructeur
destructeur
显示第一行，是因为在fun函数里构造了一个Test类型的tt 这个可以理解
显示第二行，是不是因为函数在返回时用tt复制构造了一个临时对象？
显示第三行，是因为fun函数结束后，tt的生命也就到期了，所以执行了析构函数 这个也可以理解
显示第四行，是释放了那个临时对象吗？如果是，那么这里都已经释放了，怎么还能再赋值给别的变量或者引用呢？
漂浮一生 2014-05-05
- 打赏
- 举报
函数的返回值，关键是你要弄清楚返回的是局部对象的“副本”，还是局部对象的地址，
如果你返回“副本”，肯定是没问题的，相当于做了赋值的过程，即使原对象不在了，也没关系
但返回的是地址，就有问题了，返回后，原地址被系统收回去了，地址所存放的内容就不受你控制了，自然也就不对了
Demon90s 2014-05-05
- 打赏
- 举报
函数在返回时会生成一个临时的对象，可以用它来进行赋值。因此赋值给一个同类型的引用是没有问题的。
mujiok2003 2014-05-05
- 打赏
- 举报
dongfangmuge 2014-05-05
- 打赏
- 举报
释放的只是函数内部的，返回值依然会拷贝一份传递到外部。
