键入函数永远不会返回的提示

Question

Python的新类型提示功能允许我们键入函数返回无的提示…

def some_func() -> None:
    pass

…或保留未指定的返回类型，PEP规定应导致静态分析器假设任何返回类型都是可能的：

任何没有注释的函数都应被视为具有最通用的类型

但是，我应该如何键入函数永远不会返回的提示？例如，键入 hint 这两个函数的返回值的正确方法是什么？

def loop_forever():
    while True:
        print('This function never returns because it loops forever')

def always_explode():
    raise Exception('This function never returns because it always raises')

既没有指定 -




Answer 1

2016年7月，这个问题还没有答案(现在有< code > no return ；见新接受答案)。以下是一些原因:

>

当函数不返回时，没有可以分配给类型的返回值（甚至没有无）。所以您实际上并不是在尝试注释类型；您正在尝试注释类型的缺失。

从Python版本3.5开始，提示PEP的类型才刚刚在标准中被采用。此外，PEP只建议类型注释应该是什么样子，同时故意模糊如何使用它们。因此，除了例子之外，没有标准告诉我们如何做任何特别的事情。

PEP有一段可接受的类型提示，说明了以下内容:

注释必须是有效的表达式，在定义函数时，其计算不会引发异常(但是参见下面的前向引用)。

注释应保持简单，否则静态分析工具可能无法解释值。例如，不太可能理解动态计算的类型。（这是一项有意模糊的要求，根据讨论的需要，可能会在本PEP的未来版本中添加特定的包含和排除。）

因此，它试图阻止您做过于创造性的事情，例如在返回类型提示中抛出异常以表明函数永远不会返回。

关于例外情况，PEP声明如下:

没有提出列出明确提出的异常的语法。目前，该特性唯一已知的用例是文档化的，在这种情况下，建议将该信息放在docstring中。

有一个关于类型注释的建议，其中您有更多的自由，但即使是该部分也没有讨论如何记录类型的缺失。

在稍微不同的情况下，您可以尝试一件事，当您想要提示某个“正常”函数的参数或返回值应该是永远不会返回的可调用值时。语法是可调用的[[参数类型...]返回类型]，因此您可以省略返回类型，如可调用[[ArgTypes...]]中所示。但是，这不符合建议的语法，因此严格来说，它不是可接受的类型提示。打字员可能会窒息。

结论：你走在时代的前面。这可能令人失望，但对您也有好处：您仍然可以影响如何注释非返回函数。也许这会成为你参与标准化过程的借口。：-）

我有两个建议。

>

允许在可调用提示中省略返回类型，并允许转发提示任何内容的类型。这将导致以下语法：

always_explode: Callable[[]]
def always_explode():
    raise Exception('This function never returns because it always raises')

引入一个类似Haskell中的底部类型:

def always_explode() -> ⊥:
    raise Exception('This function never returns because it always raises')

这两项建议可以结合起来。

Answer 2

匿名用户

尽管“PEP 484-Type Hints”标准在问题和答案中都提到了，但是没有人引用它的部分:覆盖您的问题的< code>NoReturn类型。

引用:

< code>typing模块提供了一个特殊的类型< code>NoReturn,用于注释从不正常返回的函数。例如，无条件引发异常的函数:

from typing import NoReturn

def stop() -> NoReturn:
    raise RuntimeError('no way')

本节还提供了错误用法的示例。虽然它没有涵盖无限循环的函数，但在类型理论中，它们同样满足从不返回由该特殊类型所表达的含义。