对return各种情况如何去理解

graydream

effective c++中有下面一段代码

1. 
   
2. class rational {
   
3. public:
   
4.   rational(int numerator = 0, int denominator = 1);
   
5. 
   
6.   ...
   
7. 
   
8. private:
   
9.   int n, d;              // 分子和分母
   
10. 
    
11. friend
    
12.   const rational                      // 参见条款21：为什么
    
13.     operator*(const rational& lhs,    // 返回值是const
    
14.               const rational& rhs)     
    
15. };
    
16. 
    
17. inline const rational operator*(const rational& lhs,
    
18.                                 const rational& rhs)
    
19. {
    
20.   return rational(lhs.n * rhs.n, lhs.d * rhs.d);
    
21. }
    

复制代码

这是对的，不过又说operator*这么写就不对

1. 
   
2. inline const rational& operator*(const rational& lhs,
   
3.                                  const rational& rhs)
   
4. {
   
5.   rational result(lhs.n * rhs.n, lhs.d * rhs.d);
   
6.   return result;
   
7. }
   

复制代码

现在有点迷惑，第二种operator*写法的执行过程大概了解，第一种的过程是如何呢？为什么第种不会出问题？
还有return在什么情况下返回引用？

rickxbx

看看第二种写法，怎么能把一个局部变量的引用传出去呢？当函数结束后，这个局部变量就不存在了呀
关于返回引用的地方，有个东西用的比较多：
ostream& operator<<(ostream& out,some_class a);

graydream

Post by rickxbx
看看第二种写法，怎么能把一个局部变量的引用传出去呢？当函数结束后，这个局部变量就不存在了呀
关于返回引用的地方，有个东西用的比较多：
ostream& operator<<(ostream& out,some_class a);

第二个偶知道，但是想知道第一个的执行过程。

弥敦路九号

第一种相当于函数中返回类对象。一般用的时候
ratinal r1,r2,r3; //ignore constructor
r1 = r2 * r3;   
r2 * r3 反回一个临时类对象与r1之间进行了赋值。也就是数据成员的硬COPY

rickxbx

对于第一种,一般情况下,是先构造一个临时对象,再将这个临时对象赋值给调用者
当然,曾经见过有些编译器会做些优化,把这个临时对象给省了

bookstack

为什么要返回const对象呢？
其实第一种和第二种都是在栈上构造临时的对象，然后返回，
一些小的对象，这样做的开销并不大。