"I protocolli non possono essere usati con isinstance()" - perché no?

Question

Il nuovo modulo typing contiene diversi oggetti con nomi come "SupportsInt" (-Float, -Bytes, ecc.). Il nome e le descrizioni su the documentation page for the module potrebbero essere letti per suggerire che è possibile verificare se un oggetto è di un tipo che "supporta __int__()". Ma se si tenta di utilizzare isinstance(), dà una risposta che rende chiaro che questo non è qualcosa che sono destinati a fare:

>>> isinstance(5, typing.SupportsInt) 
(Traceback omitted) 
TypeError: Protocols cannot be used with isinstance(). 

D'altra parte, è possibile utilizzare issubclass():

>>> issubclass((5).__class__, typing.SupportsInt) 
True 
>>> issubclass(type(5), typing.SupportsInt) 
True 

Che cos'è un "protocollo" in questo contesto? Perché non consente l'utilizzo di isinstance() in questo modo?

Answer 1

Come la documentazione dice: At runtime, isinstance(x, T) will raise TypeError. In general, isinstance() and issubclass() should not be used with types. (https://docs.python.org/3/library/typing.html?highlight=typing#typing.TypeVar)

Answer 2

Questo è tutto del ragionamento data in PEP 484, il PEP per il modulo typing:

Perché typing.Callable fa doppio dovere come sostituzione per collections.abc.Callable, isinstance (x, typing.Callable) è implementato differendo a `isinstance (x, collections.abc.Callable). Tuttavia, isinstance (x, typing.Callable [...]) non è supportato.

Un protocollo è anche noto come magic method. Questi sono la maggior parte dei protocolli di Python (elenco completo here):

>>> dir(object) 
['__class__', '__delattr__', '__dir__', '__doc__', '__eq__', '__format__', 
'__ge__', '__getattribute__', '__gt__', '__hash__', '__init__', '__le__', 
'__lt__', '__ne__', '__new__', '__reduce__', '__reduce_ex__', '__repr__', 
'__setattr__', '__sizeof__', '__str__', '__subclasshook__'] 

non ho trovato alcuna ragione chiara del motivo per cui typing non supporta isinstance. La ragione per cui issubclass funziona è che isinstance utilizza il protocollo __class_ che non è consentito in typing, mentre issubclass utilizza il protocollo __subclasshook__ consentito. Credo che la ragione sia che la funzionalità era già codificata in collections.abc.Callable e non volevano ricodificarla nel modulo typing.