Chapel Reflection模块是否支持类似setField()的字段设置方法？

问题描述 #

我最近在研究Chapel的Reflection模块，想做一个通用I/O库来读取TOML这类配置文件，自动把文件内容匹配到类/记录的字段上，实现类似Swift Codable、Rust serde或者Fortran Namelist的自动序列化/反序列化功能。但发现Reflection模块只有返回右值的getField()方法，没法直接通过字段名或索引修改已有实例的字段值。想问下目前有没有办法实现类似setField()的功能？

参考示例 #

Swift（基于TOMLKit） #

let toml = """
string = "Hello, World!"
int = 523053
double = 3250.34
"""

struct Test: Codable {
    let string: String
    let int: Int
    let double: Double
}
// ...
let test = Test(string: "Goodbye, World!", int: 24598, double: 18.247)

let encodedTest: TOMLTable = try TOMLEncoder().encode(test)
let decodedTest = try TOMLDecoder().decode(Test.self, from: encodedTest)

print("Encoded Test: \n\(encodedTest)\n")
print("Decoded Test: \(decodedTest)")

输出：

Encoded Test:
double = 18.247
int = 24598
string = 'Goodbye, World!'

Decoded Test: Test(string: "Goodbye, World!", int: 24598, double: 18.247)

Fortran Namelist特性 #

!! test.f90
program main
    implicit none
    type Foo
        integer :: num
        real :: val
    endtype

    type(Foo) :: f
    namelist /myinp/ f

    open( 10, file="test.inp", status="old" )
    read( 10, nml=myinp )
    close( 10 )

    print *, "f % num = ", f % num
    print *, "f % val = ", f % val
end

配置文件test.inp：

&myinp
  f%num = 100
  f%val = 1.23
/

编译运行输出：

f % num =          100
 f % val =    1.23000002  

解决方案 #

目前Chapel的标准Reflection模块确实没有提供直接修改字段值的setField()方法，getField()只能返回字段的右值副本，无法直接对原实例的字段进行修改。不过可以通过以下几种方式实现类似的功能：

1. 通过反射生成记录初始化代码
   既然没法修改已有实例，不如利用反射获取目标记录的所有字段名和类型，从TOML文件中解析对应的值，然后直接构造一个新的记录实例。这种方式更符合Chapel的不可变数据范式，示例思路如下：

   use Reflection;
   
   proc deserializeToml(type T, tomlData: string): T {
       var fields = getFields(T);
       var initArgs: [1..fields.size] tuple(string, untyped);
       
       // 解析tomlData，提取每个字段对应的值
       for i in 1..fields.size {
           let fieldName = fields[i].name;
           let fieldType = fields[i].type;
           // 根据字段类型从toml数据中解析对应值
           let fieldValue = parseTomlValue(tomlData, fieldName, fieldType);
           initArgs[i] = (fieldName, fieldValue);
       }
       
       // 动态构造记录实例
       return T(initArgs);
   }
   

2. 手动实现类型适配层
   对于需要修改已有实例的场景，可以为每个需要序列化的记录类型编写适配函数，手动映射字段和TOML键值对。虽然不够通用，但能直接修改实例字段：

   record Test {
       var stringField: string;
       var intField: int;
       var doubleField: real;
       
       proc fromToml(tomlData: string) {
           // 手动解析toml数据并赋值给对应字段
           this.stringField = getTomlString(tomlData, "string");
           this.intField = getTomlInt(tomlData, "int");
           this.doubleField = getTomlReal(tomlData, "double");
       }
   }
   

3. 关注官方和社区的序列化进展
   Chapel官方一直在推进序列化相关功能，未来版本可能会加入类似自动序列化的特性。另外社区也有第三方库尝试实现类似功能，可以留意Chapel包管理器chplpm中的相关资源。

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