3

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

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

1 回答 1

2

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

做那种事情通常并没有真正的意义——我能想到你为什么想做这样的事情的唯一原因是你想以某种方式区分strIterable[str]Sequence[str]。如果是这种情况,不幸的是,PEP 484没有办法让你这样做——无论好坏,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

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

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

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

  1. 利用禁用严格可选的事实,None是每种类型的合法值(因此重载是合法的)
  2. 利用 mypy 将(作为额外的好处)警告您从不返回任何内容的函数分配值的情况。

这一切都很老套,很可能是个坏主意。我也不承诺这种互动将在未来继续发挥作用。


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


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

  1. 创建 Typeshed 和/或类型模块的自定义分支
  2. 修改类定义/存根,str使其不继承自Sequence[str]or Iterable[str](或添加幻像类型或其他东西)
  3. --custom-typeshed-dir使用和--custom-typing命令行参数使 mypy 使用您的自定义类型定义。

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


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

于 2017-09-21T02:13:29.030 回答