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

holydc 發表於 2022/12/15 上午1:55:32

看板Soft_Job標題Re: [討論] 寫三元判斷式code review被打槍作者

holydc

(のヮの)時間Dec 15 01:55:32 2022推噓12 推:15 噓:3 →:36

PTT推薦

從 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有很多套件都可以用來取代三元判斷式
: 所以用三元判斷式真的不好嗎？

--

※ PTT留言評論

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.69.15 (臺灣)

※ PTT 網址

推

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

→

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

→

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

→

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

推

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

→

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

推

hobnob12/15 08:57推這篇

推

leptoneta12/15 09:24厲害

→

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

→

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

→

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

推

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

→

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

→

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

推

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

試想你要寫一個 split string 的函數，應該直覺會宣告成這樣吧 std::vector<std::string> Split(const std::string& str); 那這個回傳的 vector 是不是必然是函數內的區域變數

→

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

推

hobnob12/15 09:59cathy 的魔掌已經伸來軟工版了…？

推

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

推

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

→

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

→

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

→

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

→

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

→

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

→

ssccg12/15 12:50個人問題吧

為了活用語言特性當然會有不同的 style 但是以本串的 conditional operator vs if-else 來說： 1. 並非語言特有 2. 不影響效能 3. 不影響可讀性純粹只是自己看得爽不爽的問題

推

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

推

YukiTW12/15 17:08水很深

→

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

→

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

→

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

→

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

→

superpandal12/15 18:31應先入為主

覺得不好寫其實就是不習慣曾經我也跟原 po 一樣，覺得一行能寫完的東西變成那麼多行，馬德爆幹醜所以我說不分語言都會傾向使用 if-else 是為了讓自己習慣寫多了就不覺得醜，才不會那麼排斥也可以說是洗腦自己 XD

推

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

→

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

→

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

→

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

噓

pttano12/15 22:55c++的行為跟如何最佳化有關吧，拿這個跟Java比？

噓

Dracarys12/15 23:16跟最佳化無關

推

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

→

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

→

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

→

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

感謝補充 (^人^

※ 編輯: holydc (61.228.73.53 臺灣), 12/16/2022 00:49:38

推

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

→

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

→

HuangHedaz12/16 15:34理

→

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

→

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

→

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

→

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

噓

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

→

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

→

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

→

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

推

freef1y312/17 22:34長姿勢

同系列文章

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

其他人也閱讀了

PTT 熱門相關