Typing.Protocol и typing.runtime_checkable ⇐ Python

[Anonymous]

У меня есть следующий код

Код: Выделить всё

from typing import Protocol, runtime_checkable

@runtime_checkable
class A(Protocol):
def f(self): ...

class B:
def f(self): ...

if __name__ == '__main__':
assert isinstance(B(), A)

Если я удалю декоратор runtime_checkable, я получу следующее исключение:

Код: Выделить всё

TypeError: Instance and class checks can only be used with @runtime_checkable protocols

Однако, если я добавлю атрибут в класс A, декоратор не понадобится.

Код: Выделить всё

class A(Protocol):
x: int
def f(self): ...

результат:

Код: Выделить всё

>>> assert isinstance(B(), A)
Traceback (most recent call last):
File "", line 1, in 
AssertionError

Протокол, который содержит хотя бы один член, не являющийся методом, называется протоколом данных (typing.python.org). Почему протоколам данных не нужен декоратор runtime_checkable? Я не могу найти ничего об этом в документации.

Подробнее здесь: https://stackoverflow.com/questions/799 ... -checkable