strlen的實現用不用加斷言（assert）？

1樓：黃亮anthony

換個角度來解釋這個問題，寫應用程式和寫庫，其實並不是一回事。很多庫用到了一些黑暗科技，比如位元組對齊，大部分應用程式不用考慮。反之也是一樣，很多應用程式需要考慮的問題，比如這種assert，在庫里其實不是問題（非空指標應由使用者檢查），或者不能使用（不能主動讓程式崩潰）。

2樓：dyntkj

首先，C語言是「追求速度」的語言，因此任何「沒有必要」的錯誤檢查都被去掉了，甚至有的編譯器都能把strlen直接轉化為一條組合語言指令。

其次，assert巨集只是為了幫助除錯，而標準庫都是經過測試的，即使用了assert，也會在發布前定義NDEBUG，assert就被「遮蔽」了。

最後，即使標準庫把assert加上去了，當你傳入NULL的時候，程式也會崩潰（被abort()），不加assert還是崩潰，那麼還有必要加上assert嗎？

3樓：魯哈花

strlen這種庫函式沒有檢查引數的必要，傳入了NULL進去，崩潰就可以了。記憶體是否可讀、可寫不是由這些函式(strcpy, strcat)內部判斷的，要判斷也要在外部判斷。內部只管處理即可。

4樓：陳碩

assert() 要起作用，要求你自己根據Debug版還是Release版來編譯 strlen() 的原始碼，但是 glibc 是編譯好了的，不受你的編譯選項控制（-DNDEBUG），因此不用加assert。因為加了也沒用。