if条件中浮点数求值规则及pc-lint未告警原因咨询

涉及的代码片段如下：

static float32_t float_values[10u] = {0.0f};

if (float_values[FIXED_ARRAY_ENTRY])
{
   /* Do stuff */
}

1. if语句的实际求值逻辑 #

你的理解存在错误，这个判断过程不会把条件里的浮点值强制转换为int类型。
C语言标准对if控制表达式的求值规则非常明确：计算表达式的值后，直接判断该值是否不等于0——值为0则条件为假，非0则条件为真，整个过程没有转int的步骤：

• 元素值为0.0f时，条件为假，不进入分支
• 元素值为任何非0浮点数（不管是0.00001f、-0.2f还是100.0f）时，条件都为真，进入分支

你提到的“浮点值大于等于1.0f才会按预期运行”的结论是错的：如果真的发生float转int，0.9f转int后是0，条件应该为假，但实际运行时0.9f作为if条件会直接判定为真，写个极简测试demo就能验证这个行为。
你觉得这段代码有潜在问题是合理的：浮点数存在计算精度误差，如果这个数组元素是计算得到的结果，本来预期应该是0.0f，实际可能因为精度损失得到1e-15量级的极小非零值，这时候判断就会和预期不符，这也是浮点判断最常见的坑。

2. PC-Lint（遵循MISRA2004）未报错的原因 #

核心原因是MISRA-C:2004的规则本身没有覆盖这个场景：

• MISRA-C:2004确实禁止控制表达式中存在可能引发风险的隐式类型转换，但if语句中“将表达式值和0比较判定真假”是C标准定义的合法上下文，不属于规则约束的违规隐式转换范畴。
• MISRA-C:2004只明确禁止浮点数直接用==/!=和0做显式相等判断，没有要求浮点数不能直接作为if的控制表达式做隐式非零判断，所以按照2004规则集做检查的PC-Lint不会标记这个写法为错误。
• 补充说明：后续更新的MISRA-C:2012规则才明确要求if/while/for这类控制结构的条件必须是本质布尔类型，这种直接拿浮点数当条件的写法在2012规则下才会被判定违规。

内容的提问来源于stack exchange，提问作者tryanderror