Pydantic V2.10.0 版本中自定义复数序列化行为的变更分析

在 Pydantic V2.10.0 版本升级过程中，开发者发现了一个关于自定义复数(complex)类型序列化行为的变更。这个变更影响了使用自定义序列化器的现有代码，导致原本能够正确序列化复数类型的功能出现了异常行为。

问题背景

在 Pydantic 框架中，开发者可以通过实现自定义的序列化逻辑来处理特定类型的序列化和反序列化。在本次案例中，开发者创建了一个通用的 JsonSerializeOverride 类，用于定义如何将 Python 中的复数类型转换为 JSON 可序列化的格式（这里选择的是转换为包含实部和虚部的元组）。

在 Pydantic 2.9.2 版本中，以下行为是正常的：

1. 复数 1+2j 会被序列化为元组 (1.0, 2.0)
2. 在 Python 环境中直接使用时，复数类型保持不变

但在升级到 2.10.0 后，发现复数类型在 Python 环境中被意外地转换为了字符串形式 '1+2j'，而不是保持原有的复数类型。

技术分析

问题的核心在于 Pydantic 内部对复数类型的处理逻辑发生了变化。通过简化测试用例，开发者发现以下关键点：

1. 当使用 core_schema.is_instance_schema(complex) 作为 Python 模式时，复数类型会被错误地转换为字符串
2. 如果改用 core_schema.complex_schema() 作为 Python 模式，则能保持预期的行为

这表明在 Pydantic 2.10.0 中，对复数类型的实例检查逻辑与专门的复数模式处理逻辑存在差异。这种差异导致了自定义序列化器在处理复数类型时出现了不一致的行为。

解决方案

Pydantic 团队迅速响应，在 2.10.1 版本中修复了这个问题。修复方案主要是调整了复数类型的内部处理逻辑，确保无论是通过实例检查还是专门的复数模式，都能保持一致的序列化行为。

对于开发者而言，如果遇到类似的自定义类型序列化问题，可以考虑以下建议：

1. 优先使用类型专用的模式（如 complex_schema()）而非通用的实例检查
2. 在升级 Pydantic 版本时，特别注意测试自定义序列化器的行为
3. 对于复杂类型的序列化，考虑编写更全面的测试用例覆盖各种使用场景

总结

这个案例展示了 Pydantic 框架在处理复杂类型序列化时的内部机制，也体现了开源社区对问题的快速响应能力。对于使用 Pydantic 进行数据验证和序列化的开发者来说，理解框架对不同类型的内置处理方式非常重要，特别是在实现自定义序列化逻辑时。

Pydantic 2.10.1 版本的修复确保了向后兼容性，使得现有的自定义序列化代码能够继续正常工作，同时也为未来的版本升级提供了更稳定的基础。