Ballerina克隆常量映射后字段访问行为及相关问题咨询

原始代码与问题 #

请查看以下代码：

import ballerina/io;

type User record {|
    string name;
    string email;
|};

const USER = {
    name: "John Doe",
    email: "john.doe@gmail.com"
};

public function main() {
    User user = USER.clone();
    user.name = "Jane Doe";
    io:println("User name: " + user.name);
}

运行时出现错误：

error: {ballerina/lang.map}InherentTypeViolation {"message":"cannot update 'readonly' field 'name' in record of type '(service:record {| \"John Doe\" name; \"john.doe@gmail.com\" email; |} & readonly)'"}

但使用cloneWithType()则可正常运行：

public function main() returns error? {
    User user = check USER.cloneWithType();
    user.name = "Jane Doe";
    io:println("User name: " + user.name);
}

核心疑问 #

1. 克隆常量映射后，字段为何是只读的？
2. clone()为何未触发编译错误，而是运行时错误？
3. clone()与cloneWithType()的行为差异是什么？

行为差异解释 #

1. 常量USER的实际类型 #

Ballerina中，const声明的变量会被推断为具化的只读记录类型，而非你定义的User类型。具体来说，USER的类型是：

record {| "John Doe" name; "john.doe@gmail.com" email; |} & readonly

这个类型包含两个约束：

• 字段name固定为"John Doe"，email固定为"john.doe@gmail.com"（具化类型特性）
• 整个记录是只读的（readonly修饰符）

2. clone()的行为 #

clone()方法的设计是完整保留原对象的类型特性：

• 对于只读的映射/记录，克隆后的对象仍然继承原类型的readonly修饰和具化字段约束
• 虽然你将克隆对象赋值给User类型变量，但Ballerina运行时会保留对象的实际类型信息
• 当尝试修改user.name时，运行时检测到实际对象是只读的具化记录，因此抛出InherentTypeViolation错误

编译时未报错的原因：User类型是上述只读具化记录的父类型（结构类型兼容），编译阶段允许这种赋值，但无法提前检测到运行时的可变性冲突。

3. cloneWithType()的行为 #

cloneWithType()的核心作用是将克隆对象转换为指定的目标类型：

• 它会丢弃原类型的readonly修饰符和具化字段值约束
• 生成的新对象完全符合User类型定义：字段为可变的string类型，无固定值限制
• 因此修改user.name时，运行时检测到对象是可变的User记录，允许修改操作

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