COBOL 6动态OCCURS后TEMP-ELEM空格检查失效问题咨询

问题原因 #

1. 动态OCCURS的内存特性：将固定OCCURS 80 TIMES改为OCCURS 80 TIMES DEPENDING ON OCC-VAL后，COBOL仅保证OCC-VAL指定数量以内的元素合法且可预测。当OCC-VAL小于80时，超出该值的元素对应内存区域处于未定义状态——既不会继承原静态初始化值（如SPACES），也不会自动清零，内部为随机垃圾数据（可能是LOW-VALUE、残留旧数据等），因此TEMP-ELEM = SPACES的检查自然失效。
2. 循环边界错误：你的PERFORM循环仍遍历到IND-TEMP-ELEM >79（即完整80个元素），但此时仅前OCC-VAL个元素有效，后续元素内存未定义，值并非SPACES，导致检查逻辑失效。
3. VALUE子句的局限性：给TEMP-ELEM添加VALUE SPACES仅能初始化静态分配的表元素，对于动态DEPENDING ON的表，超出OCC-VAL的部分不会被初始化——这部分内存在运行时逻辑上不属于当前有效表项。

解决方法 #

1. 修正循环边界（推荐） #

将循环终止条件改为遍历当前有效元素数量，避免访问未定义内存：

PERFORM
  UNTIL IND-TEMP-ELEM  > OCC-VAL
     OR TEMP-ELEM (IND-TABLE-OCC, IND-TEMP-ELEM) = ORIGINAL-TEMP-ELEM
     OR TEMP-ELEM (IND-TABLE-OCC, IND-TEMP-ELEM) = SPACES
   ADD 1 TO IND-TEMP-ELEM
END-PERFORM

当OCC-VAL设为30时，循环仅遍历前30个有效元素，不会触碰后续未定义区域，检查逻辑即可正常工作。

2. 显式初始化所有表元素（若需遍历全部80个元素） #

若业务逻辑必须遍历完整80个元素，需在设置OCC-VAL后显式初始化所有元素为SPACES：

* 设置OCC-VAL后执行初始化
PERFORM VARYING IND-TABLE-OCC FROM 1 BY 1 UNTIL IND-TABLE-OCC > 999
   PERFORM VARYING IND-TEMP-ELEM FROM 1 BY 1 UNTIL IND-TEMP-ELEM > 80
       MOVE SPACES TO TEMP-ELEM(IND-TABLE-OCC, IND-TEMP-ELEM)
       MOVE ZEROS TO TEMP-ELEM-NUM(IND-TABLE-OCC, IND-TEMP-ELEM)
   END-PERFORM
END-PERFORM

初始化后所有元素内容会被设为预期值，此时TEMP-ELEM = SPACES的检查可正常生效。

3. 遵循动态表访问规则 #

使用DEPENDING ON的动态表时，所有表元素访问需限制在OCC-VAL指定范围内，避免访问未定义内存区域，这是COBOL动态表的基本使用规范。

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