MongoDB反序列化F# List报错：无合适构造器或Add方法

首先咱们拆解下为什么序列化正常但反序列化会报错：

• 序列化能工作的原因：MongoDB的.NET驱动序列化集合类型时，只要类型实现了IEnumerable，就能遍历元素转成BSON数组。F#的list<string>（即FSharpList<string>）刚好实现了这个接口，所以驱动能顺利把它存进数据库。
• 反序列化失败的原因：反序列化时，驱动默认会尝试两种构造集合的方式——要么找能接收元素的构造函数，要么找无参构造函数加Add方法（像C#的List<T>那样）。但F#的list是不可变链表，它既没有无参构造函数，也没有Add方法（毕竟不可变），而且它的构造逻辑是头元素加剩余链表的Cons模式，驱动没法自动识别，所以就抛出了错误。

下面给你几个可行的解决办法，按推荐程度排序：

1. 使用F#专用的MongoDB序列化扩展包 #

最省心的方案是用社区维护的MongoDB.FSharp.Serializer NuGet包，它已经为F#核心类型（包括list、option、record等）实现了专门的序列化器。

安装后，只需要在初始化MongoDB客户端时注册序列化器：

open MongoDB.FSharp.Serializers
open MongoDB.Bson.Serialization

// 注册指定类型的F# List序列化器
BsonSerializer.RegisterSerializer(FSharpListSerializer<string>())
// 或者注册泛型版本，适配所有F# List类型（更通用）
BsonSerializer.RegisterGenericSerializerDefinition(typeof<list<_>>, typeof<FSharpListSerializer<_>>)

// 后续正常创建客户端和集合即可
let client = MongoClient("mongodb://localhost:27017")
let db = client.GetDatabase("testDb")
let items = db.GetCollection<Item>("items")

这个包会自动处理F# list的反序列化，把BSON数组转成不可变的F# list，完全不用自己写额外逻辑。

2. 自定义F# List序列化器 #

如果不想依赖第三方包，也可以自己实现一个序列化器：

open MongoDB.Bson
open MongoDB.Bson.Serialization
open MongoDB.Bson.Serialization.Serializers

type FSharpListSerializer<'T>() =
    inherit EnumerableSerializerBase<list<'T>, 'T>()

    override this.CreateInstance() = []
    override this.AddItem(instance, item) = item :: instance
    override this.FinalizeInstance(instance) = instance |> List.rev

然后同样在初始化时注册：

BsonSerializer.RegisterSerializer(FSharpListSerializer<string>())
// 或者注册泛型版本适配所有F# List
BsonSerializer.RegisterGenericSerializerDefinition(typeof<list<_>>, typeof<FSharpListSerializer<_>>)

原理是：反序列化时先创建空列表，把每个元素加到链表头部（F# list加头部效率更高），最后反转得到正确顺序的列表。

3. 改用ResizeArray（妥协方案） #

如果不想折腾序列化器，可以把Item类型里的Refs改成ResizeArray<string>（也就是C# List<string>的F#别名）：

type Item() = 
    inherit DbObject() 
    member val Description = "" with get, set 
    member val Refs : ResizeArray<string> = ResizeArray() with get, set 

驱动对ResizeArray支持很好，因为它本质就是C# List，有合适的构造函数和Add方法。之后你在业务代码里可以用Refs |> List.ofSeq转成F# list使用，这种方式适合快速解决问题，但需要在类型定义和业务逻辑间做转换，不算最优雅的方案。

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