python / python/cpython

New LOAD_ATTR_CLASS_WITH_METACLASS_CHECK does not guard against __class__ reassignment

未关闭
#149,239 2 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看

还没有人认领这个 Issue。

interpreter-core type-bug
主要语言
Python
星标
77.2k
派生
35.9k
PR 合并指标
PR 指标待抓取

描述

Bug description:

This was found by Codex. Consider the following:

import enum
import _testinternalcapi

class ColorMeta(enum.EnumType):
    pass

class Color(enum.IntEnum, metaclass=ColorMeta):
    RED = 1

red = Color.RED

class Descriptor(enum.IntEnum):
    RED = 1

    def __get__(self, obj, owner):
        return "descr"

def get_enum_member():
    return Color.RED

for _ in range(_testinternalcapi.SPECIALIZATION_THRESHOLD):
    assert get_enum_member() == 1

red.__class__ = Descriptor

for _ in range(_testinternalcapi.SPECIALIZATION_THRESHOLD):
    assert get_enum_member() == "descr"

This passes without specializing interpreter, but fails with. @kumaraditya303

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Linked PRs
  • gh-149269

贡献指南

打开贡献指南

从这里开始

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

调研方向

首先分别在启用和不启用解释器特化的情况下运行 issue 的复现程序,重点关注 LOAD_ATTR_CLASS_WITH_METACLASS_CHECK 和 class 的重新赋值。将行为与链接的 PR gh-149269 进行比较;完成的标准是,重新赋值后,特化和非特化运行都返回描述符结果。

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

评估

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

把新 issue 发到你的邮箱

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