`ClassVar` cannot be overridden with `Final`
未关闭
还没有人认领这个 Issue。
bug
topic-final
- 主要语言
- Python
- 星标
- 20.6k
- 派生
- 3.3k
- 平均合并
- 1 天 18 小时
- 30 天内合并 PR
- 54
描述
Bug Report
A typing.ClassVar cannot be overridden with typing.Final.
main.py:7: error: Cannot override class variable (previously declared on base class "Base") with instance variable [misc]
Found 1 error in 1 file (checked 1 source file)
To Reproduce
import typing
class Base:
value : typing.ClassVar[str]
class Derived(Base):
value : typing.Final[str] = 'derived'
https://mypy-play.net/?mypy=latest&python=3.12&flags=verbose&gist=03819c6e8c7b6fb53baebe094faed123
Expected Behavior
I though using a typing.Final annotation would imply typing.ClassVar.
Actual Behavior
It seems not allowed to override a ClassVar with a Final.
Your Environment
See reproducer.
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
从提供的 Python reproducer 开始,跟踪 mypy 如何处理使用 Final 注解覆盖 ClassVar。确认预期的类型检查行为,并为此情况添加覆盖;完成的标准是 reproducer 不再报告错误的覆盖错误,且现有检查仍然通过。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- python
- 领域
- devtools
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 停滞
- 描述清晰度
- 基本清楚
- 新手友好度
- 38/100