※ 本文轉寄自 ptt.cc, 文章原始頁面
看板C_and_CPP
標題

[問題] 在流程中插入檢查或不檢查 程式怎麼寫

最新2023-12-02 13:43:00
留言62則留言,8人參與討論
推噓8 ( 8054 )
有遇到一個程式流程中 某些步驟可能要檢查或不檢查的問題 想請問該 怎麼寫比較好. 語言是使用C++ 首先我有一個computing class, 裡面有個member function, 專門負責做計算的動作 而裡面有七個步驟: class Engine::compute(...arguments...) 1. compute1 2. compute2 3. if checking fails this return pre-condition is not satisfied 4. compute3 5. foreach cofig in allowed_user_configurations 6 if checking succeed then store this configuration 7. return allowed_configuration 步驟3)跟步驟6)的檢查是由一個complianceChecker的class來做的: bool compliance.check(....arguments....) 現在呢 為了一些原因 提供了一個選項 可以讓步驟3.)跟步驟6.)的檢查不做-也就是 永遠檢查成功, 請問要怎麼在不動到主流程的狀況下, 來達成這件事情呢? 因為這邊是簡化版本 但其實檢查的地方大概十多處.... 全部都加if-else好像不是太好 如果考慮到未來在其他部分需要加檢查 或是未來 流程異動 這樣if-else很容易漏掉 或是忘記要加if-else 目前我的想法是 加一個wrapper class在compliance checker上 ctor吃一個要不要 做檢查的boolean, 然後有一個perfect forwarding的 member function取代掉 原本的 compliance checker的check function(轉call): class wrapper { public: wrapper(bool doCheckIn): doCheck(doCheckIn) {} template <typename ... Args> bool check(Args&& ... args){ return !doCheck || checker.check(std::forward<Args>(args) ... ); } private: compliance checker bool doCheck; } 然後在第一行之前生成這個wrapper, 用這個wrapper取代掉步驟3.)跟步驟6.)的 compliance class: class Engine::compute(...arguments...) ==> 0. wrapper newChecker(doCheckOrNot); 1. compute1 2. compute2 => 3. if (!newChecker.check(...)) return the pre-condition is not satisfied ...................... 5. foreach cofig in allowed_user_configurations ==> 6. if (newChecker.check(....)) then store this configuration 7. return allowed_configuration 目前這個做法有一些好處: 1. 不動到compliance checker, 而且也不用怕compliance checker的interfance of check function會改變(用template+perfect forwarding處理掉了) 2. 整個流程不變 邏輯上也很分明 就是有檢查跟永遠成功這兩種 但是有些不順的地方: 1.這個wrapper class定位很尷尬, 不知道要當作一個放出來給大家用的class 或是該 跟誰綁在一起 綁在一起是指邏輯關係上.......現在wrapper class九成像syntax sugar 我直接放在CPP file的 anonymous的namespace裡 XDDDDD 未來 若別的地方遇到同一種狀況 是不是又要寫一次? 要不然就要把這個有template的 wrapper class放在header, 但這樣會引進compliance class的dependency..... 2. 要改寫成virtual function的形式嗎? 這樣可繼承之類的 但因為有用到template所以 沒法用virtual function, 而且只有兩種狀況 用virtual是否有效益呢? 3. wrapper class生成後 就決定他的行為了(由ctor的參數決定) 要動態變化就得再多 一組setter/getter. 想要動態變化的理由是 這樣wrapper可當作一個member variable.. 不知道要當作local variable還是member variable比較好...... 其實覺得這種狀況應該是一個非常標準且常見的狀況(二選一) 只是不曉得一般是怎麼 處理的 覺得應該是繼承+virtual function處理居多吧? 但個人比較傾向少用繼承 先嘗試template + 組合的方式, 或是virtual function是做在別的地方的方式 P.S. compliance checker是我們動不了的一個class....... 在此 想請各位給一些想法跟建議~~~謝謝~~~ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 1.164.105.187 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1698596742.A.6F2.html

62 則留言

※ 編輯: saladim (1.164.105.187 臺灣), 10/30/2023 00:26:06
※ 編輯: saladim (1.164.105.187 臺灣), 10/30/2023 00:29:29

CoNsTaR, 1F
你這個這麼 procedure 的東西,如果是 business logic 就

CoNsTaR, 2F
照著 business logic 的架構寫,例如如果 business logic

CoNsTaR, 3F
在這邊就是每次都先確認是否做檢查,那你就照著它架構寫

CoNsTaR, 4F
,每個檢查外面都包上 if else,不要做一些自以為聰明的"

CoNsTaR, 5F
設計"

CoNsTaR, 6F
如果 business logic 在這邊有做抽象,例如要檢查和不檢

CoNsTaR, 7F
查被分成兩種不同的流程,在不同情況下使用,兩種流程有

CoNsTaR, 8F
各自的名字,那就把兩種流程分成兩個函式,不要自以為寫

CoNsTaR, 9F
成一個函式 reusing 很聰明

CoNsTaR, 10F
如果這不是 business logic 而是你為了達成 business log

CoNsTaR, 11F
ic 而寫出來的演算法,那我只能說真的慘

saladim, 12F
意思是說直接if-else嗎? 比起繼承我還比較可以接受 繼承

saladim, 13F
太難model了 對了 這邊是簡化過的程式 實際上複雜許多 很

saladim, 14F
多地方要考慮加 基本上是一個template+strategy pattern

