python / python/cpython

`isinstance` removes `cls.__dict__["__annotations__"]` in a complex setup with Protocol and ABCMeta

未关闭
#141,681 7 条评论 1 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

3.13 stdlib topic-typing type-bug
主要语言
Python
星标
77.2k
派生
35.9k
PR 合并指标
PR 指标待抓取

描述

Bug report

Bug description:
import abc
from collections.abc import Iterator
from typing import Protocol

# ---- Expected behavior:
class Steppable(metaclass=abc.ABCMeta):
  pass

class Module:
  @classmethod
  def __init_subclass__(cls, **kwargs) -> None:
    super().__init_subclass__(**kwargs)
    name, annotation, default = "name", str | None, "abc"
    cls.__annotations__[name] = annotation
    setattr(cls, name, default)


class SequenceLayer1(Module, Steppable):
  pass


print(SequenceLayer1.__dict__.get("__annotations__"))
# {'name': str | None}
assert SequenceLayer1.__dict__.get("__annotations__") is not None


# ---- Unexpected behavior:
class CheckpointableIterator(Iterator, Protocol):
  pass

isinstance(CheckpointableIterator, Iterator)

class SequenceLayer2(Module, Steppable):
  pass

print(SequenceLayer2.__dict__.get("__annotations__"))
# None
assert SequenceLayer2.__dict__.get("__annotations__") is not None
  • Failing on 3.12 and 3.13
  • Passing on 3.11 and 3.14 (For 3.14 it is expected to have __dict__["__annotations__"] missing)
CPython versions tested on:

3.12

Operating systems tested on:

Linux

贡献指南

打开贡献指南

从这里开始

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

调研方向

在 Python 3.12 和 3.13 上运行涉及 Module.init_subclass、CheckpointableIterator、Protocol、ABCMeta 和 isinstance 的复现程序,然后与 3.11 和 3.14 进行比较。跟踪 SequenceLayer1 和 SequenceLayer2 如何接收 annotations,并确定第二个类在哪一处丢失了它的条目。完成的标准是解释清楚该行为,并且有一个回归测试覆盖受影响的版本范围。

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

评估

技术栈
python
领域
backend
Issue 类型
缺陷
难度
4/5
预计耗时
3-5 天
活跃度
停滞
描述清晰度
需要澄清
新手友好度
35/100

把新 issue 发到你的邮箱

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