运算符=:返回引用与值

Operator=: return reference vs. value

本文关键字：引用 返回 运算符      更新时间：2023-10-16

我经历了这一切，有点困惑。假设我将一个类声明为：

class cls
{
public:
    int x;
    cls(int _x):x(_x){}
    cls& operator=(cls& ob)
    {
        x = ob.x;
        return *this;
    }
};

然后创建2个对象并执行复制操作，然后将赋值运算符重载前后两个变量的地址打印为：

cls o1 = 7;
cls o2 = cls(8);
cout<<&o1<<endl;    //0330F880
cout<<&o2<<endl;    //0330F874
o1 = o2;
cout<<&o1<<endl;    //0330F880
cout<<&o2<<endl;    //0330F874

两个地址组是相同的；这被理解为赋值运算符通过引用返回。

但我注意到，如果我将赋值运算符定义为按值返回，则会返回相同的地址组值。

在上面提到的链接中，如果按值返回，则会返回对象的副本。那么为什么它返回相同的地址值呢。他们不应该有所不同吗。请帮我理清思路。

返回值只有在您使用它执行某些操作时才相关。例如：

(o1 = o2).do_something();

或者等效地：

(o1.operator=(o2)).do_something();

do_something()方法将在返回的对象上运行——在您的情况下是o1的原始实例，因为它返回了一个引用。但是，如果您更改代码以返回值，则do_something()将在o1的副本上运行。

如果您有第三个对象cls* o_ptr;并执行以下操作：

cls o1 = 7;
cls o2 = cls(8);
cls* o_ptr = &(o1=o2);

如果显示o_ptr，如果返回引用，则会看到它与&o1相同，但如果返回值，则不同。

我认为，该地址是相同的，因为您只是覆盖结构的内部内容，而不是它在内存中的位置。

相关文章：