在Ballerina中过滤User记录时遇'Isolated函数类型不兼容'错误怎么办？

问题原因 #

你遇到的错误是因为filter方法要求传入的回调函数必须是isolated函数，但你的lambda表达式捕获了外部非isolated的全局变量votingAge，导致lambda无法满足isolated的类型约束。

在Ballerina中，isolated函数不能依赖外部非isolated的可变状态，而全局变量默认不具备isolated属性，所以lambda捕获它后就不符合filter方法的参数要求。

解决方法 #

方法1：将全局变量标记为isolated #

给votingAge添加isolated修饰符，让lambda捕获的变量满足isolated要求：

type User record {|
    string id;
    string name;
    int age;
|};

// 标记变量为isolated
isolated int votingAge = 18;

public isolated function someFunc() returns error? {
    User[] users = [
        {id: "1", name: "John", age: 13},
        {id: "2", name: "Doe", age: 23},
        {id: "3", name: "Adam", age: 19}
    ];
    
    User[] eligibleVoters = users.filter(user => user.age >= votingAge);
}

方法2：使用常量替代全局变量 #

如果votingAge的值固定不变，直接声明为const（常量默认具备isolated属性）：

type User record {|
    string id;
    string name;
    int age;
|};

// 声明为常量
const int VOTING_AGE = 18;

public isolated function someFunc() returns error? {
    User[] users = [
        {id: "1", name: "John", age: 13},
        {id: "2", name: "Doe", age: 23},
        {id: "3", name: "Adam", age: 19}
    ];
    
    User[] eligibleVoters = users.filter(user => user.age >= VOTING_AGE);
}

方法3：将变量移到isolated函数内部 #

把votingAge作为someFunc的局部变量，此时lambda捕获的是isolated函数内的变量，自然满足isolated要求：

type User record {|
    string id;
    string name;
    int age;
|};

public isolated function someFunc() returns error? {
    // 变量移到函数内部
    int votingAge = 18;
    User[] users = [
        {id: "1", name: "John", age: 13},
        {id: "2", name: "Doe", age: 23},
        {id: "3", name: "Adam", age: 19}
    ];
    
    User[] eligibleVoters = users.filter(user => user.age >= votingAge);
}

原理补充 #

Ballerina中isolated修饰的元素意味着无共享可变状态、线程安全，适合并发场景。array:filter要求回调为isolated函数，是为了确保数组在并发处理时不会引入线程安全问题。

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