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 摘要。