c - Xcode C 代码， "division by zero"分析器问题

Question

我有一个 C 文件，在一个函数中包含以下代码片段:

assert( pCache->nHash>0 && pCache->apHash );
...
if( pPage ){
    unsigned int h = iKey % pCache->nHash; 
...

当我运行 Analyze 时，Xcode 在包含模运算的最后一行抛出逻辑错误 - 除以零。

如果我像这样向 if 添加额外的检查，错误就会消失:

if( pPage && pCache->nHash>0 ){

包含 pCache->nHash>0 的断言不应该避免被零除吗？

Answer 1

断言最常用于开发期间。当您构建最终版本时，您会禁用断言。

话虽如此，断言用于捕获应由开发人员更正/检查的逻辑错误。它们不用作程序逻辑的实际验证。

这解释了为什么您仍然必须添加一个 if 语句来检查您的变量是否大于 0。您的分析器分析您的代码并且很可能会忽略断言，因为您应该在最终构建期间删除它们。