我刚刚在PEP 484篇文章中看到了以下例子:
def greeting(name: str) -> str:
return 'Hello ' + name
print(greeting('Martin'))
print(greeting(1))
正如所料，这在Python 2中不起作用:
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的？有没有办法用这种语法进行静态类型判断？它总是 destruct Python 2的兼容性吗？