为何Ballerina不允许为函数参数重新赋值？能否修改该特性？

限制背后的原因 #

这个错误的核心是当前语言的设计规则：函数参数默认被设定为不可变，这么做主要有两个考量：

• 降低逻辑出错概率：如果允许直接修改参数，很容易在复杂函数里混淆原始输入值和修改后的值，尤其是对合约类这类要求极高严谨性的代码而言，这种设计能从源头减少调试难度和bug。
• 提升编译与执行效率：明确参数不可变后，编译器可以针对性做优化，比如把参数值直接缓存到寄存器，省去变量读写的额外开销。

能否更改此行为？ #

可以通过变通写法实现类似效果，但无法直接修改参数本身的不可变属性：

• 最直接的方式是在函数内部声明一个新的可变变量，将参数值赋值给它后再修改：

function test(int a) {
    int mutableA = a;
    mutableA = mutableA + 2;
}

部分语言可能支持显式标记参数为可变，但这类对严谨性要求高的场景通常不推荐这么做，用新变量的方式能更清晰地区分原始输入和修改后的值，代码可读性更强。

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