Mypy是Python的可选静态类型检查器。
以下代码按预期被 mypy 拒绝: def foo(值: int) -> 无: 打印(值,类型(值)) foo(无) 输出: 错误:“foo”的参数 1 具有不兼容的类型“...
我有以下代码(片段): 从 sqlalchemy.orm 导入 declarative_base 基础=声明性_基础() 我安装了 pip $ pip install -U sqlalchemy[mypy] sqlalchemy-stubs mypy $ 点列表 |
是否需要一些特殊设置来帮助 mypy 识别标准 attrs 用法? somefile.py:7: 错误:找不到名为“attr”的模块的实现或库存根 [导入未找到] (对于...
无法使用 openpyxl 解决“_WorkbookChild”没有属性“max_row”[attr-defined]'警告
使用下面的 python 文件,我无法解决 mypy 错误。 导入 openpyxl inputWorkbook = openpyxl.load_workbook("input.xlsx") activeSheet = inputWorkbook.active 如果是活动表: ...
我有一个问题,当我尝试检查给定值的类型是否不是我期望的类型时,我会记录它并引发错误。 然而,mypy 却在抱怨。我做错了什么? 简化示例: 来自
我有一些代码可归结为以下内容: 从输入导入 Callable, TypeVar T = 类型变量(“T”) def default_fn() -> str: 返回“你好世界!” def call_fn(fn:
如何正确使用 T=TypeVar('T',bound=...) 和 Type[T] ?
我有以下带类型注释的 Django 代码: 从输入导入可选、类型、TypeVar 从 django.db 导入模型 T = TypeVar('T',bound=models.Model) def get_obj_or_none(模型: 类型[T],
通常可以理解,可调用对象的返回类型是协变的。当定义具有可调用属性的类型时,我确实可以使返回类型泛型和协变: 从输入导入
如何在 Python 的泛型类中拥有可选的 TypeVar?
我正在尝试编写一个简单的类型包装器来表示装饰器函数的接口: 从输入 import Protocol、TypeVar、Generic TIn = TypeVar('TIn', 逆变=True) TOut = TypeVar('...
在Haskell中我们可以使用rankN类型,如下所示: rankN :: (forall n.Num n => n -> n) -> (Int, Double) 等级N f = (f 1, f 1.0) python 中的 mypy 可以做同样的事情吗? 我尝试了以下
在从 QTableView 继承的类中我有这个函数: 定义编辑( 自己, 索引:QModelIndex, 触发器:QAbstractItemView.EditTrigger, 事件:可选[QEvent], )...
考虑一个执行类型提升的函数,例如两个数字的简单乘法,两个数字都可以是 int 或 float def mul(a: int | float, b: int | float): # 返回类型? 返回...
Django 与 mypy:如何解决由于扩展“AbstractUser”的自定义“User”模型类重新定义字段而导致的不兼容类型错误?
我有一个现有的 Django 项目,它使用扩展 AbstractUser 的自定义用户模型类。由于各种重要原因,我们需要重新定义email字段,如下: 用户类(AbstractU...
我有两个链接的抽象基类,应该一起子类化。为了举一个最小的例子,我们假设它是某个类 TobeProcessed,以及另一个类 Processor,它...
我正在尝试编写一个带有接受额外值的附加构造方法的类。这些额外的值计算起来很昂贵,并且在程序结束时保存,所以 .initialize()
在`TypeVar`上使用`Unpack`来动态生成函数签名
我正在尝试动态生成 _AbstractGameObject 子类的函数签名。我已经成功地尝试了在子类中解压具体的 TypedDicts,但是
在 Python 类型中,有没有一种方法可以指定允许的依赖泛型类型的组合?
我在 Python 中有一个非常小但通用(可能太多)的类,它实际上有两个约束在一起的泛型类型。我的代码(但打字不好)应该显示我的意图: 班级
我正在尝试实现一个注入 DBConnection 的装饰器。我面临的问题是我想支持两者:传递参数并依赖装饰器来注入它。我有...
我正在尝试定义使用协议键入的辅助函数,这些函数稍后将在 SQLAlchemy 2.0 映射类上使用。 就我而言,我需要 SQLAlchemy 类的特定映射属性(即 co...
在 python 3.11 (mypy 1.7.0) 中,我有一个构造动态 NamedTuple 类型的函数。 我首先尝试使用 Type[NamedTuple] 键入它,但这会导致 python 期望命名元组构造函数...