mypy 相关问题

Python 类型：从返回 Union 的函数缩小类型

我很难找到满足 mypy 的返回类型。我有两个功能。第一个返回 Union 类型，因为该类型取决于赋予函数的参数。第二个功能...

如何注释函数生成数据类？

假设您想像这样包装数据类装饰器： 从数据类导入数据类 def some_else(klass): 返回类 def my_dataclass(klass): 返回一些东西_else（数据类（kl...

使用 mypy 处理条件逻辑+哨兵值

我有一个大致如下所示的函数： 导入日期时间 从输入 import Union 哨兵类（对象）：通过 哨兵 = 哨兵() 定义函数（ dt: 日期时间.日期时间, as_tz：联盟[

将空元组分配给专用变量时的类型不兼容

我有一个变量路径，它应该是一个字符串元组。我想从将其设置为空元组开始，但 mypy 抱怨。 路径：元组[str] = () 错误是： 赋值中不兼容的类型 (

{method} 的签名与超类型 {Class} 不兼容

在尝试更新我的代码以使其兼容 PEP-484 时（我使用的是 mypy 0.610），我遇到了以下报告： $ mypy mymodule --严格可选 --ignore-missing-imports --disallow-untyped-calls --

TypeVar(A, B, covariant=True) 是什么意思？

今天我深入研究了里氏替换原理和协变/逆变。 我陷入了以下两者之间的区别： T = TypeVar("T", 边界=Union[A, B]) T = TypeVar(&q...

mypy：是否可以为复杂类型定义快捷方式？

我正在使用Python3，刚刚学会了如何使用mypy。我正在阅读文档（特别是这部分似乎相关），但找不到我的问题的任何答案： 是可以定义的

Python - 打字 - 可下标类型的联合

我想创建一个数组类型，它应该是可下标的并且是typing.List和numpy.ndarray类型的联合。 我知道 numpy 没有带有存根，但是那些 numpy 存根（由 Machinalis 提供）sho...

如何在 Python 中输入类的对象也遵守协议的提示？

我有一组类，我们称它们为 Foo 和 Bar，它们都继承自当前范围之外定义的基类 Father（不是我定义的）。我定义了一个协议类DummyProto...

mypy：类型注释多种类型列表的正确方法

我有一个列表列表，每个列表都包含一个文件对象和一个字符串列表： 样本=[ [fileobject1, ['你好', '世界']], [fileobject2, ['某事', '其他']] ] 我输入带注释的示例 l...

mypy：“联盟项目没有属性”错误

尝试学习在Python中输入提示。鉴于这两个函数： 从输入 import Union, TextIO def myfunc_ok(文件: TextIO): mydump = 文件.read() 打印（mydump） def myfunc_error(文件: ...

如何将 typeshed 与 mypy 一起使用？

我克隆了 typeshed，但我不知道如何告诉 mypy 使用它包含的类型提示，我在 mypy --help 中没有看到任何选项。 mypy 存储库确实包含对 typeshed 存储库的引用，但是 pip insta...

Callable 是无效的基类？

有人可以解释一下为什么要继承非参数化和参数化的Callable： 从输入 import Callable 从输入 import NoReturn 从输入导入 TypeVar T = TypeVar('T', str, int) C =

如何在模块中使用typing.Protocol？

我想定义一个可由对象（可能是模块）满足的协议： 从输入导入协议 类 MyType（协议）： def foo(self) -> int： ... 我的班级...

通用 *args 的 Python 类型提示（特别是 zip 或 zipWith）

我正在编写一个名为 zip_with 的函数，其签名如下： _A = 类型变量("_A") _B = 类型变量（“_B”） _C = 类型变量(“_C”) def zip_with(拉链: 可调用[[_A, _B],...

mypy 的类型提示，用于 staticmethod/classmethod 上的装饰器

我正在为记录器库编写一个帮助器，该库具有具有特定跟踪（调试）日志记录的装饰器。 代码本身是正确的（它部分基于现有库），但我很难找到...

为什么 mypy 通过 -p 命令行选项传递包时找不到我的包？

我位于包含 python 包的目录中，并运行 mypy -p ，但它只是错误地显示“找不到包”。 我做错了什么？

为什么TypedDict调用update方法时mypy没有通过

示例： 从输入导入 TypedDict 类 MyType(TypedDict): a：整数 b：整数 t = MyType(a=1, b=2) t.更新(b=3) mypy toy.py 抱怨 toy.py:9:1: 错误：意外的关键字参数 &quo...

VSCode 是否支持用于 IntelliSense 的 Python .pyi 文件？

在 VS Code 中，我尝试导入一个名为 foo.py 的模块，该模块具有类型提示存根文件 foo.pyi。我想像 PyCharm 那样根据 .pyi 文件中的类型提示获得代码自动完成功能。然而，...

使用 Protocol 和 TypeVar 来指定任意数据类的 Python 类型提示

我正在编写一个可以在内存中存储任意数据类的类。我试图指定要存储的实例必须是数据类并且具有 id 字段。也应该可以得到