TwinCAT3中函数块VAR_INPUT赋值后值回传至调用者的异常行为问询

• 行为成因：IEC 61131-3 标准定义 VAR_INPUT 为传值调用，函数块内修改不应影响外部变量，但 TwinCAT3 为提升运行效率，对基本数据类型的 VAR_INPUT 默认采用传引用优化，实际行为和 VAR_IN_OUT 一致，修改后的值会回传给调用者。
• 无警告的原因：Beckhoff 编译器未将此类赋值判定为错误或警告场景，这是 TwinCAT3 既定的性能优化策略，属于官方默认实现逻辑。
• 解决方案：
  • 若要严格遵循传值逻辑，避免外部变量被意外修改，可在函数块内先将 VAR_INPUT 的值复制到内部 VAR 变量中，再对内部变量操作。
  • 若确实需要双向传递数据，建议显式使用 VAR_IN_OUT，明确代码意图，降低维护成本。

测试覆盖版本：TwinCAT3 4024.22、4024.47，行为完全一致。

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