是否存在可消除F#记录更新冗余分配的编译器优化标志？

结论 #

目前F#官方编译器没有提供对应的编译标志或者配置项，能自动将f这种多次链式不可变记录更新的写法，优化合并为单次内存分配。

原因说明 #

F#的记录类型默认是不可变引用类型，{ xxx with ... }语法的语义本身就是生成一个全新的记录实例。当前版本F#编译器的优化流程中，还没有内置针对连续记录更新操作的合并重写逻辑，所以不会自动消除你示例里的冗余分配。

可行优化方案 #

• 手动合并更新逻辑：像示例里的g一样，把所有属性的变更合并到同一个with表达式中，是目前最直接的零成本优化方案，同时代码可读性也更高。
• 改为值类型记录：如果你的场景对性能要求极高，可以给记录加上[<Struct>]特性将其改为值类型，此时多次with操作的开销会从堆分配转为栈上的结构体拷贝，开销会大幅降低，不过如果是字段较多的大结构体，要注意额外拷贝带来的性能损耗。

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