问题：

Python空返回类型注释

宰修能

2023-03-14

在python 3.x中，通常使用函数的返回类型注释，例如：

def foo() -> str:
    return "bar"

“void”类型的正确注释是什么？

我正在考虑三种选择：

< li >省略显式返回类型信息。

选项2对我来说似乎是最合乎逻辑的，但我已经看到了1的一些实例。

共有2个答案

长孙高远

2023-03-14

匿名用户

TLDR：虚空返回类型注释的惯用等价物是 -

def foo() -> None:
    ...

这与没有< code>return或只有简单的< code>return的函数计算结果为< code>None相匹配。

def void_func():  # unannotated void function
    pass

print(void_func())  # None

省略返回类型并不意味着没有返回值。根据PEP 484:

对于选中的函数，参数和返回类型的默认注释是Any。

这意味着该值被认为是动态类型的，静态支持任何操作。这实际上是< code>void的反义词。

Python中的类型暗示并不严格要求实际类型。例如，注释可能使用类型名称的字符串：＜code＞Union[str，int]，＜code>Union[str，'int']，＜code>'Union[str，int']'和各种变体是等效的。

类似地，类型注释< code>None被认为是“属于< code>NoneType”的意思。这可以在其他情况下使用，也可以在返回类型中使用，尽管您最常看到的是返回类型注释:

bar : None

def foo(baz: None) -> None:
    return None

这也适用于泛型类型。例如，可以在< code>Generator[int，None，None]中使用< code>None来指示生成器不接受或返回值。

即使PEP 484建议None表示type（None），也不应显式使用后一种形式。类型暗示规范不包括任何形式的类型（…）。这在技术上是一个运行时表达式，其支持完全取决于类型检查器。mypy项目正在考虑是否删除对＜code＞类型（None）

或者也许我们应该更新PEP 484以不建议type（无）作为类型有效，并且无是唯一正确的拼写？应该有一个——最好只有一个——明显的方法来做到这一点等等。

--- 2018年5月18日

谢璞

2023-03-14

这直接来自 PEP 484 -- 类型提示文档：

在类型提示中使用时，表达式 None 被视为等效于 type（None）。

而且，如您所见，大多数示例使用＜code＞None＜/code＞作为返回类型。

共有2个答案