[問題] Operator overloading const 一問

[dwight90488 (陳佳佳)]

開發平台(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://www.ptt.cc/bbs/C_and_CPP/M.1507130814.A.FD5.html
→ bluesoul: 1, 是 2, 是 3, 一個是const 一個不是
→ notBeing: constant object shall call const member function
→ PkmX: 1. 通常copy assignment operator是return T&不是 const T&
→ PkmX: 2. 也有一種作法是pass by value然後用copy-ctor + swap
→ PkmX: 實做 copy assignment operator 俗稱 copy-and-swap idiom
推 LPH66: 3. 非常數版回傳 reference 的原因是要使得 obj[idx]=val;
→ LPH66: 這裡的 = 能夠真的把值賦給左邊那個位置
→ LPH66: 這當然需要 obj 不是一個常數物件
→ LPH66: 同時回傳的是 reference 可以做為左值而得以賦值
→ LPH66: 啊, 我似乎看懂你的問題了: 第二個函數的 const 表示這函數
→ LPH66: 是常數物件也能夠呼叫的函數, 在此函數裡 this 有常數性
→ LPH66: 而第一個函數的 this 則沒有常數性
→ LPH66: 這個常數性的有無就跟參數的常數性有無一樣
→ LPH66: 會對 overload 決議造成影響
非常謝謝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
→ a27417332: 其實LPH大大有提到，就是 Overload Resolution 去決定
→ a27417332: 而之所以會走 Overload Resolution 就是因爲 this 有沒
→ a27417332: 有 const 修飾
→ a27417332: 可以想像成 this 是 member function 的第零個參數(?
→ stucode: 關於2.，一般會傳 const reference 是為了消彌不必要的
→ stucode: 複製成本。例如用普通方式實作 copy assignment 時，會
→ stucode: 確認是否為 self-assignment，假如是的話就可省略複製
→ stucode: 步驟。在實作 copy&swap 的情況下，把第一步的複製提前
→ stucode: 到參數（即傳 value 而非 const reference），反而有助
→ stucode: 於編譯器做 copy elison 最佳化，減少成本。
大概有點了解了^^ 謝謝a27417332 & stucode大大您們的解說!
※ 編輯: dwight90488 (1.164.90.171), 10/06/2017 22:45:36