Henry Z's blog
·
[Python] SQLAlchemy 与 Pyright 相爱相杀的故事
💡
原文中文，约2900字，阅读约需7分钟。
📝
内容提要
介绍使用 SQLAlchemy 时，Pyright 类型检查报错的解决方法
🎯
关键要点
- Pyright 是一款强大的静态类型检查器，使用 SQLAlchemy 时可能会遇到类型检查报错。
- 示例代码中定义了一个 User 类，包含 id 和 name 属性。
- Pyright 报错提示 user.name 的类型不能赋值给 print_username 函数的参数 name。
- 解决方法是安装 sqlalchemy-stubs，报错消失，Pyright 正确识别 user.name 为 str 类型。
- 安装 stub 包后，Pyright 自动识别类型，无需额外配置。
- Pyright 在安装前根据 SQLAlchemy 源代码解析类型，安装后优先使用 stub 中定义的接口类型。
- Column 类型定义为 Type[TypeEngine[_T]]，强制约束返回的类型为 T，类似于 Java 中的泛型。
➡️
