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
输出在 留言 看法:
SA0145:可能使用未初始化的参考“ref_iTest”