Calling typing.get_type_hints with a class or instance method with PEP 695 type parameters fails if PEP 563 is enabled
未关闭
@sobolevn 已经在做这个了。
开始于 2024年9月14日。
3.12
3.13
3.14
stdlib
topic-typing
type-bug
- 主要语言
- Python
- 星标
- 77.2k
- 派生
- 35.9k
- PR 合并指标
- PR 指标待抓取
描述
Bug report
Bug description:
from __future__ import annotations
import typing
class Test[M]:
def foo(self, arg: M) -> None:
pass
print(typing.get_type_hints(Test.foo))
$ python3.12 pep_695_pep_563.py
Traceback (most recent call last):
File "/run/host/tmp/test/pep_695_pep_563.py", line 9, in <module>
print(typing.get_type_hints(Test.foo))
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/usr/lib64/python3.12/typing.py", line 2310, in get_type_hints
hints[name] = _eval_type(value, globalns, localns, type_params)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/usr/lib64/python3.12/typing.py", line 415, in _eval_type
return t._evaluate(globalns, localns, type_params, recursive_guard=recursive_guard)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "/usr/lib64/python3.12/typing.py", line 947, in _evaluate
eval(self.__forward_code__, globalns, localns),
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
File "<string>", line 1, in <module>
NameError: name 'M' is not defined
This seems very similar to #114053, but with class methods (or instance methods, the result is the same) instead of classes themselves.
Removing the from __future__ import annotations import works fine:
import typing
class Test[M]:
def foo(self, arg: M) -> None:
pass
print(typing.get_type_hints(Test.foo))
$ python3.12 pep_695_no_563.py
{'arg': M, 'return': <class 'NoneType'>}
Using the pre PEP-695 syntax, with or without from __future__ import annotations, works fine as well:
from __future__ import annotations
import typing
M = typing.TypeVar("M")
class Test(typing.Generic[M]):
def foo(self, arg: M) -> None:
pass
print(typing.get_type_hints(Test.foo))
$ python3.12 no_695_pep_563.py
{'arg': ~M, 'return': <class 'NoneType'>}
import typing
M = typing.TypeVar("M")
class Test(typing.Generic[M]):
def foo(self, arg: M) -> None:
pass
print(typing.get_type_hints(Test.foo))
$ python3.12 no_695_no_563.py
{'arg': ~M, 'return': <class 'NoneType'>}
This happens on both 3.12.5 and 3.13.0rc2
CPython versions tested on:
3.12, 3.13
Operating systems tested on:
Linux
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
评估
这个 Issue 还没有评估数据。