能否使用NoReturn
类型注释Callable
?
我期望的方式会产生错误:
from sys import exit
from typing import Callable, NoReturn
f: Callable[..., NoReturn] = exit
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
File "/usr/local/Cellar/python/3.7.0/Frameworks/Python.framework/Versions/3.7/lib/python3.7/typing.py", line 755, in __getitem__
return self.__getitem_inner__(params)
File "/usr/local/Cellar/python/3.7.0/Frameworks/Python.framework/Versions/3.7/lib/python3.7/typing.py", line 251, in inner
return func(*args, **kwds)
File "/usr/local/Cellar/python/3.7.0/Frameworks/Python.framework/Versions/3.7/lib/python3.7/typing.py", line 774, in __getitem_inner__
result = _type_check(result, msg)
File "/usr/local/Cellar/python/3.7.0/Frameworks/Python.framework/Versions/3.7/lib/python3.7/typing.py", line 135, in _type_check
raise TypeError(f"Plain {arg} is not valid as type argument")
TypeError: Plain typing.NoReturn is not valid as type argument
编辑:对于将来遇到此问题的任何人,问题是Python 3.7.0中的一个错误,升级到Python 3.7.2可以缓解此问题。