作者smallyuyuyu ()
看板Programming
標題[討論] 如何處理 unchecked return value?
時間Sun Aug 4 13:38:35 2013
大家好
在這邊想討論一些 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
1F：→ adxis:如果編譯選項可以調整的話 拿掉 -DNDEBUG 220.132.12.57 08/04 16:10
2F：→ adxis:就能保留 assert 220.132.12.57 08/04 16:10
3F：→ smallyuyuyu:樓上你好 compiler flag是公司決定 220.135.68.205 08/05 00:12
4F：→ smallyuyuyu:小弟無法干涉...>< 220.135.68.205 08/05 00:12
5F：推 jackylu63:我也想了解111.251.229.141 08/05 00:43
6F：→ adxis:那就自己定義一個assert：輸出必要資訊後abo 220.132.12.57 08/05 02:00
7F：→ adxis:abort() 220.132.12.57 08/05 02:01
8F：→ AntaresStar:加void就好啦 (void)feek() 這樣 111.248.75.20 08/05 08:39
9F：→ adxis:這樣不會 abort 喔118.163.145.192 08/05 10:04
10F：→ AntaresStar:一開始就只是為了避coverity而已啊203.192.162.252 08/05 14:10
11F：→ Killercat:其實Coverity這個flag沒啥意義 建議拿掉 59.124.251.135 08/22 12:08
12F：→ Killercat:很多函數傳回來的值(比方說write()回傳 59.124.251.135 08/22 12:09
13F：→ Killercat:的是寫入的size)並沒有什麼理由特別去 59.124.251.135 08/22 12:10
14F：→ Killercat:處理，這flag常常顯得沒太大意義 59.124.251.135 08/22 12:10
15F：→ Killercat:至於有exception(當然 C++用這個有點爭 59.124.251.135 08/22 12:11
16F：→ Killercat:義就是）的話那這個就更沒意義了.... 59.124.251.135 08/22 12:11