Pydantic V2.10.4中HttpUrl联合类型序列化的异常行为分析

在Pydantic V2.10.4版本中，开发者们发现了一个关于HttpUrl类型与自定义模型联合使用时出现的序列化异常问题。这个问题表现为当HttpUrl类型作为联合类型中的第一个类型时，会导致模型实例的JSON序列化结果出现错误。

问题现象

当开发者定义一个包含联合类型的Pydantic模型时，如果将HttpUrl类型放在联合类型的第一位，例如HttpUrl | A，然后尝试序列化一个实际值为A类型实例的模型时，得到的JSON字符串会出现异常。具体表现为输出的JSON字符串中包含了不应该存在的转义字符和引号。

from pydantic import HttpUrl, BaseModel

class A(BaseModel):
    a: str
    
class B(BaseModel):
    a: HttpUrl | A  # HttpUrl在前会导致问题

b = B(a=A(a="a"))
print(b.model_dump_json())  # 输出错误的JSON: '{"a":"a=\'a\'"}'

问题根源

经过分析，这个问题源于Pydantic V2.10.4版本中对联合类型的处理逻辑。当HttpUrl类型作为联合类型中的第一个类型时，序列化器会错误地尝试将后续的自定义模型实例强制转换为HttpUrl格式，而不是按照预期的行为进行多态序列化。

临时解决方案

开发者可以暂时通过调整联合类型中类型的顺序来解决这个问题：

class B(BaseModel):
    a: A | HttpUrl  # 将自定义模型类型放在前面

这种调整能够使序列化器正确识别和处理自定义模型类型，产生预期的JSON输出。

技术背景

Pydantic V2引入了一系列性能优化和类型处理改进，包括对联合类型的更严格验证。HttpUrl作为Pydantic的特殊类型，其验证和序列化逻辑与普通类型有所不同。在联合类型场景下，类型处理顺序可能会影响最终的序列化结果。

最佳实践建议

1. 在定义包含特殊类型（如HttpUrl）的联合类型时，建议将自定义模型类型放在联合类型的前面
2. 对于关键业务逻辑，建议添加单元测试验证模型的序列化行为
3. 关注Pydantic的版本更新，及时获取官方修复

这个问题预计会在后续的Pydantic版本中得到修复。开发者在使用联合类型时应当注意类型顺序可能带来的影响，特别是在涉及特殊类型的情况下。