TwinCAT ST中向Enum赋值无效UINT值的行为定义问询

针对将非枚举定义的UINT值（如40）赋值给TwinCAT枚举变量的问题，结合IEC 61131-3标准和TwinCAT的实现特性，明确以下行为：

1. 赋值操作的行为定义 #

• 标准层面：IEC 61131-3允许将枚举底层数据类型的有效值赋值给枚举变量，即使该值不在枚举的显式定义列表中。枚举类型本质是带命名常量的底层数据类型别名，这里E_DeviceState的底层是UINT，所以所有UINT范围内的值都可以被存储，不存在C++式的未定义行为。
• TwinCAT实现：赋值操作会直接将UINT值写入枚举变量的内存空间，和操作普通UINT变量的内存行为完全一致。你在BSD运行时观察到的“无效值写入内存”是符合规范的可预期行为，而非未定义情况。

2. 后续操作的可靠性 #

针对代码中后续的赋值和CASE分支判断：

• s_eModbusValueAssigned := s_eModbusValue：该赋值行为完全可靠，会完整复制枚举变量存储的UINT值，和普通UINT变量赋值无差异。
• CASE分支判断：当枚举变量的值不在显式定义的枚举项中时，会进入ELSE分支，这个行为是明确且符合IEC标准的。你在ELSE分支中触发告警的逻辑是完全可行的，可稳定捕获所有非定义的枚举值。

示例代码 #

枚举类型定义

{attribute 'qualified_only'}
{attribute 'to_string'}
TYPE E_DeviceState :
(
    READY := 0,
    BUSY := 10
) UINT;
END_TYPE

POU声明

s_nModbusValue          : UINT;
s_eModbusValue          : E_DeviceState;
s_eModbusValueAssigned  : E_DeviceState;

逻辑代码

// 此部分无问题
s_nModbusValue := 10;                       // 假设从Modbus寄存器读取并存储到该UINT
s_eModbusValue := s_nModbusValue;           // 行为明确

// 核心疑问：此操作的行为如何定义？
s_nModbusValue := 40;                       // 假设从Modbus寄存器读取并存储到该UINT
s_eModbusValue := s_nModbusValue;           // 行为明确：直接将40写入枚举变量内存

// 以下操作是否可靠，或行为未定义？
s_eModbusValueAssigned := s_eModbusValue;   // 可靠：完整复制存储的UINT值
CASE s_eModbusValueAssigned OF              // 行为明确：非定义值进入ELSE分支
    E_DeviceState.READY:
        ; // 执行操作
        
    E_DeviceState.BUSY:
        ; // 执行其他操作
        
ELSE
    ; // 触发告警，提示需维护PLC代码以处理新枚举选项

END_CASE

总结 #

• 该赋值操作安全且行为明确，不存在未定义行为；
• 枚举变量会完全保留底层UINT类型的所有有效值，可像普通UINT一样存储、复制；
• CASE分支的ELSE块可稳定捕获所有非显式定义的枚举值，相关逻辑可依赖。

内容的提问来源于stack exchange，提问作者Stefan