jc_0481：Stateflow 中对浮点数使用硬相等性比较

规范来源

控制算法建模规范 - 使用 MATLAB®、Simulink® 和 Stateflow®

子 ID 建议

  • NA-MAAB - a

  • JMAAB - a

MATLAB 版本

全部

规则

子 ID a

这些相等性比较运算符不应用于浮点操作数：

  • ==

  • !=

  • ~=

  • <>

自定义参数

不适用

示例 - 正确

浮点操作数中没有使用相等性比较运算符。

示例 - 不正确

浮点操作数中使用了相等性比较运算符 ==。

理由

子 ID a：

  • 由于浮点数据类型的特性，包含误差，因此等价性比较运算的结果在预期为 true 时可能为 false。

验证

模型顾问检查：检查 Stateflow 图中浮点表达式的使用 (Simulink Check)

上次更改

R2024b

版本历史记录

在 R2020a 中推出