python - PEP 484 : exclusive type for type hint

Question

我可以指定独占类型吗？像这样的东西:

def foo(bar: Not[str]) -> None:
    assert not isinstance(bar, str)
    print(type(bar))

Answer 1

PEP 484 不包括指定“列入黑名单”类型的内置方式。

做那种事情通常没有意义——我能想到你为什么想做这样的事情的唯一原因是如果你想区分 str和 Iterable[str]或 Sequence[str]以某种方式。如果是这种情况，不幸的是 PEP 484 doesn't have a way of letting you do this -- str，无论好坏，都是这两种类型的合法子类。

在这种情况下，最好的办法是修改类型签名以区分 str和 List[str]它们是合法可区分的类。不理想，但总比没有好。

也就是说，如果您真的想做这样的事情，那么假设您正在使用 mypy 并且不介意诉诸肮脏的黑客攻击，那么这样做是有可能的。

一种技巧是基本上修改您的foo函数，所以它总是返回一些东西并滥用overload以及非严格可选模式的语义，如下所示:

from typing import overload, Optional

@overload
def foo(bar: str) -> None: ...

# Alternatively, replace "object" below
# with the types you *do* want to allow

@overload
def foo(bar: object) -> int: ...

def foo(bar: object) -> Optional[int]:
    assert not isinstance(bar, str)
    print(type(bar))
    return 0

def main() -> None:
    x = 0

    x = foo(3)       # typechecks
    x = foo("foo")   # fails

如果您尝试在没有 --strict-optional 的情况下在 mypy 中运行它标记，mypy 将用 "foo" does not return a value 标记最后一行错误。然后，您需要记住出现此错误消息是因为您传入了一个字符串参数。您还需要记住始终分配 foo 的输出。函数到一个值。

(如果你启用了严格可选，mypy 会提示你的两个重载有不兼容的签名。)

我们在这里基本上做的是:

利用禁用严格可选的事实，None是每种类型的合法值(因此重载是合法的)

利用 mypy 将(作为额外的好处)警告您从不返回任何内容的函数中分配值的情况。

这一切都很老套，很可能是个坏主意。我也不 promise 这种互动将在 future 继续发挥作用。

您可以尝试的第二个技巧是编写一个 mypy 插件来捕获您的特定案例的实例。在撰写本文时，mypy 插件系统是一个未记录的、暂定的且极易更改的功能，但如果您真的想这样做，可能需要调查一下。

如果您特别想区分 str和 Sequence[str]或 Iterable[str] (或类似的东西)，你可以尝试的其他方法是:

创建 Typeshed 和/或类型模块的自定义分支

修改 str 的类定义/ stub 所以它不继承自 Sequence[str]或 Iterable[str] (或添加幻象类型或其他东西)

使用 --custom-typeshed-dir 使 mypy 使用您的自定义类型定义和 --custom-typing命令行参数。

基本上，如果默认类型层次结构不是您想要的，请发明一个自定义层次结构。

当然，如果您正在使用其他一些符合 PEP 484 的检查器(例如 Pycharm 的内置检查器)，那么您可能不走运。