Pydantic数据类出现non-default argument follows default argument报错原因咨询

问题重现 #

使用Python 3.8 + Pydantic 2.6定义如下数据类：

from typing import Optional
from pydantic import Field
from pydantic.dataclasses import dataclass

@dataclass
class Klass:
    field1: str = Field(min_length=1)
    field2: str = Field(min_length=1)
    field3: Optional[str]

运行时触发错误：

TypeError: non-default argument 'field3' follows default argument

用户的疑惑：默认情况下Field的default参数是PydanticUndefined，为什么field1和field2会被视为有默认值的参数？原本预期所有字段都是必填无默认值，代码应该正常运行，而将field3改为field3: Optional[str] = Field(...)后问题解决。

原因分析 #

1. Python语法层面的限制：Python解析类定义时，只要字段带有=赋值语句（不管赋值内容是什么），就会被认定为「带默认值的参数」。它不会解析Field内部的逻辑，只看语法结构——field1: str = Field(...)有=，所以被归为带默认值的参数；而field3: Optional[str]没有=，被归为无默认值的必填参数。Python不允许无默认值的参数出现在带默认值的参数之后，这就是报错的直接原因。
2. Pydantic的内部逻辑：Field(default=PydanticUndefined)确实会被Pydantic标记为必填字段，但这是Pydantic运行时的处理逻辑，无法绕过Python本身的语法检查。Python的语法检查在Pydantic处理之前执行，因此会先触发这个TypeError。

解决方法 #

要让代码同时满足Python语法规则和Pydantic的必填字段要求，需要给所有必填字段（包括Optional类型的字段）都添加Field标记，保持语法上的一致性：

from typing import Optional
from pydantic import Field
from pydantic.dataclasses import dataclass

@dataclass
class Klass:
    field1: str = Field(min_length=1)
    field2: str = Field(min_length=1)
    field3: Optional[str] = Field(...)  # 用Field(...)标记必填，等同于default=PydanticUndefined

这样所有字段在Python语法层面都属于「带默认值的参数」，不会触发顺序错误，同时Pydantic会将它们都识别为必填字段。

内容的提问来源于stack exchange，提问作者Manish Zacharias