SQLModel自增ID设为Optional类型查询时出现类型错误如何解决

这个类型提示符合静态类型检查的基本逻辑：你将id字段声明为Optional[int]，就等于告诉类型检查器这个字段允许为None——毕竟未插入数据库的新模型实例，id本来就是未赋值的None状态。类型检查器无法自动识别「当前对象是从数据库查询出的已持久化实例、id一定有值」这个业务逻辑，自然会抛出类型不匹配的提示。

以下方案都可以保留数据库自动生成主键ID的能力，同时解决类型识别错误的问题，你可以根据项目的严谨度要求选择：

• 方案1：局部类型收窄（零改造成本，推荐绝大多数场景使用）
  不需要修改原有模型定义，在查询到记录后补充非空判断即可。类型检查器会自动识别判断后的字段类型，同时运行时如果真出现记录不存在、id为空的异常场景，也会提前抛出错误拦截问题：

  model = session.get(MyModel, 1)
  # 先处理主键对应记录不存在的情况
  if not model:
      raise ValueError("查询的目标记录不存在")
  # 断言id非空，将类型收窄为int
  assert model.id is not None
  record_id: int = model.id
  

  如果你100%确定查询的记录一定存在，也可以用类型忽略注释简化写法：

  record_id: int = model.id  # type: ignore[assignment]
  

• 方案2：拆分模型状态（适合大型项目，类型严谨度最高）
  把模型按状态拆分层级，从类型声明层面明确区分「未入库的新记录」和「已持久化的数据库记录」的字段差异，上层业务代码不需要重复做非空判断：

  from typing import Optional
  from sqlmodel import SQLModel, Field
  
  # 公共业务字段基类，不映射数据库表
  class MyModelBase(SQLModel):
      # 其余业务字段统一在这里定义，比如name: str、create_time: datetime等
      pass
  
  # 映射数据库表的模型，保留id自动生成能力
  class MyModel(MyModelBase, table=True):
      id: Optional[int] = Field(default=None, primary_key=True)
  

  可以在数据访问层封装统一的查询逻辑，将查询返回的已存在实例标记为id非空的类型，对外暴露时直接返回id为int类型的结果。

• 方案3：调整字段声明（单模型最简写法，适合小型项目）
  如果不想做额外的判断或模型拆分，可以直接把id的类型声明为int，同时保留default=None的配置。这种写法下类型检查器会默认id是int类型，实例化新记录时不传id也不会触发参数缺失错误：

  class MyModel(SQLModel, table=True):
      id: int = Field(default=None, primary_key=True)
  

  这个写法的缺点是存在类型安全隐患：如果你操作未插入数据库的新实例时访问id，类型检查器不会提示id可能为None，有小概率引发空值运行时错误。

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