mypy 相关问题

Mypy是Python的可选静态类型检查器。

如何使用一次性泛型创建类型别名?

我正在创建一个类型别名,它可以采用别名中实际未使用的泛型。原因是自记录代码,我知道没有类型检查器实际上能够......

回答 1 投票 0

具有派生类列表类型的类属性的 Python 类型注释

对于包含其他派生类实例列表作为属性的类,键入注释的正确方法是什么。 波纹管是一个“简单”的例子,有两对碱基和德...

回答 1 投票 0

如何根据参数值指定返回 pydantic 类型的函数的返回类型?

我有两个 pydantic 模型,第二个继承第一个: 类 RandomBaseModel(pydantic.BaseModel): foo: 打字.任何 类 RandomSpecializedModel(RandomBaseModel): foo: 字符串 然后我...

回答 3 投票 0

如何让惰性加载器与静态类型检查配合良好?

我写了一个粗略的惰性导入器,所以你可以做这样的事情: 从装载机进口懒惰 httpx = Lazy("httpx") # `httpx` 模块尚未加载 httpx.get("https://google.ca...

回答 1 投票 0

抑制Mypy笔记

我从 Mypy 的表单输出中得到了大量的“注释”: 注意:默认情况下,不检查无类型函数的主体,请考虑使用 --check-untyped-defs [annotation-unchecked] 呃...

回答 1 投票 0

Python 中的递归类型以及推断 `type(x)(...)` 类型的困难

尝试构建递归类型来注释嵌套数据结构,我点击了以下内容。 根据 mypy ,此代码是正确的: Int类型 = int |列表["IntType"] |元组["IntType&quo...

回答 1 投票 0

创建重载函数,忽略签名中不相关的参数

如何更改重载的签名,以向类型检查器发出信号,表明只有一个参数负责返回类型,而忽略所有其他参数? 代码(既不是 mypy 也不是

回答 1 投票 0

迭代器的类型是 zip 中的 Any

以下脚本: from collections.abc import Iterable, 迭代器 A 类(可迭代): _list: 列表[int] def __init__(self, *args: int) -> 无: self._list = 列表(args) 定义

回答 1 投票 0

如何在类型提示中指定函数类型?

如何将变量的类型提示指定为函数类型?没有打字功能,而且我在相关的PEP,PEP 483中找不到任何东西。

回答 3 投票 0

如何强制覆盖装饰器?

我遇到了 Python 3.12 的新重写装饰器,它看起来是一个非常好的实践。 我想知道是否有办法使其“强制”使用?也许有什么办法...

回答 1 投票 0

类型提示 Python 枚举静态方法,其中定义了文字类型

在下面的代码中,Horizontal 数据类的方向属性被类型提示为仅允许 Direction 枚举中的 5 个值中的 3 个。我希望能够从动态返回枚举值...

回答 1 投票 0

正确输入带有 Callable 参数的函数

我有一个异步函数,它接受一个可以包含 CustomType1 或 CustomType2 值的列表作为输入。它还接受一个函数作为其第二个参数。现在我只使用 Callable[...,

回答 1 投票 0

Python mypy 无法从联合返回类型推断类型

这是示例代码 从输入导入 Dict、Union、Tuple def select_range(data: Dict[str, Union[str, int]]) -> Tuple[int, int]: 如果数据['开始']和数据['结束']: 返回数据[的...

回答 2 投票 0

Python 输入有效的布尔组合

我正在尝试使用Python的类型检查器来捕获不兼容的权限。我有一个许可情况,可以允许(布尔值)和要求(布尔值)特定操作。显然,我...

回答 2 投票 0

使用yield对Python函数进行正确的类型注释

阅读 Eli Bendersky 关于通过 Python 协程实现状态机的文章后,我想...... 查看他在 Python3 下运行的示例 并为

回答 3 投票 0

如何为子类实例列表进行类型注释,例如连接两个列表?

我想迭代 List[A] 和 List[Subclass of A] 并执行相同的循环。我认为做到这一点的最好方法是将两个列表连接起来。然而,mypy 对此并不高兴。 我怎样才能连接...

回答 2 投票 0

嵌套类型规范中的 TypeVar

假设我有一个使用 TypeVar 定义的类型,如下所示: T = 类型变量('T') MyType = Union[列表[T], 元组[T]] def func(a: MyType[int]): 经过 我还想要一个可选版本: MyTypeO...

回答 1 投票 0

Mypy:定义对 TypedDict 的每个子级起作用的函数

我有一个关于 TypedDicts 的打字问题。我想用“foo”方法定义一个抽象类,接受任何带有键“a”的字典。我想定义具体的类

回答 1 投票 0

python3.4中NamedTuple中的通用列表

我想定义包含通用值列表的新类型。例如(尽可能简化): 从输入导入 NamedTuple、TypeVar、List T = 类型变量('T') MyType = NamedTuple('MyType...

回答 1 投票 0


© www.soinside.com 2019 - 2024. All rights reserved.