`not isinstance(x, cls)` inside classmethod does not narrow type

未关闭
#21,271 0 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

评估

难度
3/5
预计耗时
1-2 天
新手友好度
55/100
Issue 类型
缺陷
描述清晰度
基本清楚
活跃度
冷清
技术栈
python
领域
compilers

调研方向

使用 mypy 1.19.1 或当前 master 重现两个精简的 classmethod 示例，然后检查 Self 的 isinstance 类型收窄路径。添加回归覆盖，表明 assert not isinstance(x, cls) 会将 Self | float 收窄为 float，同时保留现有的正向收窄行为。

由索引模型根据 Issue 内容生成。

描述

bug topic-self-types topic-type-narrowing

Bug Report

Inside a @classmethod, not isinstance(x, cls) does not appear to narrow the type, while isinstance(x, cls) does.

To Reproduce

This is what I wanted to write:

class Foo:
    def __init__(self, x: float) -> None:
        ...
    
    @classmethod
    def from_foo_or_float_cls(cls, x: Self | float) -> Self:
        if isinstance(x, cls):
            return x
        return cls(x)  # error: Argument 1 to "Foo" has incompatible type "Self | float"; expected "float"  [arg-type]

Further reduced:

class Foo:
    @classmethod
    def foo_1(cls, x: Self | float) -> None:
        assert isinstance(x, cls)
        reveal_type(x)  # expected: "Self"; was: "Self`0"; ✅

    @classmethod
    def foo_2(cls, x: Self | float) -> None:
        assert not isinstance(x, cls)
        reveal_type(x)  # expected: "float"; was: "Self`0" | builtins.float"; ❌

Expected Behavior

not isinstance(x, cls) should narrow the type union to remove Self.

Actual Behavior

Self is still part of the type union.

Your Environment

  • Mypy version used: 1.19.1
  • Mypy command-line flags: none
  • Mypy configuration options from mypy.ini (and other config files): none
  • Python version used: 3.10

Same behavior can be observers on mypy master with Python 3.14 (tested on the playground).

主要语言
Python
星标
20.6k
派生
3.3k
平均合并
1 天 18 小时
30 天内合并 PR
54

贡献指南

打开贡献指南

从这里开始

  1. 先读完整个 Issue，再读项目的贡献指南。
  2. 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
  3. Fork 仓库，在一个分支上完成修改。
  4. 提交 Pull Request，并在描述里引用这个 Issue 编号。

python/mypy 的其他 Issue

查看 python/mypy 的全部 Issue

相似的 Issue

更多 Python Issue

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。