基于PEP 681，如何用位置参数替代Python数据类字段的default关键字？

可以实现，只要正确定义字段说明符函数的类型注解，并让类型检查器识别对应的dataclass transform，具体步骤如下：

• 定义带类型标注的model_field函数
  把default设为位置参数，同时用FieldSpec标注返回类型，告诉类型检查器这是一个字段说明符，用于描述字段的默认值属性：

  from typing import TypeVar, FieldSpec
  
  T = TypeVar("T")
  
  def model_field(default: T) -> FieldSpec[T]:
      # 实际业务逻辑：返回标记字段属性的对象，比如dataclass的Field实例
      return default  # 示例实现，实际需根据需求调整
  

• 标记create_model为dataclass transform
  使用@dataclass_transform装饰create_model，并指定它使用的字段说明符是model_field，让类型检查器把这个装饰器当作类转换工具处理：

  from typing import dataclass_transform
  
  @dataclass_transform(field_specifiers=(model_field,))
  def create_model(init: bool = True):
      def decorator(cls):
          # 实际创建模型的逻辑：处理字段、生成初始化方法等
          return cls
      return decorator
  

• 使用改写后的代码
  此时改写后的代码就能被类型检查器正确识别，不会触发报错：

  @create_model(init=False)
  class CustomerModel:
      id: int = model_field(3)
      name: str
  

注意：需确保使用的类型检查器版本支持PEP 681，比如mypy 0.990+、pyright 1.1.290+，否则可能无法正确识别字段说明符的语义。

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