19

我刚刚在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 的？有没有办法使用这种语法进行静态类型检查？它总是会破坏 Python 2 的兼容性吗？

4

1 回答 1

31

这里没有类型提示。您所做的只是提供注释；这些是在PEP 3107中引入的（仅在 Python 3 中，在 Python 2 中不支持）；它们允许您注释参数并使用任意信息返回值以供以后检查：

>>> 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.__add__对于任何不是的类型，它都会被该方法抛出str：

>>> ''.__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 implicitly

然后，PEP 484 建议使用这些注释通过其他工具进行实际的静态类型检查，但正如 PEP 的介绍所述：

虽然这些注解在运行时通过常用__annotations__属性可用，但在运行时不会进行类型检查。相反，该提案假设存在一个单独的离线类型检查器，用户可以自愿运行其源代码。本质上，这样的类型检查器充当了一个非常强大的 linter。

强调原文。

PEP 的灵感来自使用 PEP 3107 注释的现有工具；特别是mypy 项目（通过采用 PEP 484 直接循环），还有PyCharm IDE和pytypedecl 项目中的类型提示支持。请参阅 Guido van Rossum启动这项工作的原始电子邮件以及后续电子邮件。

mypy 显然通过预处理注释来支持 Python 2，在为您编译源代码字节之前将其删除，但是您通常不能使用在 Python 2 中工作的语法 Python 代码。

PEP 484 还描述了存根文件的使用，它位于常规 Python 文件旁边；这些使用.pyi扩展名并且仅包含签名（带有类型提示），使主.py文件注释免费，因此可在 Python 2 上使用（前提是您编写了 Polyglot Python 代码）。

于 2015-04-21T11:09:10.540 回答