COBOL段落递归调用是否可行？间接递归与替代方案咨询

核心结论先明确 #

COBOL标准禁止段落/节的递归调用（包括直接自调用和间接互相调用），但支持子程序（SUBROUTINE）的合法递归。

1. 同一COBOL程序中是否完全无法实现递归？ #

不是完全不行，但不能用段落/节实现。段落和节属于程序主体的顺序代码块，PERFORM段落的机制没有为递归设计栈帧来保存上下文，标准明确禁止其递归调用——你当前的代码能运行只是未定义行为，依赖编译器的临时兼容，随时可能出现崩溃、数据错乱等问题。

如果要实现递归，应该使用递归子程序：在子程序的声明中添加RECURSIVE属性（不同编译器语法略有差异，比如IBM Enterprise COBOL需要在PROGRAM-ID后指定RECURSIVE，内部子程序可在SECTION前标记），编译器会为其维护递归所需的栈结构，保证上下文正确保存。

2. 间接递归与直接递归在编译器/执行层面是否一致？ #

完全一致，两者都属于违反标准的段落递归行为。不管是直接调用自身，还是通过中间段落间接调用，编译器都不会为段落调用分配递归栈，执行时会出现控制流混乱、数据覆盖等不可预测的问题——当前运行正常只是偶然情况，不具备可靠性。

3. 任何形式的段落间递归是否均被禁止？ #

是的，COBOL标准明确禁止所有段落/节的递归调用，包括直接自调用和间接的互相调用。段落的设计目标是顺序执行的代码块，PERFORM段落的逻辑是跳转执行后返回原位置，没有递归所需的上下文保存机制，因此所有段落递归都属于未定义行为，不应该依赖。

替代递归的方案推荐 #

如果你希望实现类似递归的逻辑，除了PERFORM UNTIL的迭代方式，更规范的做法是改用递归子程序，示例代码如下：

IDENTIFICATION DIVISION.
PROGRAM-ID. RECURSIVE-DEMO RECURSIVE.
DATA DIVISION.
WORKING-STORAGE SECTION.
01 INPUT-VALUE PIC 9(3) VALUE 5.
PROCEDURE DIVISION.
    PERFORM CALCULATE-FACTORIAL USING INPUT-VALUE.
    STOP RUN.

CALCULATE-FACTORIAL SECTION.
LINKAGE SECTION.
01 LINK-VALUE PIC 9(3).
01 RESULT PIC 9(9).
PROCEDURE DIVISION USING LINK-VALUE RETURNING RESULT.
    IF LINK-VALUE = 1
        MOVE 1 TO RESULT
    ELSE
        SUBTRACT 1 FROM LINK-VALUE GIVING LINK-VALUE
        PERFORM CALCULATE-FACTORIAL USING LINK-VALUE RETURNING RESULT
        MULTIPLY LINK-VALUE + 1 BY RESULT GIVING RESULT
    END-IF.
    EXIT SECTION.

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