[問題] 用函數設定參照的問題

[amamoimi (佛仔)]

各位晚安打擾了

https://onlinegdb.com/_DyNuxd2H

我一直不太明白為什麼為什麼這樣寫是合法的

f(a)=5這行不是在把function call設值嗎

但是照理來說只能assign value給變數吧？（gpt這樣跟我講的，但是他又說我的例子不是
設值給f(a)@@)


不好意思我好像越問越基本了...謝謝大家

----
Sent from BePTT on my OPPO CPH1943

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 112.78.70.250 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1699705889.A.42E.html
→ nh60211as: int assign to int reference 是合法的啊
→ sarafciel: 這是左值和右值的問題 大部分function call回傳是右值
→ sarafciel: 你這個版本的函式是回傳左值 所以可以被assign
→ wulouise: 你只是寫了a=5啊
→ wulouise: 你是說設值給std::function?通常是不行的
→ amamoimi: 請問為什麼這個例子中回傳是左值呀？
→ amamoimi: 回w大 是的 我是指f(a)=5這一行
→ Lipraxde: 這並不是給 function call 設值，是做完 function call
→ Lipraxde:  對 return value 設值，而這個 function return 的是
→ Lipraxde: int&，所以式子是合法的
→ amamoimi: 是只有return value是參照的情況下才能設值嗎？為什麼
→ amamoimi: 呢？
→ wulouise: 你是設給returned ref而不是function 不要搞混了，f(a)
→ wulouise: 是呼叫function f並取得回傳的ref
→ wulouise: 給function設值是f = xxx，但是要看你想做什麼
→ sarafciel: 為什麼回傳的是左值這個問題的答案在左值的定義中就能
→ sarafciel: 找到
→ sarafciel: 你會這樣問就代表你其實不懂什麼是左值 或者不懂什麼東
→ sarafciel: 西會被分在左值 左右值的概念在網路上資源很多 你最好
→ sarafciel: 找幾篇文章看一下 或是翻板上以前的文章也行 不然你大
→ sarafciel: 概會繼續用很破碎的方式去理解
→ amamoimi: 好的 謝謝您
→ Lipraxde: 恩...我前面的講法不太好，不要太糾結他是 return valu
→ Lipraxde: e。一行程式碼不見得只做一件事，他可以有很多步驟，舉
→ Lipraxde: 例來說 a = b * c + d：
→ Lipraxde: 1. b * c,
→ Lipraxde: 2. b * c 的結果加上 d,
→ Lipraxde: 3. assign b * c + d 的結果給 a
→ Lipraxde: 不論是 = 左邊還是右邊都要分步驟做，然後要注意 a. 動
→ Lipraxde: 作、b. type
→ amamoimi: 謝謝L大
→ amamoimi: 想問一下那為什麼當傳回值是指標的時候f()也不能當左值
→ amamoimi: 呢 指標在記憶體中有確切的位置，應該是可以當作左值的
→ amamoimi: 不是嗎
→ sarafciel: 指標指到的東西是左值 不代表指標本身會是左值
→ sarafciel: https://godbolt.org/z/68M1Wxjx1
→ amamoimi: 喔喔了解了 謝謝
→ amamoimi: 有些東西搞混了 感謝各位
推 qwerasdf6102: 這裡提供另一個角度 即使不用左值右值的概念 你可以
→ qwerasdf6102: 把所有參照都想成該變數的指標
→ qwerasdf6102: 當一個變數是參照時 你把她換成是原變數的指標 然
→ qwerasdf6102: 後使用時加上*取值
→ qwerasdf6102: 實際上編譯器就是把參照編譯成指標
→ qwerasdf6102: 所以你可以改成 int *f(int *)
→ qwerasdf6102: 然後使用時 *f(a)=0
→ qwerasdf6102: 實際上是一模一樣的東西
→ qwerasdf6102: 其實參照就是指標的語法糖而已 我覺得要搞清楚這點
→ qwerasdf6102: 再去學左值右值的概念
→ wulouise: c++ declaration用法跟其他地方用法不一樣很容易搞混
→ amamoimi: 請問q大的意思是這樣嗎
→ amamoimi: int* f(int* );
→ amamoimi: int main()
→ amamoimi: {
→ amamoimi:     int a=1;
→ amamoimi:     int* p=&a;
→ amamoimi:     *f(p)=5;
→ amamoimi:     cout<<a;
→ amamoimi:     return 0;
→ amamoimi: }
→ amamoimi: int* f(int* x){
→ amamoimi:     return x;
→ amamoimi: }
→ amamoimi: 請問編譯器把參照編譯成指標是什麼意思呀
→ Lipraxde: C 的世界裡是只有 pointer 的，到了 C++ 雖然多了 refe
→ Lipraxde: rence，但其實底層實現本質上還是個 pointer，只是多了
→ Lipraxde: 些語法上的方便性。
→ Lipraxde: 像是用 reference 的好處是寫的時候不用加 * 去存取 va
→ Lipraxde: lue，並且一定 reference 的到值，不需要去檢查 nullpt
→ Lipraxde: r (畢竟要有 object 你才拿得到 reference 嘛)。
→ Lipraxde: 前面 qwer 講的理解方式適合從 C 入門 C++ 的人去理解
→ Lipraxde: reference，不過如果直接就學 C++ 的話，沒必要這樣轉
→ Lipraxde: 一手去理解，關注在 "type" 本身就好
→ Lipraxde: 至於左值、右值嘛...其實也不是說一定要搞懂吧，反正記
→ Lipraxde: 著想確保是用 move 的時候用 std::move，想 forward 參
→ Lipraxde: 數就用 std::forward，就像不會微積分也能在菜市場買菜
→ Lipraxde: 一樣，搞不清楚左值右值還是能寫 code
推 qwerasdf6102: 其實我當年也是從c++直接開始的啦 只是學完取值取址
→ qwerasdf6102: 之後 對於ref 還是有點迷惑 直到認知到他就是指標
→ qwerasdf6102: 之後才豁然開朗。 實際上我常常去看什麼code會編譯
→ qwerasdf6102: 出什麼組語， ref 跟pointer 會編譯出一模一樣的東
→ qwerasdf6102: 西
推 qwerasdf6102: 回原po 編譯成指標的意思 就是他們底層實現的原理
→ qwerasdf6102: 相同 本質上你寫語言其實都是在對硬體做一些操作
→ qwerasdf6102:  而指標與參照做的操作是一樣的
→ amamoimi: 好的 感謝L大和q大！