SA0058：对枚举变量的操作

检测对枚举数据类型变量的操作允许赋值。

理由枚举不应作为普通整数值使用。也可以定义别名数据类型或使用子范围类型。

重要性：中型

例外情况：如果一个枚举用 pragma‎{attribute 'strict'}‎ 标记，那么编译器已经报告了这种操作。

如果通过 pragma‎{attribute 'flags'}‎ 将枚举声明为标志，则在进行‎AND‎,‎OR‎,‎NOT‎ 或‎XOR‎ 操作时不会出错。

示例

TYPE My_Enum :
(
	red := 1, blue := 2, green := 3, black := 4
);
END_TYPE

PROGRAM PLC_PRG
VAR
	iTemp1 : INT;
	abc : My_Enum;
END_VAR
iTemp1 := iTemp1 + INT#1;
abc := My_Enum.red;                      // OK
iTemp1 := My_Enum.black / My_Enum.blue;  //  SA0058
iTemp1 := My_Enum.green / My_Enum.red;   //  SA0058

--> SA0058: Operations on enumeration variables

使用 pragma {属性'flags'}的示例

{attribute 'flags'}  // declaring the enumeration as a "flag"
TYPE Flags :
(
	Unknown := 16#00000001,
	Stopped := 16#00000002,
	Running := 16#00000004
) DWORD;
END_TYPE

PROGRAM PLC_PRG
VAR
 iTemp1 : INT;
 abc : Flags;
	batate : BYTE;
	dwFlags : DWORD;
	dwState : DWORD;
END_VAR

// OK for the following
IF (dwFlags AND Flags.Unknown) <> DWORD#0 THEN
	dwState := dwState AND Flags.Unknown;
ELSIF (dwFlags OR Flags.Stopped) <>DWORD#0 THEN
	dwState := dwState OR Flags.Running;
END_IF

另见

⮫ “配置和运行静态分析”