[問題] operator overloading <<

[moebear (萌熊)]

開發平台(Platform): (Ex: Win10, Linux, ...) 
win 10 / linux

編譯器(Ex: GCC, clang, VC++...)+目標環境(跟開發平台不同的話需列出)
G++ / VC++

額外使用到的函數庫(Library Used): (Ex: OpenGL, ...) 


問題(Question)：

我在做大數的library(作業)

請問為什麼在做<<的時候，obj一定要用const?

如果不是const的話，會編譯不過。

餵入的資料(Input)：

//a,b,c是class

cout << a*b; // 這樣打會編譯失敗

cout << a;   // 但是這樣打可以

c=a*b;

cout << c;   // 這樣打也可以

預期的正確結果(Expected Output)：

加上const

錯誤結果(Wrong Output)：


程式碼(Code)：(請善用置底文網頁, 記得排版) 

ostream & operator << (ostream & str, const BigNum & obj)

作業已經demo了 貼上來應該沒關係

http://ideone.com/ifYD2i


補充說明(Supplement)：

在visual studio 裡面可以編譯成功，但是g++會失敗。


--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.113.91.189
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1493665465.A.3CF.html
※ 編輯: moebear (140.113.91.189), 05/02/2017 03:05:01
推 steve1012: 為什麼都不付一下source code
→ moebear: 我覺得比較屬於概念性的問題
推 steve1012: 看起來是因為你用lvalue ref. 不能抓temporary variabl
→ steve1012: e
→ steve1012: a*b是rvalue吧
推 steve1012: 沒付code 的話可以盡量解釋清楚一點 這樣大家比較好找
推 steve1012: 問題 像是什麼是''obj 一定要const?'' 是指 overload
推 steve1012:  的operator 的參數是const 還是在說你傳進去的物件一
推 steve1012: 定要是const  預期的正確結果那邊寫一個加上const 也
推 steve1012: 不太清楚是什麼東西加上const
→ moebear: 主要就是程式碼那邊的那行 為什麼要加上const
→ moebear: *會return一個我定義的class. BigNum
推 steve1012: C++不允許你直接抓temporary object 然後改他的值 所以
→ steve1012: 你要用const lvalue reference
→ steve1012: 當然現在有rvalue reference 能做這件事（改值）
推 steve1012: 概念是 a*b是一個temporary object. 你並沒有給他一個
→ steve1012: 名字 所以他馬上就會消失 讓user 改他的值並沒有什麼意
→ steve1012: 義（可能還有別的考量點）
推 johnhmj: 你有沒有寫 BigNum& operator*(const BigNum& obj)？
→ hunandy14: 記得是規範 但是規範跟實作是兩回事編譯器守不守他的事
→ hunandy14: 大前提很明白 obj 你不會動到 所以加上const
→ hunandy14: ostream 你需要動到他不能加 const
→ hunandy14: 這裡 a*b 返回值是 const 所以你參數不加會找不到
→ hunandy14:              更正 rvalue              ^const
推 steve1012: Bind rvalue 要麼用rval reference 要麼用const lvalue
→ steve1012:  reference
推 s4300026: 我猜是重載運算子，右側變數加上const
→ pttworld: 貼一下你的乘，回傳是什麼
→ moebear: 回傳是BigNum 我定義的class
※ 編輯: moebear (140.113.91.189), 05/02/2017 20:22:44
→ hunandy14: 應該是要你傳 op*() 前面是什麼 有沒有 * & const
→ hunandy14: 還是就什麼都沒有~
→ moebear: 已補充程式碼
→ moebear: 看起來應該是因為他是暫存的值 不能用ref去傳入
→ moebear: 我試著把const跟&一起拿掉就可以了
→ hunandy14: 一起補上是比較好的
→ hunandy14: cst BigNum op*(cst BigNum& A2, cst BigNum& B2)
→ hunandy14: istream& op>>(istream& str, cst BigNum& obj)
推 steve1012: 暫存值可以傳 只是規定要const lval reference 或是傳c
→ steve1012: opy 但傳copy 可能不efficient
推 steve1012: 傳lvalue reference 是一個& rvalue 是兩個&&
推 Killercat: 話說你可以直接解釋一下 你的case為什麼可能非const?
→ moebear: 什麼意思
推 Killercat: "請問為什麼在做<<的時候，obj一定要用const?"
→ Killercat: 答案是這是operator spec,然而這spec對你來講有什麼
→ Killercat: case讓你碰到困難，一定得mutable嗎？
→ Killercat: 可以提出來大家幫你看看 拿一下主義
→ Killercat: 誒，我好像有點誤解你問的問題，我看看
→ Killercat: 我剛幫你看了一下 clang看起來可以cout << a*b
推 steve1012: 所以我一開始才說問問題要問清楚...