SA0046: 可能使用未初始化的接口
检测使用前未初始化的接口的使用情况
理由:接口引用在使用之前应该检查<> 0。否则访问过程中可能会出现访问冲突。
重要性:高
例 115. 例子
//Declaration of INTERFACE ITF and assigned METH2:
METHOD METH2 : BOOL
VAR_INPUT
iInput2:INT;
END_VAR//Declaration of INTERFACE Master_ITF1 and assigned METH:
METHOD METH : BOOL
VAR_INPUT
iInput:INT;
END_VARPROGRAM PLC_PRG
VAR
instPOU : POU;
instITF : ITF;
instMasterITF1 : Master_ITF1;
instMasterITF2 : Master_ITF2;
iDummy : INT;
xDummy : BOOL;
instNoInitITF : ITF;
instNoInitITF2 : ITF;
instNoInitMasterITF1 : Master_ITF1;
instNoInitMasterITF2 : Master_ITF2;
END_VARinstITF := instPOU;
xDummy := instITF.METH(iInput := iDummy); // OK
instMasterITF1 := instPOU;
xDummy := instMasterITF1.METH(iInput := iDummy); // OK
xDummy := instNoInitITF.METH(iInput := INT#1); // SA0046
xDummy := instNoInitITF.METH2(iInput2 := INT#2); // SA0046
xDummy := instNoInitMasterITF1.METH(iInput := INT#3); // SA0046
iDummy := instNoInitMasterITF2.Prop; // SA0046
IF instNoInitITF <> 0 THEN
instNoInitITF.Prop; // OK, because the interface can't be 0
END_IF输出在 留言 看法:
SA0046:可能使用未初始化的接口“instNoInitITF”
SA0046:可能使用未初始化的接口“instNoInitITF”
SA0046:可能使用未初始化的接口“instNoInitMasterITF1”
SA0046:可能使用未初始化的接口“instNoInitMasterITF2”