Re: [討論] 寫三元判斷式code review被打槍

看板 Soft_Job
作者 holydc (のヮの)
時間 2022-12-15 01:55:32
留言 54則留言 (15推 3噓 36→)

從 C++ 的角度來說 三元運算子有機會改變 l-value/r-value 的性質,進而破壞最佳化 舉個簡單例子 https://wandbox.org/permlink/8blhqHl417Zmrh9a 可以看到用三元運算子的時候,回傳區域變數竟然要 copy 而不是 move 雖然說 Java 沒有這些 不過你就知道看起來很簡潔的東西,也可能會有你沒意識到的副作用 因為有了這個認知 我個人現在不管什麼語言,都是盡量不用三元運算子,讓自己習慣用安全的寫法 : 小弟寫java的 : 以前常常寫三元判斷式 : 就比如說 : String a; : if(con) { : a= "aaa"; : } else { : a="bbb"; : } : 這樣就要佔掉六行 : 所以我通常都是寫 : String a= con ? "aaa" : "bbb"; : 從五行變成一行 : 在我看來簡潔又方便 : 但最近給一個資深前輩code review的時候 : 他說不要用三元判斷式 : 因為不好閱讀 : 他工作那麼久也從來不用三元判斷式的 : 而且java有很多套件都可以用來取代三元判斷式 : 所以用三元判斷式真的不好嗎? --
試想你要寫一個 split string 的函數,應該直覺會宣告成這樣吧 std::vector<std::string> Split(const std::string& str); 那這個回傳的 vector 是不是必然是函數內的區域變數 為了活用語言特性當然會有不同的 style 但是以本串的 conditional operator vs if-else 來說: 1. 並非語言特有 2. 不影響效能 3. 不影響可讀性 純粹只是自己看得爽不爽的問題 覺得不好寫其實就是不習慣 曾經我也跟原 po 一樣,覺得一行能寫完的東西變成那麼多行,馬德爆幹醜 所以我說不分語言都會傾向使用 if-else 是為了讓自己習慣 寫多了就不覺得醜,才不會那麼排斥 也可以說是洗腦自己 XD 感謝補充 (^人^
※ 批踢踢實業坊(ptt.cc), 來自: 61.228.69.15 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Soft_Job/M.1671040535.A.A1A.html

yyhsiu: +1此觀點,Java 雖然沒有這種問題,但這表示這個語法一般 12/15 02:36

yyhsiu: 性來說,水很深。不能期待大部份人都深刻了解 12/15 02:36

yyhsiu: 個人感覺,如果這知識不是在學這語言前三個月之類的就掌握 12/15 02:38

yyhsiu: 表示之後的維護者很可能缺乏這知識。必要性不足的還是避免 12/15 02:39

mmonkeyboyy: C++在很多地方都不能三元 一送上去會被自動檢查打槍 12/15 05:27

mmonkeyboyy: 語法真的是簡單為上 有更多事要擔心 這個就輕鬆點 12/15 05:28

hobnob: 推這篇 12/15 08:57

leptoneta: 厲害 12/15 09:24

cathychg: 妳原本念的是餐飲 電機 還是資工系 12/15 09:41

cathychg: 這聽起來像電機的觀念 欸 非常前衛喔 12/15 09:41

cathychg: 我沒有念過電機系 12/15 09:42

cathychg: https://i.imgur.com/cyrFsY4.jpg 12/15 09:43

cathychg: https://i.imgur.com/DOAJ2AD.jpg 12/15 09:44

cathychg: https://i.imgur.com/2zeLhGt.jpg 12/15 09:45

HuangHedaz: 借問下“回傳local scope object”這本身就很怪? 12/15 09:54

antpro: It's nothing to do with trinary operator... 12/15 09:57

hobnob: cathy 的魔掌已經伸來軟工版了…? 12/15 09:59

lycantrope: 只好推rust了,compiler一拳往你臉上,態度矯正 12/15 10:29

chuegou: 態度矯正應該是摔技(錯棚 12/15 12:09

ssccg: Java放到C++會有問題的寫法一堆,要考慮這個還寫什麼Java 12/15 12:43

ssccg: Java發明出來就是為了減化C++的這種問題,讓寫的人不用想什 12/15 12:48

ssccg: 麼區域變數不區域變數,怎麼傳都安全,結果還自己假想會遇 12/15 12:49

ssccg: 到危險,個人認為這很低能 12/15 12:49

ssccg: 不同語言就有不同的style切換,沒辦法切換非要用一套習慣是 12/15 12:50

ssccg: 個人問題吧 12/15 12:50

HuangHedaz: C++的 copy & move constructor 12/15 13:37

YukiTW: 水很深 12/15 17:08

superpandal: 並不是所有語言用慣用安全語法就更好寫... 例如shell 12/15 18:25

superpandal: 一堆if else的爛腳本比比皆是 不同語言語法都不同 不 12/15 18:27

superpandal: 同語言採取不同用法更好 你也不可能統一規範 因為一 12/15 18:28

superpandal: 堆語言都有獨特點 寫java跑去寫python都會覺得很不適 12/15 18:31

superpandal: 應先入為主 12/15 18:31

Dracarys: https://wg21.link/expr.prim.id.unqual#4.1 12/15 20:10

Dracarys: 看來是因為id-expression才有資格implicit move 12/15 20:10

Dracarys: 不然conditional operator在這不改變value category 12/15 20:10

Dracarys: https://wg21.link/expr.cond#5 12/15 20:10

pttano: c++的行為跟如何最佳化有關吧,拿這個跟Java比? 12/15 22:55

Dracarys: 跟最佳化無關 12/15 23:16

Dracarys: 這個case就只是E1 ? E2 : E3沒被規定成move-eligible 12/15 23:49

Dracarys: 自己用std::move cast到xvalue就好。 12/15 23:49

Dracarys: 跟優化無關,clang & gcc ToT開O3都做不到 12/15 23:49

Dracarys: [class.copy.elision]描述的copy/move elision 12/15 23:49

HuangHedaz: @holydc 你那舉例不算是return local scope object而 12/16 15:34

HuangHedaz: 是 pass local scope object 到 split function 做處 12/16 15:34

HuangHedaz: 理 12/16 15:34

superpandal: 所以我才拿shell當例子 寫shell這樣寫我基本不太相信 12/16 19:24

superpandal: 有人受的了 比起習慣亂七八糟甚至屎山 你把他弄的更 12/16 19:25

superpandal: 容易維護對你能如期甚至提前完成需求以及節省體力不 12/16 19:26

superpandal: 是更好嗎 mp消耗完就要消耗hp了 12/16 19:27

Jichang: 這種例子太多了 有的沒有分號結尾 有的不能用++ 有的要縮 12/17 13:06

Jichang: 排有的不用 幹脆寫組語了 12/17 13:06

Jichang: 很多語言沒繼承 沒closure 沒interface 沒有Coroutine 是 12/17 13:12

Jichang: 不是都不要用比較好 12/17 13:12

freef1y3: 長姿勢 12/17 22:34

您可能感興趣