[問題] Operator overloading const 一問

看板C_and_CPP作者 (陳佳佳)時間6年前 (2017/10/04 23:26), 6年前編輯推噓1(1推 0噓 23→)
留言24則, 6人參與, 6年前最新討論串1/1
開發平台(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
→
10/04 23:30, 6年前 , 1F
1, 是 2, 是 3, 一個是const 一個不是
10/04 23:30, 1F
→
10/05 01:03, 6年前 , 2F
constant object shall call const member function
10/05 01:03, 2F
→
10/05 01:06, 6年前 , 3F
1. 通常copy assignment operator是return T&不是 const T&
10/05 01:06, 3F
→
10/05 01:07, 6年前 , 4F
2. 也有一種作法是pass by value然後用copy-ctor + swap
10/05 01:07, 4F
→
10/05 01:07, 6年前 , 5F
實做 copy assignment operator 俗稱 copy-and-swap idiom
10/05 01:07, 5F
推
10/05 04:03, 6年前 , 6F
3. 非常數版回傳 reference 的原因是要使得 obj[idx]=val;
10/05 04:03, 6F
→
10/05 04:04, 6年前 , 7F
這裡的 = 能夠真的把值賦給左邊那個位置
10/05 04:04, 7F
→
10/05 04:04, 6年前 , 8F
這當然需要 obj 不是一個常數物件
10/05 04:04, 8F
→
10/05 04:05, 6年前 , 9F
同時回傳的是 reference 可以做為左值而得以賦值
10/05 04:05, 9F
→
10/05 04:06, 6年前 , 10F
啊, 我似乎看懂你的問題了: 第二個函數的 const 表示這函數
10/05 04:06, 10F
→
10/05 04:07, 6年前 , 11F
是常數物件也能夠呼叫的函數, 在此函數裡 this 有常數性
10/05 04:07, 11F
→
10/05 04:07, 6年前 , 12F
而第一個函數的 this 則沒有常數性
10/05 04:07, 12F
→
10/05 04:08, 6年前 , 13F
這個常數性的有無就跟參數的常數性有無一樣
10/05 04:08, 13F
→
10/05 04:08, 6年前 , 14F
會對 overload 決議造成影響
10/05 04:08, 14F
非常謝謝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
→
10/05 16:35, 6年前 , 15F
其實LPH大大有提到，就是 Overload Resolution 去決定
10/05 16:35, 15F
→
10/05 16:38, 6年前 , 16F
而之所以會走 Overload Resolution 就是因爲 this 有沒
10/05 16:38, 16F
→
10/05 16:40, 6年前 , 17F
有 const 修飾
10/05 16:40, 17F
→
10/05 16:42, 6年前 , 18F
可以想像成 this 是 member function 的第零個參數(?
10/05 16:42, 18F
→
10/05 16:49, 6年前 , 19F
關於2.，一般會傳 const reference 是為了消彌不必要的
10/05 16:49, 19F
→
10/05 16:49, 6年前 , 20F
複製成本。例如用普通方式實作 copy assignment 時，會
10/05 16:49, 20F
→
10/05 16:49, 6年前 , 21F
確認是否為 self-assignment，假如是的話就可省略複製
10/05 16:49, 21F
→
10/05 16:49, 6年前 , 22F
步驟。在實作 copy&swap 的情況下，把第一步的複製提前
10/05 16:49, 22F
→
10/05 16:49, 6年前 , 23F
到參數（即傳 value 而非 const reference），反而有助
10/05 16:49, 23F
→
10/05 16:49, 6年前 , 24F
於編譯器做 copy elison 最佳化，減少成本。
10/05 16:49, 24F
大概有點了解了^^ 謝謝a27417332 & stucode大大您們的解說! ※ 編輯: dwight90488 (1.164.90.171), 10/06/2017 22:45:36
‣ 更多 dwight90488 的文章
文章代碼(AID): #1PrFs-_L (C_and_CPP)