如何避免isolated函数中‘invalid access of mutable storage’错误？

这个错误的核心原因是isolated函数不允许直接访问未同步的可变共享存储，以下是三种针对性的解决办法：

方案1：使用不可变存储（推荐，无并发风险） #

将记录类型定义为不可变，同时用final声明实例，确保存储无法被修改，isolated函数可安全访问。

type AbstractType abstract;

isolated class ConcreteImpl1() implements AbstractType {}
isolated class ConcreteImpl2() implements AbstractType {}

// 定义不可变记录，字段标记为readonly
type ImplHolderType record {
    readonly AbstractType[] implementations;
};

// 用final声明不可变实例，初始化后无法修改
final ImplHolderType implList = {
    implementations: [new ConcreteImpl1(), new ConcreteImpl2()]
};

isolated resource function get sample/profile() returns string {
    AbstractType firstImpl = implList.implementations[0];
    return "Success";
}

适用场景：不需要动态修改implList及其内部列表的场景，性能最优且无并发问题。

方案2：通过锁同步访问可变存储 #

如果需要保持implList可变，在isolated函数中使用lock语句包裹访问逻辑，确保并发访问时的安全性。

type AbstractType abstract;

isolated class ConcreteImpl1() implements AbstractType {}
isolated class ConcreteImpl2() implements AbstractType {}

type ImplHolderType record {
    AbstractType[] implementations;
};

ImplHolderType implList = {
    implementations: [new ConcreteImpl1(), new ConcreteImpl2()]
};

isolated resource function get sample/profile() returns string {
    // 用lock保证可变存储的线程安全访问
    lock {
        AbstractType firstImpl = implList.implementations[0];
        return "Success";
    }
}

适用场景：需要动态修改implList，且存在多线程并发访问的场景，会带来一定性能开销。

方案3：将实例声明为isolated变量 #

把implList标记为isolated变量，使其只能在isolated上下文中访问和修改，符合isolated函数的访问规则。

type AbstractType abstract;

isolated class ConcreteImpl1() implements AbstractType {}
isolated class ConcreteImpl2() implements AbstractType {}

type ImplHolderType record {
    AbstractType[] implementations;
};

// 声明为isolated变量，仅允许在isolated上下文操作
isolated ImplHolderType implList = {
    implementations: [new ConcreteImpl1(), new ConcreteImpl2()]
};

isolated resource function get sample/profile() returns string {
    AbstractType firstImpl = implList.implementations[0];
    return "Success";
}

适用场景：仅在isolated函数中修改和访问implList，不需要非isolated上下文介入的场景。

内容的提问来源于stack exchange，提问作者Dilan Sachintha Nayanajith