`typing`: one `None`-valued member makes `isinstance()` on a `runtime_checkable` Protocol O(N) per call
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 4/5
- Thời gian dự kiến
- 3-5 ngày
- Mức phù hợp với người mới
- 25/100
Hướng nghiên cứu
Bắt đầu với bản tái hiện tối thiểu của Protocol/runtime_checkable trong issue và so sánh thời gian của Good và Bad với các số lượng member khác nhau. Xem xét PR được liên kết gh-156451 và phần triển khai typing mà PR này thay đổi; công việc được hoàn tất khi trường hợp có giá trị None không còn gây ra các lần kiểm tra isinstance() có thời gian tuyến tính, đồng thời vẫn giữ nguyên các kết quả True được báo cáo.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
A class satisfying a @runtime_checkable Protocol with any class attribute set to None still passes isinstance(), but is orders of magnitude slower, scaling linearly with member count. Best of 5 runs of 20,000 calls, at 5/20/50/110 members: 25x/84x/316x/735x slower.
import timeit
from typing import Protocol, runtime_checkable
@runtime_checkable
class P(Protocol):
@property
def a(self) -> bool: ...
@property
def b(self) -> bool: ...
class Good:
a = b = True
class Bad:
a, b = True, None
for x in (Good(), Bad()):
print(isinstance(x, P), timeit.timeit(lambda: isinstance(x, P), number=100_000))
On 3.13.13: True 0.0121 then True 0.1207. Only the timing differs.
Linked PRs
- gh-156451
- Ngôn ngữ chính
- Python
- Star
- 77.2k
- Fork
- 36k
- Merge trung bình
- 1 ngày 9 giờ
- Pull request đã merge (30 ngày)
- 558
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.
Issue khác của python/cpython
-
docs pending
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
-
stdlib type-feature
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
-
stdlib type-feature
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
-
build type-bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
-
stdlib topic-email type-feature
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100