New LOAD_ATTR_CLASS_WITH_METACLASS_CHECK does not guard against __class__ reassignment
Đang mở
Chưa có ai nhận issue này.
interpreter-core
type-bug
- Ngôn ngữ chính
- Python
- Star
- 77.2k
- Fork
- 35.9k
- Chỉ số merge pull request
- Chỉ số pull request đang chờ
Mô tả
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
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Hướng nghiên cứu
Bắt đầu bằng cách chạy trình tái hiện của issue khi có và không có chuyên biệt hóa trình thông dịch, tập trung vào LOAD_ATTR_CLASS_WITH_METACLASS_CHECK và việc gán lại class. So sánh hành vi với PR được liên kết gh-149269; được xem là hoàn tất khi cả hai lần chạy có chuyên biệt hóa và không chuyên biệt hóa đều trả về kết quả của descriptor sau khi gán lại.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Đánh giá
- Công nghệ
- python
- Lĩnh vực
- compilers
- Loại issue
- Lỗi
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức độ hoạt động
- Đình trệ
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 25/100