VerifyTests/Verify 中处理已释放 CancellationToken 的序列化问题

背景介绍

在 VerifyTests/Verify 项目中，当开发者尝试验证包含已释放 CancellationToken 的对象时，会遇到序列化异常。这个问题特别出现在处理 TaskCanceledException 时，如果关联的 CancellationTokenSource 已经被释放，序列化过程会抛出 ObjectDisposedException。

问题分析

CancellationToken 包含一个 WaitHandle 属性，当 CancellationTokenSource 被释放后，访问这个属性会抛出 ObjectDisposedException。Verify 默认的序列化行为会尝试访问所有属性，包括这个 WaitHandle，从而导致序列化失败。

解决方案

临时解决方案

Verify 提供了 .IgnoreMembersThatThrow<T>() 方法，可以忽略抛出特定类型异常的成员：

await Verify(test)
    .IgnoreMembersThatThrow<ObjectDisposedException>();

或者全局设置：

VerifierSettings.IgnoreMembersThatThrow<ObjectDisposedException>();

更完善的解决方案

在 Verify 23.5.2 版本中，项目维护者 SimonCropp 实现了更优雅的解决方案：

1. 对于已释放的 CancellationToken，WaitHandle 属性会被自动忽略
2. 修正了属性名称显示问题（如 Token 属性正确显示为 CanBeCanceled）

技术实现原理

Verify 底层使用 Argon 进行序列化。当遇到对象属性访问异常时，现在会：

1. 捕获 ObjectDisposedException
2. 智能决定是忽略该属性还是显示特殊标记
3. 确保序列化过程不会因为此类异常而中断

最佳实践建议

1. 更新到最新版本的 Verify 以获得最佳体验
2. 对于复杂对象的验证，考虑显式忽略可能抛出异常的属性
3. 在单元测试中，如果不需要验证 CancellationToken 状态，可以提前释放 CancellationTokenSource

总结

VerifyTests/Verify 项目通过持续改进，已经能够优雅地处理包含已释放 CancellationToken 的对象的验证问题。开发者现在可以更专注于业务逻辑验证，而不必担心底层序列化异常。这一改进体现了项目对开发者体验的重视和对边缘情况的完善处理。