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

作者: holydc (のヮの)   2022-12-15 01:55:32
從 C++ 的角度來說
三元運算子有機會改變 l-value/r-value 的性質,進而破壞最佳化
舉個簡單例子 https://wandbox.org/permlink/8blhqHl417Zmrh9a
可以看到用三元運算子的時候,回傳區域變數竟然要 copy 而不是 move
雖然說 Java 沒有這些
不過你就知道看起來很簡潔的東西,也可能會有你沒意識到的副作用
因為有了這個認知
我個人現在不管什麼語言,都是盡量不用三元運算子,讓自己習慣用安全的寫法
※ 引述《a88241050 (再回頭已是百殘身)》之銘言:
: 小弟寫java的
: 以前常常寫三元判斷式
: 就比如說
: String a;
: if(con) {
: a= "aaa";
: } else {
: a="bbb";
: }
: 這樣就要佔掉六行
: 所以我通常都是寫
: String a= con ? "aaa" : "bbb";
: 從五行變成一行
: 在我看來簡潔又方便
: 但最近給一個資深前輩code review的時候
: 他說不要用三元判斷式
: 因為不好閱讀
: 他工作那麼久也從來不用三元判斷式的
: 而且java有很多套件都可以用來取代三元判斷式
: 所以用三元判斷式真的不好嗎?
作者: yyhsiu (hsiu)   2022-12-15 02:36:00
+1此觀點,Java 雖然沒有這種問題,但這表示這個語法一般性來說,水很深。不能期待大部份人都深刻了解個人感覺,如果這知識不是在學這語言前三個月之類的就掌握表示之後的維護者很可能缺乏這知識。必要性不足的還是避免
作者: mmonkeyboyy (great)   2022-12-15 05:27:00
C++在很多地方都不能三元 一送上去會被自動檢查打槍語法真的是簡單為上 有更多事要擔心 這個就輕鬆點
作者: hobnob (hobnob)   2022-12-15 08:57:00
推這篇
作者: leptoneta (台湾高山族自治区书记)   2022-12-15 09:24:00
厲害
作者: cathychg (凱西)   2022-12-15 09:41:00
妳原本念的是餐飲 電機 還是資工系這聽起來像電機的觀念 欸 非常前衛喔我沒有念過電機系https://i.imgur.com/cyrFsY4.jpghttps://i.imgur.com/DOAJ2AD.jpghttps://i.imgur.com/2zeLhGt.jpg
作者: HuangHedaz (Hedaz)   2022-12-15 09:54:00
借問下“回傳local scope object”這本身就很怪?
作者: antpro (-_*|| 宅)   2022-12-15 09:57:00
It's nothing to do with trinary operator...
作者: hobnob (hobnob)   2022-12-15 09:59:00
cathy 的魔掌已經伸來軟工版了…?
作者: lycantrope (阿寬)   2022-12-15 10:29:00
只好推rust了,compiler一拳往你臉上,態度矯正
作者: chuegou (chuegou)   2022-12-15 12:09:00
態度矯正應該是摔技(錯棚
作者: ssccg (23)   2022-12-15 12:43:00
Java放到C++會有問題的寫法一堆,要考慮這個還寫什麼JavaJava發明出來就是為了減化C++的這種問題,讓寫的人不用想什麼區域變數不區域變數,怎麼傳都安全,結果還自己假想會遇到危險,個人認為這很低能不同語言就有不同的style切換,沒辦法切換非要用一套習慣是個人問題吧
作者: HuangHedaz (Hedaz)   2022-12-15 13:37:00
C++的 copy & move constructor
作者: YukiTW (ゆうき)   2022-12-15 17:08:00
水很深
作者: superpandal   2022-12-15 18:25:00
並不是所有語言用慣用安全語法就更好寫... 例如shell一堆if else的爛腳本比比皆是 不同語言語法都不同 不同語言採取不同用法更好 你也不可能統一規範 因為一堆語言都有獨特點 寫java跑去寫python都會覺得很不適應先入為主
作者: Dracarys (MayShowGunMore)   2022-12-15 20:10:00
https://wg21.link/expr.prim.id.unqual#4.1看來是因為id-expression才有資格implicit move不然conditional operator在這不改變value categoryhttps://wg21.link/expr.cond#5
作者: pttano (pttano)   2022-12-15 22:55:00
c++的行為跟如何最佳化有關吧,拿這個跟Java比?
作者: Dracarys (MayShowGunMore)   2022-12-15 23:16:00
跟最佳化無關這個case就只是E1 ? E2 : E3沒被規定成move-eligible自己用std::move cast到xvalue就好。跟優化無關,clang & gcc ToT開O3都做不到[class.copy.elision]描述的copy/move elision
作者: HuangHedaz (Hedaz)   2022-12-16 15:34:00
@holydc 你那舉例不算是return local scope object而是 pass local scope object 到 split function 做處理
作者: superpandal   2022-12-16 19:24:00
所以我才拿shell當例子 寫shell這樣寫我基本不太相信有人受的了 比起習慣亂七八糟甚至屎山 你把他弄的更容易維護對你能如期甚至提前完成需求以及節省體力不是更好嗎 mp消耗完就要消耗hp了
作者: Jichang (C.C.Lemon)   2022-12-17 13:06:00
這種例子太多了 有的沒有分號結尾 有的不能用++ 有的要縮排有的不用 幹脆寫組語了很多語言沒繼承 沒closure 沒interface 沒有Coroutine 是不是都不要用比較好
作者: freef1y3 ( )   2022-12-17 22:34:00
長姿勢

Links booklink

Contact Us: admin [ a t ] ucptt.com