Python类型提示语法是如何/为什么工作的？
我刚刚在PEP 484中看到了以下示例
def greeting(name: str) -> str:
return 'Hello ' + name
print(greeting('Martin'))
print(greeting(1)) File "test.py", line 1
def greeting(name: str) -> str:
^
SyntaxError: invalid syntax但是，它适用于Python 3：
Hello Martin
Traceback (most recent call last):
File "test.py", line 5, in <module>
print(greeting(1))
File "test.py", line 2, in greeting
return 'Hello ' + name
TypeError: Can't convert 'int' object to str implicitly这是出乎意料的。它还没有真正检查类型，正如您在下面的示例中所看到的(它运行，但不会抛出异常)：
def greeting(name: str) -> int:
return 'Hello ' + name
print(greeting('Martin'))似乎在:之后必须是一个函数的名称，但该函数似乎被忽略了：
def aha(something):
print("aha")
return something+"!"
def greeting(name: aha, foo) -> int:
return 'Hello ' + name + foo
print(greeting('Martin', 'ad'))这种类型的提示语法是否使用了其他语法(比如Java建模语言使用注释)？这种语法是什么时候引入Python的？它总是破坏Python 2的兼容性吗？
回答 1
Stack Overflow用户
发布于 2015-04-21 19:09:11
这里没有类型提示。您所做的就是提供注释；这些注释是在PEP 3107中引入的(仅在Python3中，在Python2中不支持此功能)；它们允许您注释参数并返回带有任意信息的值，以供以后检查：
>>> greeting.__annotations__
{'name': <class 'str'>, 'return': <class 'str'>}否则在这里根本不会咨询他们。相反，您得到的错误消息来自于尝试在函数体中连接字符串和整数值
>>> 'Hello ' + 1
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: Can't convert 'int' object to str implicitly这是一个自定义类型错误，旨在提供有关str + int连接失败原因的附加信息；对于任何非str类型，都会由str.__add__方法引发此错误
>>> ''.__add__(1)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: Can't convert 'int' object to str implicitly
>>> ''.__add__(True)
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
TypeError: Can't convert 'bool' object to str implicitlyPEP 484然后建议使用这些注释来使用其他工具进行实际的静态类型检查，但正如PEP的介绍所述：
虽然这些注释在运行时可以通过通常的
__annotations__属性使用，但在运行时不会进行类型检查。相反，该提案假设存在一个单独的离线类型检查器，用户可以自愿运行他们的源代码。从本质上讲，这样的类型检查器就像一个非常强大的linter。
在原文中强调。
PEP的灵感来自使用PEP3107注释的现有工具；特别是mypy project (通过采用PEP484直接循环回来)，还有type hinting support in the PyCharm IDE和pytypedecl project。请参阅Guido van Rossum的original email kickstarting this effort以及follow-up email。
mypy显然通过预处理注释来支持Python 2，在为您字节编译源代码之前将其删除，但是您无法正常使用Python 2中的语法Python代码。
https://stackoverflow.com/questions/29770412
复制相似问题