主页 / coding / 问题 / 79019523
Accepted
makukha
Asked: 2024-09-25 00:23:29 +0800 CST

typing.assert_never() 是否被命令行选项 -O 删除，类似于 assert 语句？

  • 772

在 Python 中，如果传递了命令行优化选项或，assert语句不会生成代码。这种情况会发生吗？声明不会被优化的运行时断言是否安全？-O-OOtyping.assert_never()

考虑一下这个案例

from typing import assert_never

def func(item: int | str):
    match item:
        case int():
            ...
        case str():
            ...
        case _:
            assert_never(item)

是否保证默认分支即使在优化模式下也能正常工作？

python

1 个回答

  1. Best Answer

    不。至少在 CPython 中，assert_never()它只是一个由语句组成的普通函数。 与其他类型功能一样，它不会在运行时被删除。raise

    需要强调的是，它assert_never()没有什么特殊之处：它只是一个接受类型参数Never并且从不返回任何东西的函数（即，它引发）：

    def assert_never(arg: Never) -> Never:
    raise AssertionError("Expected code to be unreachable")

    它被纳入 stdlib 只是因为人们期望它会被广泛使用。引用打字指南：

    由于assert_never()辅助函数经常有用，因此它从 Python 3.11 开始由标准库提供typing.assert_never，并且从 4.1 版本开始也存在typing_extensions。

    — §assert_never()和详尽性检查 | Python 类型指南

    同一节还说：

    但是，您也可以在自己的代码中定义类似的函数，例如，如果您想自定义运行时错误消息。

    • 1

相关问题