python - Python 3.10+：可选[类型] 或类型 | 没有任何

Question

既然 Python 3.10 已经发布，那么在指示参数或返回值可能是可选的（即可以是None. 那么什么是首选：

选项1：

def f(parameter: Optional[int]) -> Optional[str]:

选项 2：

def f(parameter: int | None) -> str | None:

Type | None另外，和之间有什么偏好None | Type吗？

score 12 · Accepted Answer

PEP 604在规范部分涵盖了这些主题。

现有的typing.Union和|语法应该是等价的。
int | str == typing.Union[int, str]

联盟中项目的顺序对平等无关紧要。
(int | str) == (str | int)
(int | str | float) == typing.Union[str, float, int]
可选值应该等同于新的联合语法
None | t == typing.Optional[t]

正如@jonrsharpe 注释，Union并且Optional不被弃用，所以Unionand|语法是可以接受的。

Python 核心开发人员Łukasz Langa在 YouTube 直播中回答了与 Python 3.10 版本相关的问题，该版本Type | None比Optional[Type]Python 3.10+ 更受欢迎。

score 6 · Accepted Answer

我个人会选择选项 2。

此外，只是想添加它以提高意识，但 Python 3.7+ 可以使用__future__导入来支持这种语法，如下所示。这种类型的检查是一样的；实际上，我从我目前正在使用的 Pycharm 的最新发行说明中得到了提示。

from __future__ import annotations


def f(parameter: int | None) -> str | None:
    ...

score 0 · Accepted Answer

非权威，但我希望Optional何时

虽然我希望一些Unionor|会在什么时候使用

3 回答 3