Skip to main content

SA0145:可能使用未初始化的引用

检测任何在使用前可能未初始化且操作员未检查的参考变量 __ISVALIDREF.该规则适用于 POU 的实现部分。对于声明,有规则 SA0124.

理由:访问前应检查引用的有效性,因为访问期间可能会发生访问冲突。

重要性:高

116. 例子
PROGRAM PLC_PRG
VAR_INPUT
    ref_iTest : REFERENCE TO INT;
END_VAR
ref_iTest := 99;                        // SA0145
IF __ISVALIDREF(ref_iTest) THEN
    ref_iTest := 88;
END_IF

输出在 留言 看法:

  • sa_icon_message.png SA0145:可能使用未初始化的参考“ref_iTest”