为何Ballerina中同逻辑在do-on-fail内外初始化模块变量报错不同？

问题场景 #

在Ballerina中直接初始化模块级变量capabilityStatement时，会触发以下编译错误：

cannot call a function or method in the same module before all module-level variables are initialized: variable(s) 'capabilityStatement' not initialized(BCE2573)

但将初始化逻辑放入do,on-fail块后，代码可正常编译运行，示例代码如下：

final readonly & models:CapabilityStatement capabilityStatement;

function init() {
    CapabilityStatementGenerator capabilityStatementGenerator = new("./resources/resources.json");
    do {
        capabilityStatement = check capabilityStatementGenerator.generate().cloneReadOnly();
    } on fail var err {
        panic error(err.message());
    }
}

核心逻辑原因 #

这是Ballerina模块初始化安全检查机制的约束导致的差异，具体细节：

• 模块级变量的初始化必须满足全路径确定性：编译器强制要求在模块初始化阶段（init函数执行过程中），所有模块级变量必须被明确赋值，且不能存在“变量未初始化但程序继续执行”的分支。
• 若直接在init函数中执行初始化（不包裹do-on fail），由于初始化逻辑包含函数调用（如generate()），编译器会判定存在潜在的错误分支——函数可能抛出错误导致赋值未完成，此时无法保证变量一定会被初始化，因此触发BCE2573错误。
• 当使用do,on-fail块时，编译器会验证所有执行路径：
  • do块正常执行时，check关键字会确保只有成功时才会执行赋值，必然完成变量初始化；
  • 若执行失败，on-fail块会立即panic终止程序，不会出现变量未初始化却继续运行的情况。
    这种结构完全覆盖了所有可能的执行场景，不存在变量未初始化的风险，因此编译器允许该写法。

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