C++赋值运算符重载,为什么要返回引用?

 

一、c/c++赋值运算符的本意为“返回左值的引用”(左值:赋值号左面的变量而非其值)

例:

int a, b = 3, c = 2;
    (a = b) = c;
     cout<<a<<endl;

对于a = b(a,b均为对象时),若不返回左值的引用,将会生成临时对象。如果不处理a = b = c这样的表达式,也会正常(只是会调用拷贝构造函数和析构函数处理临时对象)。

二、为了进行连续赋值,即 x = y = z

1、赋值返回引用

x = y = z  先执行y = z,返回y的引用,执行x = y

2、赋值不返回引用

x = y = z  先执行y = z,返回用y初始化的临时对象(注意临时对象都是常对象),再执行x = y的临时对象(要求operator=(const X&)  ),返回用x初始化的临时对象(此处要求拷贝构造函数必须为X(const X&)  )。

所以也并非必须返回引用,返回引用的好处既可以于赋值的原始语义已知,又可避免拷贝构造函数和析构函数的调用。

“题外话”:如果在类中没有说明本身的拷贝构造函数和赋值运算符,编译程序将会提供,但他们都只是对对象进行成员浅拷贝。在那些指向堆空间指针作为数据成员的类中,必须避免使用浅拷贝,而要为类定义自己的赋值运算符,以给对象分配堆内存。

PS:浅拷贝:调用系统默认的拷贝构造函数,不再新分配资源内存。深拷贝:调用自己的拷贝构造函数,分配新的资源内存。

拷贝构造函数用已存在的对象创建一个相同的新对象。而赋值运算符用已存在的对象赋予一个已存在的同类对象。

struct实现类定义

 

C++之父Bjarn Stroustrup对C++语言概括的第一条就是"a betterC"。struct这个关键字就来源于C。而在C++中,struct的含义已经和C中的struct不尽相同了。在C++中,用户定义类型,也就是class,拥有和内建类型一样的地位。这可以从C++中struct定义的类型在声明变量时不必再写出struct关键字看出。如 



struct Foo { 

// ... 

}; 



Foo f; 

在C++程序中,人们似乎更热衷于使用class,而几乎忽略了struct的存在。实际上,struct就是成员默认为public的class(在class中,成员默认为private)。事实上以下两端代码完全等价: 

代码一: 



struct Foo { 



// ... 



}; 

代码二: 



class Foo { 



public: 



// ... 



}; 

那么为什么要有struct的存在呢?首先的原因自然是保持对C的兼容。原先的C代码可以不必修改就成为合法的C++代码。第二个原因(个人愚见),是为了让struct来表示抽象的数据类型以及抽象接口,而与class所表示的类的概念相区别。 

struct在C中的使用方式转移到C++以后仍然是非常重要,作为一组相关的数据而存在于一个struct,说明了他们在逻辑上是相互关联的数据,同时他们被保存在struct里而不是全局变量,也是对数据的一种管理。个人认为一种很朴素的用法要取代当前很热门的get-set用法。比如 



class Foo { 

int bar; 

public: 

int get_bar() { return bar; } 

void set_bar(const int& b) { bar = b; } 

};

这里Foo::bar是一个需要频繁存取的数据对象,它作为类Foo的私有成员存在,而通过公共接口存取。这是面向对象思想中数据封装的体现。而考虑一下这个Foo::bar是否有必要成为私有成员?没有,因为它就是一个数据,没有必要用私有类成员的思想来封装它,似乎可以看成是面向对象思想的过度滥用。等效的可以写成: 



struct Foo { 

int bar; 

}; 

然后通过普通的赋值操作来完成。这样做似乎是回到了原始时代,但没有必要用的就不要用,否则还会影响效率。 其次一个struct的应用就是来描述纯虚类,也就是后来Java语言中类似接口的东西: 



struct Foo { 

virtual void Bar1() = 0; 

virtual void Bar2() = 0; 

// ... 

}; 

使用struct可以些许节省编译器的语法分析时间:),而且能在语义上表达的更为清楚。 

一般来讲,当一个类中有必要进行数据隐藏时,请用class声明,并将私有数据标记为private,公共接口标记为public;而当所有成员都有必要成为公有成员的时候,请用struct来声明它。