Marten项目中的版本化文档与身份映射冲突问题解析

问题背景

在Marten这个.NET平台的文档数据库库中，当开发者使用带有版本控制功能的文档（IRevisioned接口）时，如果同时启用了身份映射（Identity Map）功能，会遇到一个令人困惑的错误。具体表现为：在修改并更新一个已有文档时，系统会抛出"文档ID不匹配"的异常，而实际上问题根源在于版本号的存储方式冲突。

问题复现步骤

1. 从启用了身份映射的会话中加载一个已有的IRevisioned文档
2. 修改文档内容并增加版本号（Version）
3. 尝试调用Update()方法保存更改
4. 系统抛出文档ID不匹配的错误，但实际上问题出在版本号的存储机制上

技术根源分析

问题的核心在于Marten内部处理版本化文档的机制与身份映射机制的冲突。在当前的实现中，DocumentSelectorWithIdentityMap基类被用于所有文档类型的选择器，包括版本化文档。这个基类内部维护了两个关键字典：

1. _identityMap：用于存储文档实例的身份映射
2. _versions：用于存储文档的版本信息

对于普通文档，这种设计工作良好。但对于版本化文档（IRevisioned），问题就出现了：版本化文档使用数字版本号（如1,2,3...），而基类中的_versions字典却强制使用Guid类型的值来存储版本信息。这种类型不匹配导致了后续操作中的异常。

解决方案思路

要解决这个问题，需要为版本化文档创建专门的文档选择器基类。这个新的基类应该：

1. 继承自DocumentSelectorWithIdentityMap但重写版本存储机制
2. 使用数字类型而非Guid来存储版本信息
3. 保持与现有身份映射机制的兼容性
4. 正确处理版本化文档特有的生命周期事件

实现建议

在技术实现上，可以考虑以下改进：

1. 创建新的VersionedDocumentSelectorWithIdentityMap类
2. 重写版本存储部分，使用Dictionary<TId, int>替代Guid版本存储
3. 确保在文档加载和保存时正确处理数字版本号
4. 维护与现有API的兼容性，避免破坏性变更

对开发者的影响

这个问题的修复将使得：

1. 版本化文档可以与身份映射功能无缝协作
2. 开发者不再需要处理误导性的ID不匹配错误
3. 版本控制功能的行为更加符合直觉
4. 系统的整体稳定性得到提升

总结

Marten中版本化文档与身份映射的冲突问题揭示了框架在处理特殊文档类型时的设计考虑不足。通过为版本化文档创建专门的选择器实现，可以优雅地解决这一问题，同时保持框架的灵活性和扩展性。这也提醒我们在设计类似系统时，需要充分考虑各种文档类型的特殊需求，避免一刀切的实现方式。