Riok.Mapperly项目中的集合修改异常问题分析与解决

在Riok.Mapperly这个对象映射工具库的开发过程中，我们遇到了一个典型的并发修改异常问题。这个问题出现在集成测试项目的构建过程中，具体表现为VS 2022.17.11.4环境下构建失败，并抛出"Generator 'MapperGenerator' failed to generate source..."错误。

问题现象

当开发者尝试构建Riok.Mapperly.IntegrationTests项目时，编译器报告了一个警告信息，指出MapperGenerator生成源代码失败。错误详细信息显示抛出了InvalidOperationException异常，异常消息明确指出"Collection was modified; enumeration operation may not execute."（集合已被修改；枚举操作可能无法执行）。

技术背景

这个问题属于典型的"枚举期间修改集合"场景，在.NET开发中是一个常见的并发问题。当我们在遍历一个集合（如使用foreach循环）的同时，又对同一个集合进行修改操作（如添加、删除元素），就会触发这个异常。.NET框架设计这种机制是为了防止在枚举过程中集合状态不一致导致的问题。

问题定位

通过分析错误堆栈，我们可以清楚地看到问题发生在ObjectMemberMappingBodyBuilder类的BuildMappingBody方法中。具体来说，是在处理初始化只读成员（init-only members）时发生的。该方法尝试遍历未映射的目标成员集合，筛选出初始化只读成员，并在遍历过程中修改同一个集合的状态。

解决方案

针对这个问题，我们采用了最直接有效的解决方案：在遍历前先将集合物化（materialize）。具体实现是在LINQ查询链的最后添加.ToArray()调用，强制立即执行查询并将结果转换为数组。这样我们就创建了一个独立的、不变的集合副本用于遍历，而原始集合可以被安全地修改。

// 修改前
foreach (var initOnlyTargetMember in mappingCtx.EnumerateUnmappedTargetMembers().Where(x => x.IsInitOnly))

// 修改后
foreach (var initOnlyTargetMember in mappingCtx.EnumerateUnmappedTargetMembers().Where(x => x.IsInitOnly).ToArray())

技术深度分析

这个问题实际上反映了Riok.Mapperly内部映射处理机制的一个潜在缺陷。在构建对象成员映射时，系统需要同时处理多个关注点：

1. 识别未映射的成员
2. 特殊处理初始化只读成员
3. 更新映射状态

当这些操作交织在一起时，如果没有适当的同步或隔离机制，就容易出现并发修改问题。特别是在代码生成器这种特殊环境下，执行流程可能比常规应用程序更加复杂和不可预测。

最佳实践建议

在开发类似的代码生成工具或任何需要处理复杂对象模型的系统时，建议：

1. 对于任何可能在枚举期间被修改的集合，始终先创建副本再遍历
2. 考虑使用不可变集合类型来避免这类问题
3. 在API设计时，明确区分查询操作和修改操作
4. 对于复杂的多步骤处理流程，考虑使用中间数据结构来隔离不同阶段

结论

通过这个问题的分析和解决，我们不仅修复了一个具体的构建错误，更重要的是加深了对集合操作安全性的理解。在Riok.Mapperly这样的代码生成工具中，正确处理集合操作尤为重要，因为生成的代码质量直接影响到最终应用程序的稳定性和性能。这个修复方案虽然简单，但体现了对细节的关注和对框架特性的深入理解。