gh-101688: Implement types.get_original_bases by Gobot1234 · Pull Request #101827 · python/cpython (original) (raw)
Implements the methods described.
A couple of questions:
- Should there be checking of the return types of the functions since they could be anything?
- Should we add
__orig_class__
to the slots of all the types that currently don't have them to provide better introspection support (currentlyget_orig_class(list[int]())
is None) - Issue: Add typing.get_orig_bases and typing.get_orig_class #101688
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👍
Gobot1234 changed the title
gh-101688: Implement typing.get_orig_class and get_orig_bases gh-101688: Implement typing.get_orig_class and types.get_orig_bases
Conflicts:
Lib/test/test_typing.py
Co-authored-by: Alex Waygood Alex.Waygood@Gmail.com
@gvanrossum, how's this look to you now? Any more suggestions re. the docs?
Who is musashay? Spammer? Bot?
Who is musashay? Spammer? Bot?
No idea
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Still not excited about the use of assert. Do we do this often in other examples?
Still not excited about the use of assert. Do we do this often in other examples?
I feel like the closest stdlib analogues to this function are typing.get_args
and typing.get_origin
, and it's what we do there:
assert get_origin(Dict[str, int]) is dict |
---|
assert get_args(Dict[int, str]) == (int, str) |
assert get_origin(Union[int, str]) is Union |
assert get_args(Union[int, str]) == (int, str) |
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Okay, sold.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I meant to approve.
I'll merge once the CI finishes.
@Gobot1234, are you up for adding a stub to typeshed and backporting it to typing_extensions? I can probably take a look soon, if you haven't got the time.
I can probably do the typeshed stub tonight but I don't know when I'll get to the typing extensions backport
kraj pushed a commit to YoeDistro/poky that referenced this pull request
Changelog:
- Fix use of @deprecated on classes with new but no init.
- Fix regression in version 4.6.1 where comparing a generic class against a runtime-checkable protocol using isinstance() would cause AttributeError to be raised if using Python 3.7.
- Change deprecated @runtime to formal API @runtime_checkable in the error message.
- Fix regression in 4.6.0 where attempting to define a Protocol that was generic over a ParamSpec or a TypeVarTuple would cause TypeError to be raised.
- typing_extensions is now documented at https://typing-extensions.readthedocs.io/en/latest/.
- Add typing_extensions.Buffer, a marker class for buffer types, as proposed by PEP 688. Equivalent to collections.abc.Buffer in Python 3.12.
- Backport two CPython PRs fixing various issues with typing.Literal: python/cpython#23294 and python/cpython#23383. Both CPython PRs were originally, and both were backported to Python >=3.9.1, but no earlier.
- A side effect of one of the changes is that equality comparisons of Literal objects will now raise a TypeError if one of the Literal objects being compared has a mutable parameter. (Using mutable parameters with Literal is not supported by PEP 586 or by any major static type checkers.)
- Literal is now reimplemented on all Python versions <= 3.10.0.
- Backport CPython PR 26067, ensuring that isinstance() calls on protocols raise TypeError when the protocol is not decorated with @runtime_checkable.
- Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (see python/cpython#74690 for details).
- A side effect of one of the performance improvements is that the members of a runtime-checkable protocol are now considered "frozen" at runtime as soon as the class has been created. Monkey-patching attributes onto a runtime-checkable protocol will still work, but will have no impact on isinstance() checks comparing objects to the protocol. See "What's New in Python 3.12" for more details.
- isinstance() checks against runtime-checkable protocols now use inspect.getattr_static() rather than hasattr() to lookup whether attributes exist (backporting python/cpython#103034).
- Backport the ability to define init methods on Protocol classes, a change made in Python 3.11 (originally implemented in python/cpython#31628
- Speedup isinstance(3, typing_extensions.SupportsIndex) by >10x on Python <3.12.
- Add typing_extensions versions of SupportsInt, SupportsFloat, SupportsComplex, SupportsBytes, SupportsAbs and SupportsRound. These have the same semantics as the versions from the typing module, but isinstance() checks against the typing_extensions versions are >10x faster at runtime on Python <3.12.
- Add orig_bases to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples.
- Add typing_extensions.get_original_bases, a backport of types.get_original_bases, introduced in Python 3.12 (CPython PR python/cpython#101827, originally
- This function should always produce correct results when called on classes constructed using features from typing_extensions.
- Constructing a call-based TypedDict using keyword arguments for the fields now causes a DeprecationWarning to be emitted. This matches the behaviour of typing.TypedDict on 3.11 and 3.12.
- Backport the implementation of NewType from 3.10 (where it is implemented as a class rather than a function). This allows user-defined NewTypes to be pickled.
- Fix tests and import on Python 3.12, where typing.TypeVar can no longer be subclassed.
- Add typing_extensions.TypeAliasType, a backport of typing.TypeAliasType from PEP 695.
- Backport changes to the repr of typing.Unpack that were made in order to implement PEP 692 (backport of python/cpython#104048).
(From OE-Core rev: 2b1d07c7deb4f0247765bc737fb11a1747143edf)
Signed-off-by: Wang Mingyu wangmy@fujitsu.com Signed-off-by: Alexandre Belloni alexandre.belloni@bootlin.com
rpurdie pushed a commit to yoctoproject/poky that referenced this pull request
Changelog:
- Fix use of @deprecated on classes with new but no init.
- Fix regression in version 4.6.1 where comparing a generic class against a runtime-checkable protocol using isinstance() would cause AttributeError to be raised if using Python 3.7.
- Change deprecated @runtime to formal API @runtime_checkable in the error message.
- Fix regression in 4.6.0 where attempting to define a Protocol that was generic over a ParamSpec or a TypeVarTuple would cause TypeError to be raised.
- typing_extensions is now documented at https://typing-extensions.readthedocs.io/en/latest/.
- Add typing_extensions.Buffer, a marker class for buffer types, as proposed by PEP 688. Equivalent to collections.abc.Buffer in Python 3.12.
- Backport two CPython PRs fixing various issues with typing.Literal: python/cpython#23294 and python/cpython#23383. Both CPython PRs were originally, and both were backported to Python >=3.9.1, but no earlier.
- A side effect of one of the changes is that equality comparisons of Literal objects will now raise a TypeError if one of the Literal objects being compared has a mutable parameter. (Using mutable parameters with Literal is not supported by PEP 586 or by any major static type checkers.)
- Literal is now reimplemented on all Python versions <= 3.10.0.
- Backport CPython PR 26067, ensuring that isinstance() calls on protocols raise TypeError when the protocol is not decorated with @runtime_checkable.
- Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (see python/cpython#74690 for details).
- A side effect of one of the performance improvements is that the members of a runtime-checkable protocol are now considered "frozen" at runtime as soon as the class has been created. Monkey-patching attributes onto a runtime-checkable protocol will still work, but will have no impact on isinstance() checks comparing objects to the protocol. See "What's New in Python 3.12" for more details.
- isinstance() checks against runtime-checkable protocols now use inspect.getattr_static() rather than hasattr() to lookup whether attributes exist (backporting python/cpython#103034).
- Backport the ability to define init methods on Protocol classes, a change made in Python 3.11 (originally implemented in python/cpython#31628
- Speedup isinstance(3, typing_extensions.SupportsIndex) by >10x on Python <3.12.
- Add typing_extensions versions of SupportsInt, SupportsFloat, SupportsComplex, SupportsBytes, SupportsAbs and SupportsRound. These have the same semantics as the versions from the typing module, but isinstance() checks against the typing_extensions versions are >10x faster at runtime on Python <3.12.
- Add orig_bases to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples.
- Add typing_extensions.get_original_bases, a backport of types.get_original_bases, introduced in Python 3.12 (CPython PR python/cpython#101827, originally
- This function should always produce correct results when called on classes constructed using features from typing_extensions.
- Constructing a call-based TypedDict using keyword arguments for the fields now causes a DeprecationWarning to be emitted. This matches the behaviour of typing.TypedDict on 3.11 and 3.12.
- Backport the implementation of NewType from 3.10 (where it is implemented as a class rather than a function). This allows user-defined NewTypes to be pickled.
- Fix tests and import on Python 3.12, where typing.TypeVar can no longer be subclassed.
- Add typing_extensions.TypeAliasType, a backport of typing.TypeAliasType from PEP 695.
- Backport changes to the repr of typing.Unpack that were made in order to implement PEP 692 (backport of python/cpython#104048).
(From OE-Core rev: a37154b9166323d05cca970ebb37bee0d5250893)
Signed-off-by: Wang Mingyu wangmy@fujitsu.com Signed-off-by: Alexandre Belloni alexandre.belloni@bootlin.com Signed-off-by: Richard Purdie richard.purdie@linuxfoundation.org
halstead pushed a commit to openembedded/openembedded-core that referenced this pull request
Changelog:
- Fix use of @deprecated on classes with new but no init.
- Fix regression in version 4.6.1 where comparing a generic class against a runtime-checkable protocol using isinstance() would cause AttributeError to be raised if using Python 3.7.
- Change deprecated @runtime to formal API @runtime_checkable in the error message.
- Fix regression in 4.6.0 where attempting to define a Protocol that was generic over a ParamSpec or a TypeVarTuple would cause TypeError to be raised.
- typing_extensions is now documented at https://typing-extensions.readthedocs.io/en/latest/.
- Add typing_extensions.Buffer, a marker class for buffer types, as proposed by PEP 688. Equivalent to collections.abc.Buffer in Python 3.12.
- Backport two CPython PRs fixing various issues with typing.Literal: python/cpython#23294 and python/cpython#23383. Both CPython PRs were originally, and both were backported to Python >=3.9.1, but no earlier.
- A side effect of one of the changes is that equality comparisons of Literal objects will now raise a TypeError if one of the Literal objects being compared has a mutable parameter. (Using mutable parameters with Literal is not supported by PEP 586 or by any major static type checkers.)
- Literal is now reimplemented on all Python versions <= 3.10.0.
- Backport CPython PR 26067, ensuring that isinstance() calls on protocols raise TypeError when the protocol is not decorated with @runtime_checkable.
- Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (see python/cpython#74690 for details).
- A side effect of one of the performance improvements is that the members of a runtime-checkable protocol are now considered "frozen" at runtime as soon as the class has been created. Monkey-patching attributes onto a runtime-checkable protocol will still work, but will have no impact on isinstance() checks comparing objects to the protocol. See "What's New in Python 3.12" for more details.
- isinstance() checks against runtime-checkable protocols now use inspect.getattr_static() rather than hasattr() to lookup whether attributes exist (backporting python/cpython#103034).
- Backport the ability to define init methods on Protocol classes, a change made in Python 3.11 (originally implemented in python/cpython#31628
- Speedup isinstance(3, typing_extensions.SupportsIndex) by >10x on Python <3.12.
- Add typing_extensions versions of SupportsInt, SupportsFloat, SupportsComplex, SupportsBytes, SupportsAbs and SupportsRound. These have the same semantics as the versions from the typing module, but isinstance() checks against the typing_extensions versions are >10x faster at runtime on Python <3.12.
- Add orig_bases to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples.
- Add typing_extensions.get_original_bases, a backport of types.get_original_bases, introduced in Python 3.12 (CPython PR python/cpython#101827, originally
- This function should always produce correct results when called on classes constructed using features from typing_extensions.
- Constructing a call-based TypedDict using keyword arguments for the fields now causes a DeprecationWarning to be emitted. This matches the behaviour of typing.TypedDict on 3.11 and 3.12.
- Backport the implementation of NewType from 3.10 (where it is implemented as a class rather than a function). This allows user-defined NewTypes to be pickled.
- Fix tests and import on Python 3.12, where typing.TypeVar can no longer be subclassed.
- Add typing_extensions.TypeAliasType, a backport of typing.TypeAliasType from PEP 695.
- Backport changes to the repr of typing.Unpack that were made in order to implement PEP 692 (backport of python/cpython#104048).
Signed-off-by: Wang Mingyu wangmy@fujitsu.com Signed-off-by: Alexandre Belloni alexandre.belloni@bootlin.com
renovate bot referenced this pull request in allenporter/flux-local
This PR contains the following updates:
Package | Change | Age | Adoption | Passing | Confidence |
---|---|---|---|---|---|
typing-extensions | |||||
(changelog) | |||||
==4.5.0 -> ==4.6.3 |
|||||
Release Notes
python/typing_extensions
- Fix a regression introduced in v4.6.0 in the implementation of
runtime-checkable protocols. The regression meant
that doing
class Foo(X, typing_extensions.Protocol)
, whereX
was a class that hadabc.ABCMeta
as its metaclass, would then cause subsequentisinstance(1, X)
calls to erroneously raiseTypeError
. Patch by Alex Waygood (backporting the CPythonhttps://github.com/python/cpython/pull/105152l/105152). - Sync the repository's LICENSE file with that of CPython.
typing_extensions
is distributed under the same license as CPython itself. - Skip a problematic test on Python 3.12.0b1. The test fails on 3.12.0b1
due to
a bug in CPython, which will be fixed in 3.12.0b2. The
typing_extensions
test suite now passes on 3.12.0b1.
- Fix use of
@deprecated
on classes with__new__
but no__init__
. Patch by Jelle Zijlstra. - Fix regression in version 4.6.1 where comparing a generic class
against a
runtime-checkable protocol using
isinstance()
would causeAttributeError
to be raised if using Python 3.7.
- Change deprecated
@runtime
to formal API@runtime_checkable
in the error message. Patch by Xuehai Pan. - Fix regression in 4.6.0 where attempting to define a
Protocol
that was generic over aParamSpec
or aTypeVarTuple
would causeTypeError
to be raised. Patch by Alex Waygood.
typing_extensions
is now documented at https://typing-extensions.readthedocs.io/en/latest/. Patch by Jelle Zijlstra.- Add
typing_extensions.Buffer
, a marker class for buffer types, as proposed by PEP 688. Equivalent tocollections.abc.Buffer
in Python 3.12. Patch by Jelle Zijlstra. - Backport two CPython PRs fixing various issues with
typing.Literal
:
https://github.com/python/cpython/pull/232943294 https://github.com/python/cpython/pull/23383ll/23383. Both CPython PRs were originally by Yurii Karabas, and both were backported to Python >=3.9.1, but no earlier. Patch by Alex Waygood.
A side effect of one of the changes is that equality comparisons of
Literal
objects will now raise a TypeError
if one of the Literal
objects
being
compared has a mutable parameter. (Using mutable parameters with
Literal
is
not supported by PEP 586 or by any major static type checkers.)
Literal
is now reimplemented on all Python versions <= 3.10.0. Thetyping_extensions
version does not suffer from the bug that was fixed in
https://github.com/python/cpython/pull/293349334. (The CPython bugfix was backported to CPython 3.10.1 and 3.9.8, but no earlier.)
- Backport CPython PR
26067
(originally by Yurii Karabas), ensuring that
isinstance()
calls on protocols raiseTypeError
when the protocol is not decorated with@runtime_checkable
. Patch by Alex Waygood. - Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (https://github.com/python/cpython/issues/74690es/74690 for details). Patch by Alex Waygood.
A side effect of one of the performance improvements is that the members
of
a runtime-checkable protocol are now considered “frozen” at runtime as
soon
as the class has been created. Monkey-patching attributes onto a
runtime-checkable protocol will still work, but will have no impact on
isinstance()
checks comparing objects to the protocol. See
"What's New in Python
3.12"
for more details.
isinstance()
checks against runtime-checkable protocols now useinspect.getattr_static()
rather thanhasattr()
to lookup whether attributes exist (backporthttps://github.com/python/cpython/pull/1030343034). This means that descriptors and__getattr__
methods are no longer unexpectedly evaluated duringisinstance()
checks against runtime-checkable protocols. However, it may also mean that some objects which used to be considered instances of a runtime-checkable protocol on older versions oftyping_extensions
may no longer be considered instances of that protocol using the new release, and vice versa. Most users are unlikely to be affected by this change. Patch by Alex Waygood.- Backport the ability to define
__init__
methods on Protocol classes, a change made in Python 3.11 (originally implementedhttps://github.com/python/cpython/pull/31628ll/31628 by Adrian Garcia Badaracco). Patch by Alex Waygood. - Speedup
isinstance(3, typing_extensions.SupportsIndex)
by >10x on Python <3.12. Patch by Alex Waygood. - Add
typing_extensions
versions ofSupportsInt
,SupportsFloat
,SupportsComplex
,SupportsBytes
,SupportsAbs
andSupportsRound
. These have the same semantics as the versions from thetyping
module, butisinstance()
checks against thetyping_extensions
versions are >10x faster at runtime on Python <3.12. Patch by Alex Waygood. - Add
__orig_bases__
to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples. Other TypedDicts and NamedTuples already had the attribute. Patch by Adrian Garcia Badaracco. - Add
typing_extensions.get_original_bases
, a backport of
types.get_original_bases
,
introduced in Python 3.12
(CPythonhttps://github.com/python/cpython/pull/101827l/101827,
originally by James
Hilton-Balfe). Patch by Alex Waygood.
This function should always produce correct results when called on
classes
constructed using features from typing_extensions
. However, it may
produce incorrect results when called on some NamedTuple
or
TypedDict
classes that use typing.{NamedTuple,TypedDict}
on Python <=3.11.
- Constructing a call-based
TypedDict
using keyword arguments for the fields now causes aDeprecationWarning
to be emitted. This matches the behaviour oftyping.TypedDict
on 3.11 and 3.12. - Backport the implementation of
NewType
from 3.10 (where it is implemented as a class rather than a function). This allows user-definedNewType
s to be pickled. Patch by Alex Waygood. - Fix tests and import on Python 3.12, where
typing.TypeVar
can no longer be subclassed. Patch by Jelle Zijlstra. - Add
typing_extensions.TypeAliasType
, a backport oftyping.TypeAliasType
from PEP 695. Patch by Jelle Zijlstra. - Backport changes to the repr of
typing.Unpack
that were made in order to implement PEP 692 (backport of
https://github.com/python/cpython/pull/1040484048). Patch by Alex Waygood.
Configuration
📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).
🚦 Automerge: Enabled.
♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.
🔕 Ignore: Close this PR and you won't be reminded about this update again.
- If you want to rebase/retry this PR, check this box
This PR has been generated by Mend Renovate. View repository job log here.
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
daregit pushed a commit to daregit/yocto-combined that referenced this pull request
Changelog:
- Fix use of @deprecated on classes with new but no init.
- Fix regression in version 4.6.1 where comparing a generic class against a runtime-checkable protocol using isinstance() would cause AttributeError to be raised if using Python 3.7.
- Change deprecated @runtime to formal API @runtime_checkable in the error message.
- Fix regression in 4.6.0 where attempting to define a Protocol that was generic over a ParamSpec or a TypeVarTuple would cause TypeError to be raised.
- typing_extensions is now documented at https://typing-extensions.readthedocs.io/en/latest/.
- Add typing_extensions.Buffer, a marker class for buffer types, as proposed by PEP 688. Equivalent to collections.abc.Buffer in Python 3.12.
- Backport two CPython PRs fixing various issues with typing.Literal: python/cpython#23294 and python/cpython#23383. Both CPython PRs were originally, and both were backported to Python >=3.9.1, but no earlier.
- A side effect of one of the changes is that equality comparisons of Literal objects will now raise a TypeError if one of the Literal objects being compared has a mutable parameter. (Using mutable parameters with Literal is not supported by PEP 586 or by any major static type checkers.)
- Literal is now reimplemented on all Python versions <= 3.10.0.
- Backport CPython PR 26067, ensuring that isinstance() calls on protocols raise TypeError when the protocol is not decorated with @runtime_checkable.
- Backport several significant performance improvements to runtime-checkable protocols that have been made in Python 3.12 (see python/cpython#74690 for details).
- A side effect of one of the performance improvements is that the members of a runtime-checkable protocol are now considered "frozen" at runtime as soon as the class has been created. Monkey-patching attributes onto a runtime-checkable protocol will still work, but will have no impact on isinstance() checks comparing objects to the protocol. See "What's New in Python 3.12" for more details.
- isinstance() checks against runtime-checkable protocols now use inspect.getattr_static() rather than hasattr() to lookup whether attributes exist (backporting python/cpython#103034).
- Backport the ability to define init methods on Protocol classes, a change made in Python 3.11 (originally implemented in python/cpython#31628
- Speedup isinstance(3, typing_extensions.SupportsIndex) by >10x on Python <3.12.
- Add typing_extensions versions of SupportsInt, SupportsFloat, SupportsComplex, SupportsBytes, SupportsAbs and SupportsRound. These have the same semantics as the versions from the typing module, but isinstance() checks against the typing_extensions versions are >10x faster at runtime on Python <3.12.
- Add orig_bases to non-generic TypedDicts, call-based TypedDicts, and call-based NamedTuples.
- Add typing_extensions.get_original_bases, a backport of types.get_original_bases, introduced in Python 3.12 (CPython PR python/cpython#101827, originally
- This function should always produce correct results when called on classes constructed using features from typing_extensions.
- Constructing a call-based TypedDict using keyword arguments for the fields now causes a DeprecationWarning to be emitted. This matches the behaviour of typing.TypedDict on 3.11 and 3.12.
- Backport the implementation of NewType from 3.10 (where it is implemented as a class rather than a function). This allows user-defined NewTypes to be pickled.
- Fix tests and import on Python 3.12, where typing.TypeVar can no longer be subclassed.
- Add typing_extensions.TypeAliasType, a backport of typing.TypeAliasType from PEP 695.
- Backport changes to the repr of typing.Unpack that were made in order to implement PEP 692 (backport of python/cpython#104048).
(From OE-Core rev: a37154b9166323d05cca970ebb37bee0d5250893)
Signed-off-by: Wang Mingyu wangmy@fujitsu.com Signed-off-by: Alexandre Belloni alexandre.belloni@bootlin.com Signed-off-by: Richard Purdie richard.purdie@linuxfoundation.org