開發平台(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++剛入門, 對這些基礎還不熟, 但卻又希望能夠把他們確實搞懂
先謝謝各位大大解惑了!!!

1, 是 2, 是 3, 一個是const 一個不是

constant object shall call const member function

1. 通常copy assignment operator是return T&不是 const T&2. 也有一種作法是pass by value然後用copy-ctor + swap實做 copy assignment operator 俗稱 copy-and-swap idiom

3. 非常數版回傳 reference 的原因是要使得 obj[idx]=val;這裡的 = 能夠真的把值賦給左邊那個位置這當然需要 obj 不是一個常數物件同時回傳的是 reference 可以做為左值而得以賦值啊, 我似乎看懂你的問題了: 第二個函數的 const 表示這函數是常數物件也能夠呼叫的函數, 在此函數裡 this 有常數性而第一個函數的 this 則沒有常數性這個常數性的有無就跟參數的常數性有無一樣會對 overload 決議造成影響

其實LPH大大有提到，就是 Overload Resolution 去決定而之所以會走 Overload Resolution 就是因爲 this 有沒有 const 修飾可以想像成 this 是 member function 的第零個參數(?

關於2.，一般會傳 const reference 是為了消彌不必要的複製成本。例如用普通方式實作 copy assignment 時，會確認是否為 self-assignment，假如是的話就可省略複製步驟。在實作 copy&swap 的情況下，把第一步的複製提前到參數（即傳 value 而非 const reference），反而有助於編譯器做 copy elison 最佳化，減少成本。