请教一个关于返回引用的问题

deewenic

有如下代码：

1. #include <iostream>
   
2. using namespace std;
   
3. 
   
4. class rational
   
5. {
   
6.     private:
   
7.         int real;
   
8.         int image;
   
9.     public:
   
10.         rational(){real = 0; image = 0;};
    
11.         rational(int r = 0, int i = 0);
    
12.         ~rational(){cout<<"dctor"<<endl;}
    
13.         rational& operator*(rational& rhs);
    
14.         void showval();
    
15. };
    
16. 
    
17. void rational::showval(){
    
18.     cout << "The value is ("
    
19.          << real
    
20.          << ","
    
21.          << image
    
22.          << ")" << endl;
    
23. }
    
24. 
    
25. rational::rational(int r,int i)
    
26. {
    
27.      cout<<"rational(" << r << "," << i << ")"<<endl;
    
28.      real = r;
    
29.      image = i;
    
30. }
    
31. /*****①：返回局部对象**********************/
    
32. rational& rational::operator*(rational& rhs)
    
33. {
    
34.      cout<<"in operator*"<<endl;
    
35.      rational ret(real*rhs.real,image*rhs.image);
    
36.      return ret;
    
37. }
    
38. /*****②：返回指针指向的对象***************/
    
39. rational& rational::operator*(rational& rhs)
    
40. {
    
41.      rational* result = new rational(real*rhs.real, image*rhs.image);
    
42.      return *result;
    
43. }
    
44. 
    
45. int main()
    
46. {
    
47.      rational a(1,2);
    
48.      rational b(3,4);
    
49.      rational c(2,2);
    
50. 
    
51.     rational ret = a * b * c;
    
52.     ret.showval();
    
53.      return 0;
    
54. }

复制代码

问题：
当我使用第一个方法重载乘号操作时，在SunOS下用CC编译会报Warning：Returning a reference to a local variable or temporary.
当我使用第二个方法重载乘号操作时，同样环境下编译正常。

就我的理解：因为第一个返回局部对象，而这个对象是放在栈上的，函数返回的时候这个对象应该会被释放。而第二个方法返回的是在堆上的对象，所以不会被释放，因此返回可用。问题的关键在于，在两种方法都编译过后并执行，执行结果即算出的有理数值是一样的，这说明返回局部对象是正确的么？或者说如果返回局部对象会有什么弊端？请大家帮忙分析一下两者的异同，谢谢了。

net_robber

第二种方法，你只返回了指针，编译器无法判断你指针的值是否有问题

foolishx

首先，你使用第二种方式返回一个new出来的对象的引用，过程中使用过一次默认的拷贝构造函数，可是你的类里没有定义和实现，存在隐患。
第二，使用第一种方式返回的栈变量的引用，虽然在忍受编译警告的情况下仍然可以编译通过并运行，但是它是很不安全的使用栈变量的方式，假如在你调用ret.showval()这个函数之前，你再调用别的函数fun，假设你定义了一个别的成员函数为：void rational：：fun（）{ int val[200] = {0，}；memset(val, 0, 200);}，当调用这个函数之后，栈内原本存放rational引用的那块内存被覆写，再调用showval（）之后你就会发现有问题了。

以上是理念流，你可以自己实践一下：）

good luck

wujiajia

首先，你使用第二种方式返回一个new出来的对象的引用，过程中使用过一次默认的拷贝构造函数，可是你的类里没 ...
foolishx 发表于 2011-07-19 10:57

    返回引用不会去调用拷贝构造的

chary8088

the second is right metod;
though the first metod return the value is what you expect , it is not reliable!
becuase the local variable you returned is a reference which references to a local variable, that is to say it points to a local; at the moment the OS hasn't retrieved the local value, so you got the right value

chary8088

in addition, returning reference doesn't need to call the copy constructor function.
4 floor said right