賦值語句其實是對“=”進行重載。
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.為什么要檢查參數
檢測是否自身給自身賦值,自身賦值是沒有意義的! 舉個例子,這樣一種情況
Test t1(10);Test &t2 = t1;Test &t3 = t2;t3 = t1; //自身賦值1.賦值函數即等號的重載,“=”此時是函數,而不是單純的“=”; 2.賦值函數的寫法可以依據情況而定,參數是否采用引用,返回值是否采用引用等等,只要確定不出錯即可。 3.我認為漂亮的賦值函數的內部構造是:
檢測自賦值–>釋放原有的內存資源–>分配新的內存資源,并復制內容–>返回本對象的引用
這些將會牽扯到調用優化,深拷貝,淺拷貝,隨后文章“函數的調用優化”“深拷貝和淺拷貝”會闡述
新聞熱點
疑難解答