赋值语句其实是对“=”进行重载。
Test& Operator=(const Test &t) { cout<<"赋值函数:"<<this<<"="<<&t<<endl; if(this != &t) data = t.data; return *this; }赋值语句的写法必须是上述形式吗,答案是否定的。 1.为什么传参方式是传引用? Test(Test &t)
如果采用传值方式,用t1初始化形参时,会调用拷贝构造函数,效率降低。传引用的好处是,不调动拷贝构造函数,时间、内存空间都节约 2.为什么参数前要加const? Test(const Test &t)
传引用的方式,加const代表常引用,防止更改信息,如例子中,不加const,我可以更改t1的data值
这就会导致更改外部的数据,答案也会使人莫名其妙,很明显我t1.data=10,给t2赋值之后,t2.data也应该是10啊。 3.为什么返回值是类型的引用? Test& operator=(const Test &t)
(1)先解释为什么返回的是类型,而不是空类型(void)
根据等号自右向左结合,在t2 = t1之后,如果返回值为空,将无法给t3赋值。当然如果你能保证不会出现任何连等的情况,可以返回void,也不需要看下面的一点了。 (2)为什么要返回类型的引用 显而易见,如果单纯返回类型,会调用构造拷贝函数,造成空间时间上的浪费。 (3)返回引用永远不会出问题吗? 举个例子
Test& fun(Test t){ int value = t.GetData(); Test tmp(value); return tmp;}int main(){ Test t1(10); Test t2; t2 = fun(t1);//编译通过,但是错误,此时fun函数运行结束后,局部对象tmp被析构,那么我就是再用一块不确定的空间给对象赋值。最后t2.data是一个随机值。}那么到底什么时候才能返回引用? 如果要返回的空间在该函数结束后空间被释放,那么不可采用引用;反之,则可。 4.为什么要检查参数
if(this != &t) data = t.data; return *this; ...// Test& operator=(Test *const this, const Test &t)//下式实际形式改写 Test& operator=(const Test &t) { cout<<"赋值函数:"<<this<<"="<<&t<<endl; if(this != &t) data = t.data; return *this; }...... //t2.operator=(t1); //实际形式改写 //operator=(&t2, t1); t2 = t1;检测是否自身给自身赋值,自身赋值是没有意义的! 举个例子,这样一种情况
Test t1(10);Test &t2 = t1;Test &t3 = t2;t3 = t1; //自身赋值1.赋值函数即等号的重载,“=”此时是函数,而不是单纯的“=”; 2.赋值函数的写法可以依据情况而定,参数是否采用引用,返回值是否采用引用等等,只要确定不出错即可。 3.我认为漂亮的赋值函数的内部构造是:
检测自赋值–>释放原有的内存资源–>分配新的内存资源,并复制内容–>返回本对象的引用
这些将会牵扯到调用优化,深拷贝,浅拷贝,随后文章“函数的调用优化”“深拷贝和浅拷贝”会阐述
新闻热点
疑难解答