mp_0047：非空语句必须满足的条件

自 R2024b 起

规范来源

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

子 ID 建议

  • NA-MAAB - a

  • JMAAB - a

MATLAB 版本

全部

规则

子 ID a

非空语句应满足下列条件之一：

  • 无论如何执行，都会产生至少一种副作用。

  • 具有改变控制流的能力。

示例 - 不正确
foo;
bar == 1;

理由

子 ID a：

  • 应编写非空语句来改变数据值或改变控制流，以某种方式影响执行结果。不符合这些标准的语句是没有必要的，可能无法反映设计者的意图。

验证

模型顾问检查：检查非空语句的使用 (Simulink Check)

上次更改

R2024b

版本历史记录

在 R2024b 中推出