看板 Programming 關於我們 聯絡資訊
大家好 在這邊想討論一些 coding style 原PO目前負責的程式碼,散佈一些沒有確認回傳值的函式呼叫 e.g. fseek(ooxx) ---------------------------------------- 聽到的說法是: 因為總是可以保證 fseek 回傳 0 所以這邊沒有做錯誤處理 或許也不需要做錯誤處理,因為一旦發生 return != 0 讓程式正常掛掉即可 ----------------------------------------- 近日公司採用 Coverity 去做 static code checking 這類型的函式呼叫被回報為 unchecked return value,必須處理 我的想法是 既然總是保證return = 0 那就使用 assertion 做確認 int seekSuccess = fseek(ooxx); assert(seekSuccess == 0); ---------------------------------------- 這時,另一個問題就發生了 公司 Build 時使用 compiler 最佳化 -O2 assert 全部被編譯器skip 此時編譯器回報 seekSuccess <- unused variable 編譯失敗 ----------------------------------------- 請問這類型的問題有比較好的寫法嗎? 先謝謝各位大大 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.135.68.205
adxis:如果編譯選項可以調整的話 拿掉 -DNDEBUG 220.132.12.57 08/04 16:10
adxis:就能保留 assert 220.132.12.57 08/04 16:10
smallyuyuyu:樓上你好 compiler flag是公司決定 220.135.68.205 08/05 00:12
smallyuyuyu:小弟無法干涉...>< 220.135.68.205 08/05 00:12
jackylu63:我也想了解111.251.229.141 08/05 00:43
adxis:那就自己定義一個assert:輸出必要資訊後abo 220.132.12.57 08/05 02:00
adxis:abort() 220.132.12.57 08/05 02:01
AntaresStar:加void就好啦 (void)feek() 這樣 111.248.75.20 08/05 08:39
adxis:這樣不會 abort 喔118.163.145.192 08/05 10:04
AntaresStar:一開始就只是為了避coverity而已啊203.192.162.252 08/05 14:10
Killercat:其實Coverity這個flag沒啥意義 建議拿掉 59.124.251.135 08/22 12:08
Killercat:很多函數傳回來的值(比方說write()回傳 59.124.251.135 08/22 12:09
Killercat:的是寫入的size)並沒有什麼理由特別去 59.124.251.135 08/22 12:10
Killercat:處理,這flag常常顯得沒太大意義 59.124.251.135 08/22 12:10
Killercat:至於有exception(當然 C++用這個有點爭 59.124.251.135 08/22 12:11
Killercat:義就是)的話那這個就更沒意義了.... 59.124.251.135 08/22 12:11