13、面向对象编程：从递归到设计模式的全面探索

面向对象编程：从递归到设计模式的全面探索

1. 递归与 THIS 关键字

递归是指一个方法调用自身的过程。虽然递归是一个有效的编程概念，但对于许多应用场景来说，使用某种循环可能更为合适。因为递归通常会消耗大量资源，在自动化领域，许多可编程逻辑控制器（PLC）的计算资源相对有限，使用递归可能会耗尽宝贵的资源。此外，递归还容易产生无限递归循环，尽管现代编译器通常会在代码运行前检查并抛出编译错误，但我们仍需对此保持警惕。

要理解递归，首先需要了解 THIS 关键字。在 CODESYS 中，THIS 关键字是一个指向函数块自身实例的指针，其一般语法为 THIS^.method() 。

为了演示递归，我们可以实现一个计算阶乘的递归函数。以下是具体步骤：
1. 在 Calculator 函数块中添加一个名为 Factorial 的新方法，并将其返回类型设置为 INT：

METHOD Factorial : INT
VAR_INPUT
    x : INT;
END_VAR

2. 实现 Factorial 函数的逻辑：

IF x > 1 THEN
    // 方法调用自身
    Factorial := THIS^.Factorial(x - 1) * x;
ELSE
    Factorial := 1;
END_IF