saladim, 15F
的組合 設定/caller無關的都拿掉了 不是單單一堆function

saladim, 16F
call..另外我的一個疑問就是 通常有個二選一的選項 但是

saladim, 17F
要嘛做個抽象有點多餘(因為永遠不會有更多選項) 要嘛 無

saladim, 18F
法用現有體系去model這個抽象 或是它本身就是一個獨立的

saladim, 19F
不知道一般是怎麼處理 這個case, 因為流程固定了所以兩個

saladim, 20F
是不行的......以上....大概補充說明一下.....

CoNsTaR, 21F
你比較可以接受繼承的具體原因我沒看到?

CoNsTaR, 22F
如果你對 if else 的 concern 只是像你內文說的"怕以後

CoNsTaR, 23F
忘記加",那你可能要再想想,我不太能理解忘記做該做的工

CoNsTaR, 24F
作是個什麼概念

CoNsTaR, 25F
1. 你用 if else 不會影響未來制定 business logic 的人

CoNsTaR, 26F
考慮到檢查/不檢查兩種情況

CoNsTaR, 27F
2. 也不會影響未來寫 jira ticket 的時候的 description

CoNsTaR, 28F
和 acceptance criteria 忘記這兩種情況

CoNsTaR, 29F
3. 也不會影響原本該做的 code review 變成沒做

CoNsTaR, 30F
4. 也不會影響 unit tests 忘記測

CoNsTaR, 31F
5. 也不會影響 testers 的 test plan 忘記加這個測項

CoNsTaR, 32F
完全看不出來怎麼會影響任何一個人忘記考慮檢查/不檢查

CoNsTaR, 33F
兩種情況

CoNsTaR, 34F
看你的內文和回覆感覺最大的問題是你在用寫通用函式庫的

CoNsTaR, 35F
思維寫 user code,這樣寫出來的東西不覺得就像是用營造

CoNsTaR, 36F
業 sop 蓋的疊疊樂一樣嗎

wulouise, 37F
不懂你說的忘記加是什麼情況,多了cpmpute忘記補檢查?

wulouise, 38F
general就是所有compute都有check,只是chk可以noop

wulouise, 39F
或所有compute跟check都當做callback執行,繼承沒有必要

bizer, 51F
最個macro取代不就好了?搞這麼複雜?

LPH66, 52F
我會認為這個「選項」應該要是 business logic 的一部份

LPH66, 53F
是的話其實也沒什麼「忘了」的問題, 因為那就是沒實作完全

LPH66, 54F
如果未來要加其他開關的話應該要以等同改變 business logic

LPH66, 55F
的型式去處理, 而不只是加一個開關調整這種事

LPH66, 56F
講更簡單一點就是, 加開關應該要以等同於改流程的程度對待

LPH66, 57F
(實際上真的在改流程, 新增某條件之下某流程可跳過的邏輯)

LPH66, 58F
未來不管是加別的開關或是流程調整都要順過整個流程才實作

LPH66, 59F
這樣這些開關是流程的一部份, 就不會有什麼「忘記」的問題

a731977, 60F
DP, chain of responsibility 參考看看,對於流程控管非

a731977, 61F
常好用

AiriMania, 62F
樓下板橋知名ID Elio2021

saladim 作者的近期文章

Re: [討論] 普羅米修斯/聖約 中的大衛 一個疑問
※ 引述《MeiHS (簽名檔詳見 其他版晃到,)》之銘言: : 就是電影《異形》系列的兩部前傳電影 : 其中仿生人-大衛跟後繼機種 : 很搶鋒頭 : 甚至 (防雷頁) : 有說法戲稱,異形前傳就是&quot;大衛傳&quot;或是&quo
Re: [標的] 2498宏達電爬上跟墜落神壇的主因?
※ 引述《asewgek (asew)》之銘言: 分享一些想法------- 當年HTC正猛的時候 某年甚至還有贊助環法賽車隊 車隊某一站的當站冠軍衝 線時還指著胸前HTC做出打電話的動作 這個比起火腿腸真的好太多了......------
Re: [新聞] 快訊/國三生遭割喉命危 少年、乾妹改
※ 引述《kerkerson (高處不勝寒)》之銘言: : 剛剛看有報導說 : 乾割剛從少年觀護所出來 : 說明這個東西根本沒效果 : 割脖子又刺心臟 : 這麼危險的動作他自己不知道才有鬼 : 我們以前打架都馬尻頭尻鼻 : 哪有人那麼狠的
Re: [討論] 王維中為什麼退化這麼快
※ 引述《andycat5566 (帥到分手ovak Djokovic s)》之銘言: 先問一下 記得有次他有秀一張手腕受傷紅一圈的照片(有一點點像皮蛇) 現在有人知道成因了嗎? 太謎了 另外就是當時王回來時一堆人說依他在韓國的表現體力條怎
[問卦] 幹勒 幾瓦雷射筆才能擊殺蟑螂
剛剛又遇到遠古生物蟑螂 上次用殺蟲劑對陣差點把自己薰死 想用拖鞋打又怕遠古生物啟動最終BOSS型態: 飛行 看來只有遠程物理打擊才能安全的擊殺蟑螂 雷射筆是個順手的工具 但是要幾瓦才能瞬間擊殺呢? 不用一擊打穿阿 只要能一擊讓遠古生物 受傷
更多 saladim 作者的文章...