From c2e6dc07b739eded1c2cb915e717a267f9b32fdc Mon Sep 17 00:00:00 2001 From: Jelle Zijlstra Date: Wed, 16 Apr 2025 10:44:17 -0700 Subject: [PATCH] typing docs: Clarify Protocol / runtime_checkable docs (GH-132606) - Explicitly say that isinstance/issubclass do not work on non-runtime checkable protocols. - Move the sentence "This raises TypeError when applied to a non-protocol class". It took me quite some time to decide what "this" was here: it refers to applying the decorator, not to an isinstance() call. (cherry picked from commit 14efcadfd4cbdab0ff204cad9d89871cc64e6cfb) Co-authored-by: Jelle Zijlstra Co-authored-by: Alex Waygood --- Doc/library/typing.rst | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Doc/library/typing.rst b/Doc/library/typing.rst index 0ce2c52a0c670e..bba7114fc1ff33 100644 --- a/Doc/library/typing.rst +++ b/Doc/library/typing.rst @@ -2353,7 +2353,8 @@ types. See :pep:`544` for more details. Protocol classes decorated with :func:`runtime_checkable` (described later) act as simple-minded runtime protocols that check only the presence of given attributes, ignoring their - type signatures. + type signatures. Protocol classes without this decorator cannot be used + as the second argument to :func:`isinstance` or :func:`issubclass`. Protocol classes can be generic, for example:: @@ -2377,8 +2378,7 @@ types. Mark a protocol class as a runtime protocol. Such a protocol can be used with :func:`isinstance` and :func:`issubclass`. - This raises :exc:`TypeError` when applied to a non-protocol class. This - allows a simple-minded structural check, very similar to "one trick ponies" + This allows a simple-minded structural check, very similar to "one trick ponies" in :mod:`collections.abc` such as :class:`~collections.abc.Iterable`. For example:: @runtime_checkable @@ -2394,6 +2394,8 @@ types. import threading assert isinstance(threading.Thread(name='Bob'), Named) + This decorator raises :exc:`TypeError` when applied to a non-protocol class. + .. note:: :func:`!runtime_checkable` will check only the presence of the required