作者dwight90488 (陳佳佳)
看板C_and_CPP
標題[問題] Operator overloading const 一問
時間Wed Oct 4 23:26:51 2017
開發平台(Platform): (Ex: Win10, Linux, ...)
Win7
編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
C++
問題(Question)：
在看螞蟻書的operator overloading的時候, 對這個章節的case study: class Array
有點疑惑:
1.
const Array &operator=( const Array & );
這裡return回來設為constant有甚麼意義嗎? 避免我們做出(a=b)=c 的動作?
2.
const Array &operator=( const Array & );
想make sure一下, 這裡使用傳入參數為reference的原因是 若使用pass by value,
會copy一份傳進來, 就會呼叫到傳入參數的copy constructor. 所以才避免使用pass
by value嗎?
3.
int &operator[]( int );
int operator[]( int ) const;
在做[]的operator overloading時, 兩個傳入參數一樣, 只是return回來的一個是value,
一個則是reference, 這樣我在做call function時, 怎麼判斷是進入哪個function?
抱歉, 小的還對C++剛入門, 對這些基礎還不熟, 但卻又希望能夠把他們確實搞懂
先謝謝各位大大解惑了!!!
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.164.90.171
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1507130814.A.FD5.html
1F：→ bluesoul: 1, 是 2, 是 3, 一個是const 一個不是 10/04 23:30
2F：→ notBeing: constant object shall call const member function 10/05 01:03
3F：→ PkmX: 1. 通常copy assignment operator是return T&不是 const T& 10/05 01:06
4F：→ PkmX: 2. 也有一種作法是pass by value然後用copy-ctor + swap 10/05 01:07
5F：→ PkmX: 實做 copy assignment operator 俗稱 copy-and-swap idiom 10/05 01:07
6F：推 LPH66: 3. 非常數版回傳 reference 的原因是要使得 obj[idx]=val; 10/05 04:03
7F：→ LPH66: 這裡的 = 能夠真的把值賦給左邊那個位置 10/05 04:04
8F：→ LPH66: 這當然需要 obj 不是一個常數物件 10/05 04:04
9F：→ LPH66: 同時回傳的是 reference 可以做為左值而得以賦值 10/05 04:05
10F：→ LPH66: 啊, 我似乎看懂你的問題了: 第二個函數的 const 表示這函數 10/05 04:06
11F：→ LPH66: 是常數物件也能夠呼叫的函數, 在此函數裡 this 有常數性 10/05 04:07
12F：→ LPH66: 而第一個函數的 this 則沒有常數性 10/05 04:07
13F：→ LPH66: 這個常數性的有無就跟參數的常數性有無一樣 10/05 04:08
14F：→ LPH66: 會對 overload 決議造成影響 10/05 04:08
非常謝謝bluesoul, notBeing, PkmX和LPH66諸位的回答, 還是有想要釐清的地方
1. 由於螞蟻書上寫的是有 const T&, 我自己本身是覺得有沒有const好像沒有差太多,
除了預防(a=b)=c;的情況產生以外, 好像沒有甚麼實質效果和意義, 還是有甚麼情況一定
會使用到return為const的時候呢?
2. 謝謝PkmX大大補充, 我有參閱了
https://stackoverflow.com/questions/3279543/what-is-the-copy-and-swap-idiom
此篇有談到copy & swap idiom的優勢, 看起來可以善用copy construnctor來製作copy
assignment達到code duplication
只不過突然想到原本題目中 即便我今天不傳入reference在 const Array &operator=(
const Array ); 而是傳vlaue進去,
那就會呼叫到copy construnctor, 我一樣在這個assignment的function結束後也會呼叫
到destructor把這個copy的給解構
程式還是能正常運作才是. 所以我的理解是這樣子的動作因為會做到copy & destructor
所以會讓程式做無意義的動作, 比較耗時和耗資源
所以才會傾向使用傳入reference嗎?
3. 謝謝LPH66大大的回覆, 我能理解當宣告常數物件的時候, 我只能對第二個函數做使用
但是若非常數物件時, 對我們今天寫 array[i] 時, 他怎麼知道是進入第一個函數還是第
二個函數呢?
謝謝您們的幫忙!
※ 編輯: dwight90488 (60.250.8.18), 10/05/2017 11:13:56
15F：→ a27417332: 其實LPH大大有提到，就是 Overload Resolution 去決定 10/05 16:35
16F：→ a27417332: 而之所以會走 Overload Resolution 就是因爲 this 有沒 10/05 16:38
17F：→ a27417332: 有 const 修飾 10/05 16:40
18F：→ a27417332: 可以想像成 this 是 member function 的第零個參數(? 10/05 16:42
19F：→ stucode: 關於2.，一般會傳 const reference 是為了消彌不必要的 10/05 16:49
20F：→ stucode: 複製成本。例如用普通方式實作 copy assignment 時，會 10/05 16:49
21F：→ stucode: 確認是否為 self-assignment，假如是的話就可省略複製 10/05 16:49
22F：→ stucode: 步驟。在實作 copy&swap 的情況下，把第一步的複製提前 10/05 16:49
23F：→ stucode: 到參數（即傳 value 而非 const reference），反而有助 10/05 16:49
24F：→ stucode: 於編譯器做 copy elison 最佳化，減少成本。 10/05 16:49
大概有點了解了^^ 謝謝a27417332 & stucode大大您們的解說!
※ 編輯: dwight90488 (1.164.90.171), 10/06/2017 22:45:36