Overzealous Optimization For `isinstance`

Bug report

Bug description:

The custom __instancecheck__ dunder method allows full customization (described in the Data model).

However, it produces a spurious result:

class CustomIsInstanceMeta(type):
    def __instancecheck__(cls, instance: object) -> bool:
        return type(instance) is int

class CustomIsInstance(metaclass=CustomIsInstanceMeta):
    ...

class CustomIsInstanceSubclass(CustomIsInstance):
    ...


print(isinstance(5, CustomIsInstance)) # True
print(isinstance(CustomIsInstance(), CustomIsInstance)) # True (should be False)
print(isinstance(CustomIsInstanceSubclass(), CustomIsInstance)) # False

This is caused by:
https://github.com/python/cpython/blob/23c488d6197191d355be6733699a295c20806932/Objects/abstract.c#L2641-L2644
which is invalid in this case.

This is a reframing of #79264 (request to fix documentation)

CPython versions tested on:

3.13

Operating systems tested on:

Linux

Linked PRs

• gh-144874
• gh-144997

Xem xét Objects/abstract.c tại các dòng 2641-2644 và các PR được liên kết gh-144874 và gh-144997. Chạy bản tái hiện isinstance được cung cấp trên Python 3.13/Linux để xác nhận các kết quả không chính xác. Hoàn tất nghĩa là hành vi được báo cáo đã được giải quyết và kết quả phù hợp với vấn đề tài liệu được nêu trong #79264.