1. 从“值”到“址”为什么我们需要引用Reference在Codesys的世界里尤其是当你从传统的PLC编程比如梯形图、STL或者一些基础的高级语言如只接触过基本数据类型的ST转过来时最容易形成的一个思维定式就是变量就是一块内存里面直接存放着数据。给变量赋值就是把数据拷贝到这块内存里。这种“直接持有数据本身”的类型我们称之为值类型。INT、BOOL、REAL、ARRAY、STRUCT这些都是典型的值类型。这种模式在大多数简单场景下工作得很好直到你遇到以下几个挠头的时刻场景一处理大型数据结构。你定义了一个包含1000个REAL的数组aBigArray: ARRAY[1..1000] OF REAL;或者一个嵌套了好几层的复杂结构体。现在你需要把这个大家伙传递给一个功能块FB进行处理。如果按值传递会发生什么系统会在内存中完整地复制一份这个大家伙的所有数据然后将副本传给功能块。这瞬间消耗了双倍的内存并且复制1000个REAL也需要时间。如果这个操作在快速循环中被频繁调用对性能和内存的冲击是显而易见的。场景二需要在多个地方操作同一个对象。想象一个“设备管理器”功能块它管理着一条产线上所有电机驱动器的状态。你希望HMI界面、报警处理逻辑、以及一个高级运动控制算法都能读取并可能修改某个特定驱动器的状态比如当前速度、故障代码。如果每个模块都持有驱动器状态结构体的一个副本那么修改将无法同步——HMI改了速度运动控制算法并不知道数据一致性就崩了。场景三构建动态、灵活的数据关系。你想实现一个配方管理系统不同的配方指向不同的参数集或者实现一个树形结构如组织架构图其中一个节点需要知道它的父节点和子节点是谁。用值类型来硬编码这些关系几乎是不可能的因为关系是运行时才确定的。这时引用Reference就该登场了。它的核心思想非常简单却极其强大引用变量不直接存储数据而是存储一个指向数据所在内存位置的“地址”或“指针”。你可以把它想象成一张“藏宝图”。藏宝图本身引用变量很轻便上面只写着“数据宝藏的实际埋藏地点”。无论宝藏实际数据有多大、多复杂你只需要传递这张轻便的藏宝图即可。所有拿到同一张藏宝图的人找到的都是同一份宝藏。在Codesys中引用是一种扩展数据类型这意味着它提供了比基础类型更复杂、更强大的数据抽象能力。理解并熟练运用引用是能否写出高效、优雅、可维护的Codesys程序的关键分水岭。它直接关系到你程序的内存效率、执行性能和架构设计的灵活性。2. 引用REFERENCE的声明、赋值与核心操作理解了引用的“藏宝图”本质我们来看看在Codesys的ST语言里这张图具体怎么画、怎么用。2.1 声明引用变量指明藏宝图的寻宝目标类型声明一个引用变量你需要使用REF_TO关键字并指定它将要指向的数据类型。这就像在藏宝图上预先注明“此图用于寻找金币”或“此图用于寻找古籍”。VAR // 声明一个指向整数的引用 refToInt: REF_TO INT; // 声明一个指向某个结构体的引用 refToMotorData: REF_TO ST_MotorData; // 假设 ST_MotorData 是一个结构体类型 // 声明一个指向数组的引用 refToBigArray: REF_TO ARRAY[1..1000] OF REAL; // 甚至可以声明指向引用本身的引用二级引用但通常不常用 refToRef: REF_TO REF_TO INT; END_VAR这里的关键是refToInt这个变量在声明并初始化之前它里面并没有存储一个有效的整数也没有存储一个随机的地址。它更接近于一个“空指针”或“未指向任何地方的藏宝图”。2.2 获取引用REF与ADR操作符要让引用变量真正指向一份数据即获得藏宝图你需要进行赋值。Codesys提供了两种主要方式1. 引用赋值操作符REF这是最常用、最安全的方式。它直接将一个引用赋值给另一个引用让它们指向同一个目标。VAR refA, refB: REF_TO INT; nValue: INT : 100; END_VAR // 让 refA 指向变量 nValue refA REF nValue; // 注意是 REF 不是普通的 : // 让 refB 指向和 refA 同一个目标 refB REF refA; // 现在 refA 和 refB 都指向 nValueREF操作会在运行时检查类型兼容性虽然都是REF_TO INT但指向的目标类型必须匹配或可转换安全性更高。2. 获取地址操作符ADRADR可以获取任何变量的绝对内存地址。你可以将这个地址赋值给一个引用变量但这通常被视为更底层、更危险的操作因为它绕过了类型系统的一些安全检查。VAR refRaw: REF_TO INT; nValue: INT : 200; END_VAR // 通过 ADR 获取 nValue 的地址并赋值给引用 refRaw : ADR(nValue);注意直接使用ADR需要你非常清楚自己在做什么。特别是当变量位于不同的内存区域如VAR_GLOBAL和VAR临时变量或涉及优化时其地址的长期有效性需要谨慎评估。对于日常应用优先使用REF。2.3 解引用通过藏宝图找到宝藏^操作符拿到了藏宝图引用我们最终目的是要读写宝藏数据。这个“按图索骥”的过程叫做解引用使用^操作符。VAR refToInt: REF_TO INT; nSource: INT : 42; nTarget: INT; END_VAR // 1. 获取引用 refToInt REF nSource; // 2. 通过引用读取数据 nTarget : refToInt^; // nTarget 现在等于 42 // 3. 通过引用写入数据 refToInt^ : 100; // 现在 nSource 的值也变成了 100因为 refToInt^ 操作的就是 nSource 本身。refToInt^这个表达式就代表了refToInt所指向的那个INT变量。你可以像使用普通INT变量一样对它进行赋值、参与运算。一个关键陷阱空引用解引用如果引用变量还没有被赋予一个有效的目标即它为“空”尝试解引用会导致运行时错误RTE控制器可能进入停止状态。VAR badRef: REF_TO INT; nResult: INT; END_VAR // 错误badRef 未初始化指向未知地址 nResult : badRef^; // 可能引发 RTE安全的做法是在解引用前进行检查。虽然Codesys的引用不像某些语言的指针有明确的NULL值但你可以通过检查它是否指向一个已知的有效变量或者使用__ISVALIDREF函数如果支持来判断。更常见的模式是确保引用在程序的逻辑流中总是被正确初始化。2.4 引用的类型安全与REF的优势REF不仅仅是语法糖它提供了重要的类型安全检查。考虑以下情况TYPE ST_Point: STRUCT x: REAL; y: REAL; END_STRUCT END_TYPE TYPE ST_3DPoint EXTENDS ST_Point: STRUCT z: REAL; END_STRUCT END_TYPE VAR refPoint: REF_TO ST_Point; point2D: ST_Point; point3D: ST_3DPoint; END_VAR // 这是允许的因为 ST_3DPoint 继承自 ST_Point可以安全地向上转型 refPoint REF point3D; // 但如果通过 refPoint 来操作你只能访问 x 和 y 成员不能访问 z。 // 这是面向对象中“里氏替换原则”的体现保证了安全性。如果使用原始的地址赋值refPoint : ADR(point3D);编译器可能不会进行严格的继承关系检查如果类型不匹配就会在后续解引用时导致内存解释错误这是一种更隐蔽的危险。因此在绝大多数情况下坚持使用REF是更佳实践。3. 引用在工程实践中的典型应用场景理论说再多不如看实战。引用在Codesys项目中几乎无处不在下面我们剖析几个核心应用场景看看它如何解决实际问题。3.1 场景一高效传递大型参数避免数据复制这是引用最直接的价值。假设我们有一个负责处理大型数组的过滤功能块FB_ArrayFilter。不使用引用值传递的“笨”方法FUNCTION_BLOCK FB_ArrayFilter VAR_INPUT inputArray: ARRAY[1..1000] OF REAL; // 输入时发生1000个REAL的复制 END_VAR VAR_OUTPUT outputArray: ARRAY[1..1000] OF REAL; // 输出时再次发生1000个REAL的复制 END_VAR // ... 处理逻辑操作的是 inputArray 的本地副本每次调用这个FB都会产生2000个REAL的复制开销对于高性能控制循环是不可接受的。使用引用传递地址的“聪明”方法FUNCTION_BLOCK FB_ArrayFilter VAR_INPUT // 改为传递数组的引用只复制一个地址通常是一个DWORD的大小 pInputArray: REF_TO ARRAY[1..1000] OF REAL; pOutputArray: REF_TO ARRAY[1..1000] OF REAL; END_VAR VAR i: DINT; END_VAR // 在内部通过解引用直接操作原始数组 FOR i : 1 TO 1000 DO // 直接读取源数组处理后直接写入目标数组 pOutputArray^[i] : pInputArray^[i] * 0.5; // 示例处理 END_FOR调用方的代码VAR fbFilter: FB_ArrayFilter; rawData, filteredData: ARRAY[1..1000] OF REAL; END_VAR fbFilter(pInputArray REF rawData, pOutputArray REF filteredData);在这个调用中传递给fbFilter的只是两个地址没有任何数组数据的复制。FB内部直接对rawData和filteredData进行操作效率极高。实操心得对于所有非标量即大小超过基本类型如INT、BOOL的输入/输出参数尤其是数组和大型结构体都应优先考虑使用REF_TO作为FB或函数的接口。这能显著提升性能尤其是在循环调用或中断任务中。3.2 场景二实现多模块共享与修改同一数据实例这常用于设备数据模型、全局状态管理或配置管理。例如一个代表伺服驱动的数据结构。TYPE ST_DriveStatus: STRUCT bEnabled: BOOL; nActualVelocity: LREAL; nCommandVelocity: LREAL; eFaultCode: E_FaultCodes; END_STRUCT END_TYPE VAR_GLOBAL // 全局唯一的驱动器状态实例 g_stDrive1: ST_DriveStatus; END_VAR现在运动控制模块、HMI接口模块、报警处理模块都需要访问和修改g_stDrive1。传统且糟糕的做法每个模块都复制一份ST_DriveStatus的局部变量通过复杂的同步逻辑来保证一致性。这极易出错。使用引用的优雅做法每个模块只持有对该全局实例的一个引用。// 在运动控制FB中 VAR refDrive: REF_TO ST_DriveStatus; END_VAR refDrive REF g_stDrive1; refDrive^.nCommandVelocity : 100.0; // 直接设置命令速度 // 在HMI接口FB中 VAR refDriveForHMI: REF_TO ST_DriveStatus; END_VAR refDriveForHMI REF g_stDrive1; hmiDisplayValue : refDriveForHMI^.nActualVelocity; // 直接读取实际速度 // 在报警FB中 VAR refDriveForAlarm: REF_TO ST_DriveStatus; END_VAR refDriveForAlarm REF g_stDrive1; IF refDriveForAlarm^.eFaultCode E_FaultCodes.None THEN // 触发报警 END_IF所有模块通过引用操作的都是内存中唯一真实的g_stDrive1。任何模块的修改其他模块都能立即“看到”数据天然一致。这为构建松耦合、高内聚的模块化系统奠定了基础。3.3 场景三构建动态数据结构如链表、树这是引用真正发挥威力的高级领域。PLC传统上被认为是静态的但通过引用我们可以实现运行时才确定关系的动态结构。以最简单的单向链表节点为例TYPE ST_ListNode: STRUCT nData: INT; // 节点存储的数据 pNext: REF_TO ST_ListNode; // 指向下一个节点的引用 END_STRUCT END_TYPE VAR stHead: ST_ListNode; // 链表头节点 stNode2, stNode3: ST_ListNode; // 其他节点 pCurrent: REF_TO ST_ListNode; // 用于遍历的引用 END_VAR // 1. 初始化节点数据 stHead.nData : 10; stNode2.nData : 20; stNode3.nData : 30; // 2. 构建链表关系Head - Node2 - Node3 - (空) stHead.pNext REF stNode2; stNode2.pNext REF stNode3; // stNode3.pNext 保持未初始化状态表示链表末尾 // 3. 遍历链表 pCurrent REF stHead; // 从头部开始 WHILE __ISVALIDREF(pCurrent) DO // 假设有检查有效性的函数 // 处理当前节点数据例如发送到HMI // ... // 移动到下一个节点 pCurrent REF pCurrent^.pNext; END_WHILE通过pNext这个引用成员我们可以在程序运行时动态地将多个ST_ListNode实例“串”起来形成一个链表。你可以动态地插入、删除节点只需修改相关节点的pNext引用即可无需移动大量数据。注意事项在PLC中实现动态数据结构需要格外小心内存管理和生命周期。PLC的变量通常有固定的内存布局动态“new/delete”并不像在C或C#中那样自由。通常你需要预先分配一个固定大小的节点池如一个ARRAY OF ST_ListNode然后通过引用在这个池中建立逻辑关系。这避免了运行时内存分配的不确定性符合PLC系统确定性的要求。3.4 场景四实现回调Callbacks或插件式架构虽然Codesys不是事件驱动语言但通过引用我们可以模拟类似“回调函数”或“策略模式”的机制。例如一个通用的数据记录器FB它可以记录数据到不同的目标文件、网络、数据库。// 定义一个“记录行为”的函数指针接口 TYPE FT_LogWriter: FUNCTION (pvData: POINTER TO BYTE; nSize: UDINT) : BOOL; // 注意这里用了POINTER TO BYTE来表示任意数据的起始地址比REF_TO更底层通用。 FUNCTION_BLOCK FB_DataLogger VAR_INPUT // 通过引用传入具体的记录函数 pfnWriter: REF_TO FT_LogWriter; pData: POINTER TO BYTE; nDataSize: UDINT; END_VAR IF __ISVALIDREF(pfnWriter) THEN bSuccess : pfnWriter^(pvData : pData, nSize : nDataSize); END_IF END_FUNCTION_BLOCK // 具体实现1记录到文件 FUNCTION F_LogToFile: BOOL VAR_INPUT pvData: POINTER TO BYTE; nSize: UDINT; END_VAR // ... 文件写入逻辑 END_FUNCTION // 具体实现2记录到网络 FUNCTION F_LogToNetwork: BOOL VAR_INPUT pvData: POINTER TO BYTE; nSize: UDINT; END_VAR // ... 网络发送逻辑 END_FUNCTION // 主程序中使用 VAR fbLogger: FB_DataLogger; myData: ARRAY[0..99] OF BYTE; refWriter: REF_TO FT_LogWriter; END_VAR // 根据需要动态切换记录方式 IF bCondition THEN refWriter REF F_LogToFile; ELSE refWriter REF F_LogToNetwork; END_IF fbLogger(pfnWriter : refWriter, pData : ADR(myData), nDataSize : SIZEOF(myData));通过将函数引用pfnWriter作为参数FB_DataLogger的功能就与具体的记录实现解耦了。你可以轻松扩展新的记录方式如记录到数据库而无需修改记录器FB本身。这是一种强大的架构设计模式。4. 引用 vs. 指针在Codesys中的微妙差异与陷阱规避很多有C/C背景的工程师看到REF_TO会立刻联想到指针Pointer。它们确实非常相似都是存储地址但在Codesys/IEC 61131-3的语境下引用是更安全、抽象级别更高的指针。理解它们的区别能帮你避开很多坑。4.1 类型安全引用是“强类型”的藏宝图这是最核心的区别。REF_TO INT明确声明“我只指向INT类型的数据”。编译器会在你使用REF赋值时进行严格的类型检查考虑继承关系。这防止了你误将一个指向结构体的地址当作指向整数的地址来使用。而指针在Codesys中通常用POINTER TO表示则更接近C语言中的void*类型信息较弱。VAR pGeneric: POINTER TO BYTE; // 指向字节的指针可视为原始内存地址 nValue: INT : 16#1234; pAsInt: POINTER TO INT; END_VAR pGeneric : ADR(nValue); // 合法任何地址都可视为字节序列的起始地址 pAsInt : ADR(nValue); // 合法类型匹配 // 通过指针访问 // 使用 POINTER 访问指向的数据需要用 ^ 符号但类型转换更灵活也危险 pAsInt^ : 100; // 正确 // 但也可以进行危险的转换 pGeneric : ADR(nValue); // 如果想通过 pGeneric 以 INT 方式解读该内存需要类型转换 // 在ST中这通常通过联合体(UNION)或直接内存操作函数实现而非直接解引用。指针给了你直接操作内存的巨大自由但也把确保类型正确的责任完全交给了程序员。一个错误的指针类型转换可能导致数据被错误解释进而引发不可预知的运行时行为。建议除非你正在进行非常底层的操作如自定义通信协议解析、直接内存映射IO否则应优先使用REF_TO。让编译器帮你做类型安全检查。4.2 空引用与野指针初始化的重要性在C/C中未初始化的指针是“野指针”指向随机内存解引用会导致崩溃。Codesys中的引用在某种程度上也是如此。然而Codesys的运行环境通常会对全局变量和局部变量进行默认初始化清零。这意味着一个声明了但未显式赋值的REF_TO变量其内部存储的地址可能是0空地址。在大多数PLC运行时系统中对地址0的解引用会被捕获并引发一个可配置的运行时错误RTE这比C语言中访问随机内存导致“静默崩溃”或数据损坏要安全得多。但这并不意味着你可以忽略初始化。良好的编程习惯是在声明引用变量后尽快通过REF使其指向一个明确的有效变量。在复杂的逻辑中如果引用可能在某些分支下没有有效目标那么在解引用前应进行有效性判断。虽然标准IEC 61131-3没有内置的IS_NULL_REF函数但你可以通过将其与一个已知的、绝不会使用的无效引用比如一个指向特定废弃变量的引用进行比较或者依赖某些运行时提供的扩展功能来检查。4.3 生命周期管理谁“拥有”数据这是一个比语法更重要的设计问题。当多个引用指向同一个数据时你需要明确数据的生命周期由谁管理。黄金法则数据的生命周期必须长于所有指向它的引用。对于全局变量、实例化的FB静态变量它们的生命周期是整个程序周期可以安全地被任何引用指向。对于函数或FB的局部临时变量VAR它们的生命周期仅在函数或FB的一次执行期间。绝对不要将局部变量的引用存储到生命周期更长的引用变量中如全局引用、FB的静态成员引用。因为一旦函数执行结束局部变量的内存可能被回收或重用你持有的引用就变成了“悬垂引用”指向无效内存后续解引用行为未定义。// 危险示例 VAR_GLOBAL g_refDangling: REF_TO INT; END_VAR FUNCTION F_Dangerous VAR_TEMP nLocal: INT : 5; END_VAR g_refDangling REF nLocal; // 错误nLocal的生命周期只在F_Dangerous内 END_FUNCTION // F_Dangerous执行完毕后g_refDangling 指向的内存已无效对于动态分配的内存在标准的IEC 61131-3中没有new/delete或malloc/free这样的动态内存管理操作符。所有变量内存都是在编译时静态分配的。因此在PLC中你通常不会遇到C中那种复杂的“内存所有权”问题。你的“动态”数据结构如链表也是建立在预先声明的静态变量或数组池之上的其生命周期同样是全局的。设计模式建议对于需要共享的核心数据如设备状态将其定义为全局变量或一个长期存在的FB的静态变量。对于仅在特定模块间传递的大型数据使用引用作为FB的VAR_IN_OUT输入输出引用参数这是一种明确表达“借用”而非“拥有”关系的好方式。4.4 性能考量引用并非永远零成本虽然传递引用避免了大数据复制但它也引入了一次额外的间接寻址。每次通过refVar^访问数据CPU都需要先读取refVar中存储的地址然后再根据这个地址去读取或写入实际数据。这比直接访问局部变量localVar多了一次内存访问。对于基本数据类型BOOL, INT, REAL直接传递值通常比传递引用更快因为复制一个4字节或8字节的数据的成本可能低于一次额外的指针解引用操作尤其是当数据已经在CPU缓存中时。因此一个实用的经验法则是对于标量类型大小 机器字长通常是8字节优先使用值传递VAR_INPUT : INT。对于聚合类型数组、结构体或任何你认为“较大”的数据优先使用引用传递VAR_INPUT : REF_TO ST_Data或VAR_IN_OUT : ST_Data后者在内部通常也是引用实现。VAR_IN_OUT是IEC 61131-3提供的一种语义明确的引用传递方式。在接口中使用VAR_IN_OUT既向调用者表明“此参数将被修改”又在底层高效地传递引用是兼顾清晰语义和性能的推荐做法。5. 高级主题与最佳实践让引用成为得力助手掌握了基础我们再来探讨一些更深入的话题和确保代码健壮性的实践。5.1 常量引用REF_TO CONSTANT的保护作用如果你有一个函数或FB它只需要读取传入的大型数据而绝不修改它那么应该使用常量引用。这既是性能优化避免复制也是代码契约和安全性保障。FUNCTION F_CalculateSum: LREAL VAR_INPUT // 常量引用承诺不会修改 pArray 指向的数据 pArray: REF_TO CONSTANT ARRAY[1..100] OF LREAL; END_VAR VAR i: DINT; sum: LREAL : 0; END_VAR FOR i : 1 TO 100 DO sum : sum pArray^[i]; // 只读访问安全 // pArray^[i] : 0; // 这行代码如果取消注释编译器会报错 END_FOR使用REF_TO CONSTANT有两个好处编译器强制保护防止你在函数内部意外修改输入数据减少bug。清晰的接口意图告诉调用者“我只是读取数据不会动你的东西”。这在多人协作或维护旧代码时非常重要。5.2 引用与面向对象编程OOP在支持OOP的Codesys版本如基于IEC 61131-3第三版中引用是理解对象和接口的关键。一个对象变量本质上就是一个指向对象实例数据的引用。// 定义一个类 CLASS MyMotor: VAR fCurrent: REAL; END_VAR METHOD SetCurrent: BOOL VAR_INPUT fValue: REAL; END_VAR THIS^.fCurrent : fValue; // THIS 是一个指向当前实例的引用 END_METHOD END_CLASS VAR // myMotorInstance 就是一个 REF_TO MyMotor 类型的变量 myMotorInstance: MyMotor; refMotor: REF_TO MyMotor; END_VAR // 实例化对象分配内存并获取引用 myMotorInstance : __NEW(MyMotor); // 通过对象变量调用方法背后就是通过引用访问 myMotorInstance.SetCurrent(10.0); // 可以将对象引用赋值给另一个引用变量 refMotor REF myMotorInstance; refMotor^.SetCurrent(20.0); // 通过引用调用方法修改的是同一个对象实例在这里myMotorInstance和refMotor都指向同一个MyMotor对象实例。OOP中的多态、接口实现等都依赖于引用机制。理解引用是深入掌握Codesys OOP的基石。5.3 调试技巧在线视图中查看引用在Codesys开发环境的在线模式下调试引用变量可能会有点困惑因为你看到的是地址值如16#3A8C而不是实际数据。有效做法添加监视表达式在监视窗口中你可以直接添加refVar^来查看解引用后的实际数据。这是最直接的方法。使用“派生路径”某些版本的Codesys在线视图支持显示引用变量并允许你点击一个箭头或“”号来展开它所指向的数据结构。转换为指针查看内存对于复杂调试有时可以将引用赋值给一个POINTER TO BYTE变量然后在内存视图中查看该地址区域的内容。但这属于高级技巧需谨慎使用。5.4 常见陷阱与排错清单空引用解引用如前所述始终确保引用在解引用前已指向有效目标。在复杂逻辑中可将引用初始化为指向一个无害的“哨兵”变量。悬垂引用永远不要持有对局部临时变量的长期引用。类型混淆确保REF两边的类型兼容。当使用继承时牢记“父类引用可以指向子类对象但只能访问父类成员”。循环引用在构建链表、树等动态结构时如果不小心形成了循环引用A引用BB又引用A会导致遍历逻辑陷入死循环。在设计时需要特别注意结束条件。性能误用对小的值类型使用引用可能得不偿失。分析你的数据大小和访问模式。VAR_IN_OUT与REF_TO的选择对于FB/函数的参数语义上需要修改传入变量时优先使用VAR_IN_OUT。它更清晰且通常与REF_TO效率相同。仅在需要将引用作为数据存储如链表节点中的pNext或需要CONSTANT修饰时才在接口中使用显式的REF_TO。引用是Codesys编程中一把锋利的瑞士军刀。它用“间接访问”这一核心概念巧妙地平衡了性能、灵活性与安全性。从避免大数据复制的性能优化到实现共享数据模型的架构设计再到构建动态逻辑关系的高级应用引用都扮演着不可或缺的角色。初学时你可能会觉得它比直接操作变量更绕弯子但一旦习惯这种“藏宝图”式的思维方式你会发现它能让你编写的代码在效率、可读性和可维护性上提升一个维度。记住关键明确你操作的是“地图”还是“宝藏本身”并时刻留意数据的生命周期你就能游刃有余地驾驭这个强大的特性。