TwinCAT3中实现动态长度数组及安全释放内存的方法

问题背景 #

现有TwinCAT3程序使用固定长度数组，代码如下：

VAR
   arrData : ARRAY[1..200] OF INT;
   length  : INT := 200;
END_VAR

其中length变量可通过VISU（GUI）在运行时修改，但固定数组会导致内存浪费。需要实现类似C++ vector的动态数组，支持运行时内存分配，并解决安全释放内存的问题。

核心实现方案 #

TwinCAT3提供__NEW和__DELETE系统函数用于动态内存管理，通过跟踪数组长度的变化，在长度修改时重新分配内存，并确保旧内存被正确释放。以下是优化后的可运行代码：

PROGRAM MAIN
VAR
   arrData : POINTER TO INT;
   length : INT := 200; // 运行时可通过VISU修改
   bNew : BOOL := TRUE;
   oldLength : INT;
   isInit : BOOL := FALSE;
   i : INT; // 用于数组初始化循环
END_VAR

// 初始化旧长度（仅执行一次）
IF NOT isInit THEN
   oldLength := length;
   isInit := TRUE;
END_IF

// 长度变更时释放旧内存
IF oldLength <> length THEN
   // 过滤非法长度，避免释放空指针
   IF arrData <> 0 AND length > 0 THEN
      __DELETE(arrData);
      arrData := 0; // 清空指针，防止野指针
      bNew := TRUE;
   END_IF
   oldLength := length;
END_IF

// 首次运行或长度变更后，分配新内存
IF bNew AND length > 0 THEN
   arrData := __NEW(INT, length);
   bNew := FALSE;
   // 可选：初始化新数组元素为默认值（如0）
   FOR i := 0 TO length-1 DO
      arrData[i] := 0;
   END_FOR
END_IF

// 程序退出时的内存释放逻辑
// 需在程序停止前触发，例如通过全局停止标志
// IF bProgramStopping AND arrData <> 0 THEN
//    __DELETE(arrData);
//    arrData := 0;
// END_IF

内存安全释放关键要点 #

• 避免野指针：释放内存后必须将指针置为0，防止后续误操作已释放的内存区域。
• 边界检查：分配内存前必须确保length为正整数，避免分配0长度或负数长度的内存导致系统异常。
• 主动释放退出内存：TwinCAT3不会自动回收__NEW分配的内存，必须在程序停止、背景块销毁或全局复位时主动调用__DELETE，避免内存泄漏。
• 防止重复释放：释放前必须检查指针是否为空（arrData <> 0），避免重复释放引发系统错误。
• 保证操作原子性：修改长度和内存分配/释放的逻辑需在单周期任务中执行，或添加互斥锁，避免多任务环境下的竞态条件。

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