C++值返回生命周期

Question

如下代码两个问题：
1，重载后置++，返回了的一个局部对象，这个局部对象是否会被析构销毁？
2，这里为什么返回的是Coordinate，而不是Coordinate& ？

class Coordinate{
public:
    Coordinate(int x,int y):x(x),y(y){}
    ~Coordinate(){}
    Coordinate operator++(int)
    {
        Coordinate o＝*this;
        ++x;
        ++y;
        return o;
    }
private:
    int x;
    int y;
};

Answer 1

离开 opertor++ 这个 o 就被销毁了，但是应该返回的是 o 的复本。

这里返回 Coordinate 应该会产生复本，但是如果返回 Coordinate& 的话，现在的代码会出错，因为 o 已经被销毁，反正它的引用也没用了。但是如果你的 o 是 new 出来，又存在需要找个适当的地方 delete 的问题。

因为好多年没写 C++ 了，所以不是很确定，你自己可以调试一下，把几个对象的地址输出比较一下就明白了。

Answer 2

1，重载后置++，返回了的一个局部对象，这个局部对象是否会被析构销毁？

是。

2，这里为什么返回的是Coordinate，而不是Coordinate& ？

返回非静态局部变量的引用是未定义行为。

Answer 3

1和2貌似是一个问题。

o是operator++中的局部变量，如果返回对它的引用，在operator++结束后，该引用的值的是一个未定义行为，所以返回一份拷贝。

前置自增才返回引用，因为引用的是*this。

Answer 4

后缀++的和前缀不同，语义就是返回一个表示原来值的临时对象，而产生的临时对象肯定会被析构。

Answer 5

首先一个类内有后置++，那就应该要有前置++
那么代码就该这样写：

class Coordinate{
public:
    Coordinate(int x,int y):x(x),y(y){}
    ~Coordinate(){}
    Coordinate operator++(int)
    {
        Coordinate o＝*this;
        ++*this;
        return o;
    }
private:
    int x;
    int y;
};

既然这样的话就必须返回复本，而不是引用

Answer 6

1. 返回o会使o赋给一个临时变量,如果这个临时变量被引用,则会延迟销毁.
   在C++标准第12章第2节:临时对象中有说到两种临时对象延迟销毁的情况,一是被用来初始化另一个对象,二是被引用后,直到引用被销毁临时对象才被销毁.

注意:返回的对象早已被销毁,但临时对象在两种特殊情况下延迟销毁.

1. 不返回引用这是后置++决定的.你必须返回原对象,但又得实现自增操作.返回引用的话就违反了后置++的特点:先使用再自增.

   BTY,对比前置++和后置++,对非内置类型来说,是前置++效率更高.

Answer 7

因为返回的是一个拷贝的临时量, 出了作用域就会被析构. 因此如果返回其引用, 那么返回值是不确定的.