mypy 相关问题

StrEnums 和类型缩小 (mypy)

我正在与 StrEnums 的类型缩小作斗争 总结我的问题我有一些抽象基类 从 abc 导入 ABC，抽象方法 从枚举导入 StrEnum 动物类（ABC）： @静态方法...

如何为 bool 参数按值编写 types.overload 装饰器

我想问的示例代码如下。 互联网上的示例都没有尝试超载参数值本身。 其中一个参数是 bool 值，我想重载一个方法

给定 list[int] | 的参数list[str]，如果元素[0]是int，我不能确定列表是list[int]，反之亦然吗？

我有一个python脚本并尝试向代码添加类型提示，以下是使用mypy的示例代码（没有类型提示，代码可以工作）。 value_int: 列表[int] = [1, 2, 3, 4] value_str: 列表[s...

由于转换动态添加 is_* 属性，处理 mypy [attr-defined] 错误的正确方法是什么？

MRE 从转换导入机器 交易系统类： def __init__(自身): self.machine = Machine(model=self, states=['RUNNING'], 初始='RUNNING') def check_running(self) ->...

如何输入注释可选类类型参数

我有以下代码 从输入导入 TypeVar、类型、重载 T = 类型变量('T') @超载 def foo(bar: 类型[T]) -> T: ... @超载 def foo(bar: 类型[T] | 无) -> T |没有任何： ... ...

如何将类型约束为Python中子类的联合？

我有一个 Foobar 类，有几个子类，比如 FoobarAlpha 和 FoobarBeta 我知道如何定义一个类型 AnyFoobar = TypeVar("AnyFoobar",bound=Foobar) 它将匹配 F 的任何子类...

Mypy 不会忽略多个错误

使用以下配置文件 mypy 不会忽略覆盖错误，而只会忽略导入类型的错误 [我的] disable_error_code = 导入非类型，覆盖 指定多个值的正确方法是什么...

如何在Python中将类型约束为子类的联合？

我有一个 Foobar 类，有几个子类，比如 FoobarAlpha 和 FoobarBeta 我知道如何定义一个类型 AnyFoobar = TypeVar("AnyFoobar",bound=Foobar) 它将匹配 F 的任何子类...

mypy Reveal_type 的单元测试

我在遗留代码（python 库：music21）中有一些要点，它使用大量重载和通用变量来显示/类型检查 t.Sequence 中的所有子元素都属于特定类型。 ...

numpy 与 mypy：索引 NDArray 返回 Any 类型

是否可以索引 numpy 数组至少接收相同的类型？ 通过 mypy 运行以下代码会显示以下类型： 将 numpy 导入为 np 从 numpy.typing 导入 NDArray 一个...

Python 类型中的协变和不变集合

我在Python中遇到的一个问题是List类型是不变的——这意味着它只能保存特定类型的对象，否则你会得到一个类型错误（例如当运行时...

输入list[T]，允许T和派生类Python MyPy

我在Python中遇到的一个问题是List类型是不变的——这意味着它只能保存特定类型的对象，否则你会得到一个类型错误（例如当运行时...

在泛型函数 python 中输入 list[T]

我在Python中遇到的一个问题是List类型是不变的——这意味着它只能保存特定类型的对象，否则你会得到一个类型错误（例如当运行时...

如何向动态创建的类添加类型注释？

在一个应用程序中，我有生成动态类的代码，这大大减少了重复代码的数量。但是为 mypy 检查添加类型提示会导致错误。考虑

通过对单成员枚举进行不平等检查来缩小类型仅适用于某些类型的联合

考虑： 从数据类导入数据类 从 uuid 导入 UUID 从枚举导入枚举 E 类（枚举）： 米=“米” @数据类 A类： e：str |乙 a = A(E.m) def f(x: str) -> 否...

显式元组泛型扩展

简化场景（游乐场）： 从输入 import TypeVar, Reveal_type A类：... B（A）级：... C(A) 级：... T = TypeVar('T', 边界=A) def fun(*args: T) -> tuple[T, ...]: 返回 arg...

MyPy：模块“src.some..nested.folder.python_file”没有属性“attribute_thats_definetely_there”[attr-defined]

我的文件夹结构如下： 根 ├── 来源 │ ├── 一些 │ │ ├── 嵌套 │ │ │ ├── 文件夹 │ │ │ | ├── __init__.py │ │ │ | ├── python_file.py │ │ │ ├── __init__...

mypy，类型提示：Union[float, int] -> 是否有 Number 类型？

mypy 确实很方便并且捕获了很多错误，但是当我编写“科学”应用程序时，我经常最终会这样做： def my_func(数字: Union[float, int]): ＃ 做一点事 数字要么是 flo...

是否可以让mypy检查属性是否存在于至少一个联合项（而不是每个联合项）中？

我正在尝试将 mypy 应用于已经具有类型注释（由 PyCharm 检查）的大型代码库。运行 mypy 时，我收到大量错误，例如： 错误：项目“Bar”为“...

Mypy 对于带有 attrs 包的修饰类的子类返回错误“意外的关键字参数”

我有两个使用 attrs 包的装饰类，如下所示： @attr.s(kw_only=True) 类实体： ”“” 所有实体的基类 ”“” 实体_id = attr.ib...