MF Visual Cobol中Linkage段变量内存分配与释放问题咨询

场景说明 #

在Microfocus Visual COBOL子程序中，Linkage段声明了未被调用程序传入的EXTERNAL变量VAR1：

01 VAR1 EXTERNAL.
   03 VAR1A.
      05 VAR1B PIC X OCCURS 8500000 TIMES 
                    INDEXD BY INDEX-VAR1.

同时在Working Storage段定义了结构类似的EXTERNAL变量WS-VAR1，子程序读取文件后会将WS-VAR1的数据移动至VAR1：

01 WS-VAR1 EXTERNAL.
   03 WS-VAR1A.
      05 WS-VAR1B PIC X OCCURS 8500000 TIMES 
                    INDEXD BY WS-INDEX-VAR1.

问题解答 #

1. VAR1和WS-VAR1是分配全部8500000字节，还是仅分配索引指向的已加载数据对应字节数？

在Microfocus Visual COBOL中，两者都会分配声明中指定的全部8500000字节内存：

• OCCURS子句定义的数组属于静态内存分配，编译器会直接根据重复次数计算总字节数并分配连续内存块，和索引变量当前指向的位置完全无关。索引只是用来定位数组元素的工具，不影响内存预分配的逻辑。
• EXTERNAL属性仅作用于变量的可见性（让它能跨程序共享），不会改变COBOL的内存分配规则——只要变量完成声明，就会按照定义的大小完成全量内存分配。

2. 主程序终止时，WS-VAR1和VAR1的内存是否会被释放？

• WS-VAR1：作为Working Storage段的EXTERNAL变量，它的内存在应用初始化时分配，当整个应用程序终止（而非单个子程序退出）时，会由操作系统统一回收。如果存在多程序共享该变量的场景，只要还有程序在引用它，内存就不会释放，直到所有关联程序都终止。
• VAR1：由于它是未被调用程序传入的EXTERNAL变量，Microfocus COBOL会自动为其分配内存（逻辑同Working Storage变量），所以它的内存同样会在整个应用程序终止时被操作系统回收。如果后续有其他程序传入内存覆盖该变量，原分配的内存会被释放；若始终未被传入，则和WS-VAR1一同在应用终止时回收。

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