F#泛型记录类型转换：如何无需重复全部字段实现Temp<string,string>到Temp<int,int>的转换

首先得明确为什么你的f2无法运行：F#记录的with表达式只能生成与原记录同类型的新实例。你的参数r是Temp<string,string>，所以{r with ...}默认会尝试构造另一个Temp<string,string>，但你把B和C转换成了int，类型不匹配，自然会编译失败。

要实现无需重复所有字段的转换，最优雅的方式是抽离一个通用的映射函数，专门处理记录中泛型字段的转换：

type Temp<'b,'c> = { A : string; B : 'b; C : 'c; D : string }

// 通用映射函数：接收B和C的转换逻辑，返回新的Temp实例
let mapTemp (transformB: 'b -> 'b') (transformC: 'c -> 'c') (record: Temp<'b,'c>) : Temp<'b','c'> =
    { A = record.A; B = transformB record.B; C = transformC record.C; D = record.D }

// 你的转换函数现在可以这样写
let f3 = mapTemp int int

调用f3时，传入Temp<string,string>类型的参数，编译器会自动推断出返回值是Temp<int,int>，完美满足需求。

这个方法的好处在于：

• 只需要写一次记录的字段结构，后续转换不同类型时（比如把Temp<string,float>转成Temp<int,decimal>），只需要传入对应的转换函数即可
• 代码更具复用性和可读性，逻辑清晰

如果你只是偶尔需要一次性转换，也可以保留类似f1的写法，但通用函数mapTemp显然更适合需要多次转换的场景。

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