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_VAR
PROGRAM 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_VAR
instITF := 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”