考虑以下代码：
from typing import Callable, TypeVar
T = TypeVar('T')
def middle_man(
producer: Callable[[], T],
consumer: Callable[[T], None]
) -> None:
consumer(producer())
middle_man(
lambda: "HELLO",
lambda s: print(s.lower())
)
这段代码运行时没有出现错误，但是，mypy无法推断第二个lambd
浏览 1提问于2019-07-26得票数 9
1回答
枚举可以通过获取可能的成员列表来创建，我是这样做的：
# example_issue.py
import enum
yummy_foods = ["ham", "cheese"]
foods = enum.Enum("Foods", yummy_foods)
cheese = foods.cheese
这看起来没问题，运行正常，但是mypy返回
example_issue.py:4: error: Enum() expects a string, tuple, list or dict literal as the second argumen
浏览 6提问于2020-03-12得票数 4
回答已采纳
1回答
给定以下display函数，
def display(some_object):
print(some_object.value)
是否有方法以编程方式确定some_object的属性必须包括value
如果我试图将一个PyCharm传递给int函数，那么现代IDE(比如display )会产生语法错误，所以他们显然是在幕后进行这种分析。我知道如何获得，这个问题只是关于如何获取(鸭子)类型信息，即每个函数参数都需要哪些属性。
编辑:在我的特定用例中，我可以访问源代码(非混淆)，但我无法控制添加类型提示，因为这些函数是用户定义的。
玩具示例
对于简单的display函数，可以使用以下检查
浏览 0提问于2021-07-05得票数 1
我正在寻找一个Python，它可以根据类型注释检查覆盖函数返回类型。示例：
from abc import ABC, abstractmethod
from typing import List, Dict
class A(ABC):
""" Some interface """
@abstractmethod
def f(self) -> List[str]:
pass
class B(A):
""" Interface implementation "&
浏览 2提问于2021-03-07得票数 0
2回答
我正在开发一个系统，它允许您使用GUI编写一些基本的python，以便在应用程序中作为脚本使用。
它所做的事情之一是让您将一个属性设置为某个值，我想看看它是否可以由在GUI中实现的一个类型处理程序来处理。本机python类型模块无法检查str是否是Optional[str]的有效类型，或者int对于Union[float, int, complex]是否有效等.
然而，mypy静态地进行这种类型检查，并且有一个名为的函数，我认为这个函数在本例中工作得很好；但是，当我用python调用它时，我会得到异常TypeError: mypy.types.Type object expected; got
浏览 3提问于2020-07-29得票数 1
回答已采纳
虽然我对字典的结构使用类型暗示，但VSCode的微软intellisense引擎似乎无法识别字典中的类。
例如，这不起作用：
class MyClass():
def myf(self, methods):
foo = "bar"
return foo
mystring: str
mydict: Dict[str: MyClass] = {}
# mydict[mystring]. # <--- after typing the point ".", I expected hints from inte
浏览 1提问于2019-06-29得票数 0
我想使用包含Enum和Enum成员的集合。但是，当我试图访问时，我无法找到一种不会导致类型错误的编写方法。(请参见__name__何时可预期为的列表。)
对于上下文，中的BDFL给出了关于发生什么的简短解释。基本上，当您迭代具有不同类型的项的集合时，它们将被连接。所以在下一个例子中，mypy要说的是Enum和Enum成员连接到object.
示例1：
from enum import Enum
from typing import Type
class Color(Enum):
RED = 1
my_collection: tuple[Type[Color], Color] = (
浏览 12提问于2022-01-08得票数 1
1回答
import argparse
parser = argparse.ArgumentParser(description='Demo')
parser.add_argument('--verbose',
action='store_true',
help='verbose flag' )
args = parser.parse_args()
if args.verbose:
print("~ Verbose!")
else:
print("~ Not so verbose&
浏览 0提问于2018-09-08得票数 0
4回答
这个问题的一个工作示例(Python3.8)：
from typing import Union
class TestA:
def test(self) -> str:
return "testa"
class TestB:
def test(self) -> str:
return "testb"
tests = Union[TestA, TestB]
more = Union[TestA, TestB, str]
def test_pass(p: tests) -> str:
浏览 16提问于2022-01-30得票数 4
1回答
我在a.py上有以下代码
class Tags(enum.Flag):
NONE = 0
A = enum.auto()
B = enum.auto()
C = enum.auto()
# Allow using tags.A instead of tags.Tags.A
globals().update(Tags.__members__)
但是，当我在其他文件上使用它时，mypy (正确地)无法识别属性：
import tags
print(tags.A) # Module has no attribute "A"
有没有可能在Pytho
浏览 1提问于2020-03-18得票数 6
回答已采纳
我在服务器上执行左连接，并返回一个与元数据中定义的对象对应的新对象。然而，breeze似乎无法识别返回对象的类型。
我有一个实体，学校，它的元数据被加载。
public class School{
public int Id{ get; set;}
public string name {get; set;}
}
我的查询如下所示
var r = EntityQuery.from('School')
在我的方法中，如果我使用return ContextProvider.Context.Schools，那么就会收到类型为return ContextProvider.Co
浏览 0提问于2015-01-29得票数 0
1回答
from typing import Callable, TypeVar
T = TypeVar('T')
IndicatorFunction = Callable[[T], bool]
# mypy accepts this annotation.
s1: Callable[[T], bool] = lambda x: False
# mypy rejects this annotation, but it's just an alias of the first one.
s2: IndicatorFunction[T] = lambda x: False
浏览 8提问于2022-09-26得票数 0
回答已采纳
背景：我正在使用PyCharm 2019.1和Python3.7
问题：我希望创建一个泛型抽象类，这样当我继承它并将泛型类型设置为具体类型时，我希望继承的方法能够识别具体类型，并在类型不匹配时显示警告。
带有子类的通用ABC
from abc import ABC, abstractmethod
from typing import TypeVar, Generic
T = TypeVar("T")
class FooGenericAbstract(ABC, Generic[T]):
@abstractmethod
def func(self) ->
浏览 4提问于2020-07-23得票数 8
我们为什么要在->中使用def __init__(self, n) -> None:？我读了下面的节选，但我无法理解它的含义。
(请注意，__init__的返回类型应该用-> None注释。原因是微妙的。如果__init__假定了-> None的返回注释，这是否意味着一个参数少、未带注释的__init__方法仍然应该进行类型检查？我们只是说__init__应该有一个返回注释；因此，默认行为与其他方法相同。)
使用def __init__(self, n) -> None:和def __init__(self, n):有什么细微的区别？有人能用简单的话解释一
浏览 3提问于2020-11-20得票数 18
回答已采纳
1回答
我有这些python类：
class LocalWritable(typing.TypedDict):
file_name: str
class GSheetWritable(typing.TypedDict):
tab_name: str
class S3Writable(typing.TypedDict):
data_name: str
table_name: str
WriterMeta = typing.Union[GSheetWritable, S3Writable, LocalWritable]
class DataWriter(ABC
浏览 6提问于2022-04-19得票数 0
回答已采纳
1回答
mypy的Python类型存根
、、、、
我尝试为流行的Marshmallow反序列化库查找类型存根，这个库通常与烧瓶一起使用。考虑到库的功能通常是动态的，输入可能会很困难，但是知道是否有任何有意义的工作会很有趣。
TLDR:马斯马洛有类型存根吗？
浏览 8提问于2021-07-22得票数 3
2回答
我有两个基类A和B，它们的定义如下：
class A(object):
def common_function(self):
pass
class B(object):
def __init__(self, a: A):
self.a = a
def another_common_function(self):
pass
类A保存一些管理信息，而类B保存一些其他信息，这些信息基于A类中包含的信息，因此它知道它的A实例。
我还有两个派生类dA和dB，它们的定义如下：
class dA(A):
def __init__
浏览 0提问于2019-06-06得票数 1
回答已采纳
我在国外的图书馆里有一本class A。
class A:
def __init__(self, a: int):
self.a = a
我想用A扩展一个class B，如下所示：
import attr
@attr.s
class B(A):
b: int = attr.ib()
代码似乎可以工作：
import attr
class A:
def __init__(self, a: int):
self.a = a
attr.s(these={
"a": attr.ib(type=str)
}, init
浏览 2提问于2021-10-16得票数 3
我有一个python类，如下所示：
from typing import Optional, Union, Dict
import numpy as np
class TestClass():
def __init__(self, a: Optional[float] = None, b: Optional[float] = None):
self.a = 1 if a is None else a
self.b = b
@property
def input_values(self) -> Dict[str, Union[f
浏览 5提问于2021-11-25得票数 0
1回答
因此，使用frozen=True创建有效的可哈希数据类是很棒的，但它打破了我检查代码类型的能力，因为Hashable似乎不能自动将冻结的数据类识别为mypy的实例。这当然是有意义的，因为我没有显式地扩展那个类(如果它可以推断就太棒了)，但是有没有人找到了这个问题的优雅的解决方案/变通方法呢？
浏览 17提问于2021-05-08得票数 2
回答已采纳
1回答
如何让这段代码成功运行并通过mypy检查？
from datetime import datetime
class TimeStamp(str):
"""ID with a short form and a long form."""
def __new__(cls, datetime) -> TimeStamp:
short = str(datetime.timestamp())
long = datetime.strftime("%Y-%m-%d %H:%M:%S
浏览 5提问于2021-06-09得票数 0
回答已采纳
1回答
我在玩mypy (版本: 0.630)，我很难让它看到我的存根文件。有人能告诉我这里出了什么问题吗？
我的目录结构如下所示：
├── caesar.py
└── stubs
└── caesar.pyi
caesar.py包含一些有效的python代码。caesar.pyi包含单词bugger。我希望当我运行mypy时，我会得到一个错误。我是这样运行的：
export MYPYPATH=${PWD}/stubs
mypy caesar.py
没有输出(表示成功)。我错过了什么简单的东西？
-编辑--
然后，通过添加一些空的init文件并更改目录结构，尝试了一个小实验：
├── caes
浏览 3提问于2018-09-28得票数 5
1回答
我不能让Mypy识别这里的正确类型。我要做的就是为类创建一个名称的dict，这样我就可以通过提供一个type_name作为它的属性来获取这个类。也许是因为dataclass和dataclasses-json的东西把它搞混了？ # mypy_test.py
from dataclasses import dataclass
from typing import Any, Dict, Type, TypeVar
from dataclasses_json import DataClassJsonMixin
@dataclass
class _BaseDataItem(DataClassJ
浏览 13提问于2020-10-21得票数 1
我试图通过使用ruamel.yaml的模块来使用MyPy，但是Mypy找不到ruamel.yaml，即使Python找到它也没有问题。我很困惑，因为我也找不到名为YAML.py的模块或名为YAML的类，尽管这些语句在Python语言中可以工作：
from ruamel.yaml import YAML
yaml = YAML()
x = yaml.load()
我需要做什么才能让MyPy识别ruamel.yaml？
浏览 1提问于2018-09-05得票数 3
我使用实例__class__属性来指定从超类创建的实例。但MyPy用Incompatible return value type拒绝了它。 有没有一种最具蟒蛇风格的选择，可以做到这一点而不忽略它？ 下面是我的示例代码： class A:
def __init__(self, a: int = None):
self.a = a or 1
class B(A):
def b(self) -> int:
return 5 + self.a
@classmethod
def specify(cls, a_instance:
浏览 22提问于2021-10-24得票数 1
回答已采纳
根据，我试图在Python2中键入注释函数。该函数接受一个容器，它应该同时实现__len__和__iter__。我要添加这个注释的原始代码非常复杂，因此考虑一个示例函数，如果int为偶数，则返回容器s中所有len(s)的乘积，否则返回1。
如果我想在只需要__len__的地方对容器进行注释，我会将其注释为type: (Sized) -> int。如果我想在只需要__iter__的地方对容器进行注释，我会将其注释为type: (Iterable[int]) -> int。但是，如何完美地注释一个需要两者的容器呢？
我按照的建议试了一下：
from __future__ import
浏览 1提问于2016-05-19得票数 7
1回答
是否可能有一个装饰器将类型注释添加到函数中，以便像mypy这样的静态类型检查器可以检测违规行为？
作为一个简单的尝试：
@returns(None)
def foo():
return 3
应相当于：
def foo() -> None:
return 3
但是，当将mypy定义为returns时，returns无法检测类型冲突。
def returns(type):
def inner(func):
func.__annotations__['return'] = type
return func
retu
浏览 0提问于2020-07-10得票数 0
回答已采纳
1回答
我有一个具有以下结构的Python项目
src/
__init__.py
m/
__init__.py
a.py
b.py
src/m/__init__.py的内容如下
exec_str = 'A = type("A", (object,), {"x": 1})'
src/m/a.py的内容如下
from src.m import exec_str
exec(exec_str)
src/m/b.py的内容如下
from src.m.a import A
当我针对这段代码运行mypy时，我得到
错误:模块'
浏览 0提问于2018-08-06得票数 4
回答已采纳
Python Enums通常从str继承，然后重写_generate_next_value以返回枚举名称，这样就可以使用auto()函数将名称简单地作为字符串返回。但是，这会在MyPy中引发一个错误。 例如，如果您声明： from enum import Enum, auto
class StrEnum(str, Enum):
def _generate_next_value_(name, start, count, last_values):
return name
class Foo(StrEnum):
bar = auto()
baz = a
浏览 15提问于2021-09-24得票数 1
回答已采纳
在下面的代码中，x2和x3的定义显然是错误的，但是mypy并不抱怨。
from typing import NamedTuple
class X(NamedTuple):
a: float
b: float
c: float
def foo():
x1 = X(1, 2, 3)
x2 = X(1, 2)
x3 = X("1", 2, 3)
如果删除函数声明并将这三行放入主文件范围，则mypy将正确识别这两个错误。
from typing import NamedTuple
class X(NamedTuple):
a
浏览 4提问于2022-02-09得票数 0
回答已采纳
1回答
当我编写以下代码时，mypy会发出一个错误(就像它应该发出的那样)：
from typing import TypeVar, Generic, List
Data = TypeVar("Data")
class State(Generic[Data]):
def __init__(self) -> None:
self.d: Data = 8.9
s = State[int]()
当我从ctor中删除(完全冗余的，对吗？) -> None部件时，mypy会忽略类型不匹配。为什么会这样呢？(请注意，这不是的副本)
浏览 2提问于2021-11-16得票数 0
回答已采纳
2回答
我想从C调用Python脚本，传递脚本中需要的一些参数。
我想使用的脚本是mrsync，或。我通过命令行调用：
python mrsync.py -m /tmp/targets.list -s /tmp/sourcedata -t /tmp/targetdata
-m是包含目标ip地址的列表.-s是包含要同步的文件的目录。-t是要放置文件的目标机器上的目录。
到目前为止，通过使用以下C程序，我成功地运行了一个没有参数的Python脚本：
Py_Initialize();
FILE* file = fopen("/tmp/myfile.py", "r");
浏览 2提问于2012-08-27得票数 24
回答已采纳
我有一个属性，每个实例只计算一次，并使用None作为保护值。这是一种非常常见的属性模式。
注释它的最好方法是什么？
编辑/澄清：
这个问题是关于如何使用类型来验证我的属性的代码。不是关于如何重构代码。属性的类型正是我想要的方式，作为一个非可选的int。例如，假设下游代码将执行print(book.the_answer+1)。
不正确的字符串和无字符串的赋值完全是有意违反财产期望定义的合同的，我想要标记它们。
尝试#1
class Book:
def __init__(self, title):
self.title = title
_the_answer =
浏览 1提问于2019-08-07得票数 9
回答已采纳
1回答
我想注释我的返回类型，它恰好是一个包含整数列表的列表。这个注解：List[List[int]]可以吗？下面是我的返回类型的确切示例：
[[1, 2, 3], [4, 5, 6], [7, 8, 9]]
浏览 0提问于2018-04-11得票数 7
1回答
对于上下文，我使用Python库与一个C库进行接口。但是，没有必要熟悉C或ctypes来回答这个问题。所有这些都发生在我正在创建的python模块的上下文中。
简而言之，我的问题是：如何允许指针(例如PyCharm或PyCharm插件)链接在运行时创建的对象？**“您不能”不是答案;)。当然，总是有一种方法，有脚本之类的。我想知道最简单的方法是什么。
首先，我介绍我的问题和目前我采取的办法。第二，我将描述我想做什么，并问我怎么做。
在这个C库中，定义了大量错误代码。我将此信息从.h头文件转换为Python：
# CustomErrors.py
from enum import Enum
cl
浏览 1提问于2020-10-24得票数 1
1回答
mypy设置字典键/接口
、、、
假设我有一个以字典为参数的函数：
def f(d: dict) -> None:
x = d["x"]
print(x)
我可以指定这个字典必须有"x" to mypy这个键吗？我正在寻找类似于的东西，而不是将d更改为类。
我不想将d更改为一个类的原因是，我正在修改一个大型的现有代码库，以添加mypy类型检查，并且这个字典在许多地方都有使用。如果我必须将d["x"]的所有实例更改为d.x，我将不得不修改大量代码。
浏览 31提问于2018-06-02得票数 4
回答已采纳
1回答
稍微有点背景，我基本上需要定义一个int包装器类型，比如MyInt (以及其他一些类)，以及另一个可以接受MyInt对象以及其他类型对象的通用Interval类型。由于Interval所接受的类型不属于一个整洁的层次结构，我认为这将是实验Protocol的一个完美的用例，在我的例子中，它需要几个方法和几个@classmethod，所有的方法都返回一个“自我类型”，即MyInt.my_method返回一个MyInt。这是一个MCVE：
from dataclasses import dataclass
from typing import Union, ClassVar, TypeVar, Ge
浏览 0提问于2018-11-02得票数 8
回答已采纳
1回答
我目前正在重写一个程序，其中我采用了两个较旧的脚本，并将它们合并为一个。我重用了大部分代码，并且在新版本中我还使用mypy进行类型检查。 在尝试访问我用attrs创建的类的属性时，总是会出现一个索引类型无效的假错误。 # classes.py
@attrs(on_setattr=_validate_dict)
class Config:
defaults = attrib(
default=Factory(dict),
validator=_validate_dict)
target = attrib(
default=Fact
浏览 32提问于2021-01-14得票数 1
1回答
我正在尝试使用Python3中的mypy来注释我的日志记录模块，但是，我在注释namer函数时遇到了问题：
import logging
def _namer(name: str) -> str:
return name + '.gz'
def get_logger(file_name: str, level: str) -> logging.Logger:
logger = logging.getLogger(__name__)
handler = TimedRotatingFileHandler(file_name, backupCo
浏览 14提问于2017-07-25得票数 2
回答已采纳
1回答
在这个片段中，当前(4.1)编译器抱怨无法确定要转换为使用的重载(可能需要类型注释)，但它将s识别为字符串。为什么？
let wtf (list:string List) =
List.map (fun s -> System.Convert.ToInt32(s)) list
浏览 2提问于2017-04-12得票数 1
回答已采纳
我在Python3代码中使用了类型提示。VS Code似乎无法正确解析类型提示，因为语法突出显示变得混乱(文档字符串不能正确突出显示，注释不再被识别)。
我已经安装了所有必要的扩展(Python和MagicPython加上Python for VSCode)。还有什么是我错过的吗？
浏览 5提问于2018-09-04得票数 16
回答已采纳
1回答
假设x具有list[int] | list[str]类型，也就是说，它要么是一个仅包含ints的列表，要么是一个只包含字符串的列表。
那么set(x)要么是一个仅包含it的集合，要么是一个只包含字符串的集合，所以我希望它具有set[int] | set[str]类型。然而，Pylance推断出了set[int | str]类型，据我理解，它描述了一组可能同时包含in和字符串的集合，因此显然是另一种类型。(实际上，Pylance同意这两种类型不兼容。)
这是一种错误行为还是我遗漏了什么？
示例
def my_set(x: list[int] | list[str]) -> set[int]
浏览 7提问于2022-10-28得票数 2
下面的代码带有python类型提示，它有很多错误。代码中的所有错误都是由类型发现的，而不是S构造函数中的错误。为什么？我不知道发生了什么谢谢
代码：
import typing
class T(object):
def __init__(self, a: int, b: str = None) -> None:
self.a = a
self.b: typing.Union[str, None] = b
self._callback_map: typing.Dict[str, str] = {}
class S(T):
浏览 1提问于2018-05-24得票数 0
回答已采纳
4回答
我正在使用库的URL对象。
它有一个准私有属性._val，它是一个urllib.parse.SplitResult对象，但在yarl/__init__.pyi中没有类型注释。(这是可以理解的，如果开发人员不想正式将其作为公共API的一部分。)
然而，我选择使用URL._val是出于我自己的风险。一个虚拟的例子：
# urltest.py
from urllib.parse import SplitResult
from typing import Tuple
from yarl import URL
def foo(u: URL) -> Tuple[str, str, str]:
浏览 3提问于2019-09-17得票数 7
回答已采纳
我有以下(类型化) Python函数：
from typing import overload, Literal, NoReturn
@overload
def check(condition: Literal[False], msg: str) -> NoReturn:
pass
@overload
def check(condition: Literal[True], msg: str) -> None:
pass
def check(condition, msg):
if not condition:
raise Exceptio
浏览 6提问于2021-12-12得票数 6
回答已采纳
1回答
我使用类型注释来允许我的IDE PyCharm为我提供自动完成和打字机。
对于我当前的项目，我构建了一个多层次的泛型类层次结构，但是，在某些时候，某些类型信息似乎会丢失。
我不确定这是否是我的错，是python类型注释/泛型机制的问题，IDE的问题还是预期行为的问题。
让我用一个简短的例子来解释这一点：
L = TypeVar("L")
class List(Generic[L]):
# rather generic list implementation
def get(self) -> L:
return None
T = Type
浏览 25提问于2022-03-02得票数 2
2回答
我有一个处理序列的Python函数，并返回相同类型的序列。例如，如果给它一个整数列表，它将返回一个整数列表，如果它被提供一个字符串，它将返回一个字符串。
如何为此函数添加类型提示？
下面的代码运行良好，但不是非常严格的类型检查：
from typing import Any, TypeVar, Sequence
_S = Any
def process_sequence(s: _S) -> _S:
return s
def print_str(word: str):
print(word)
def print_sequence_of_ints(ints: Sequ
浏览 0提问于2018-04-18得票数 1
1回答
为了支持针对包运行mypy，我一直在将类型信息添加到包的mypy文件中。除其他外，还允许为这个第三方包生成信息。
由于我的包必须兼容Python2.7，所以我对类型信息使用注释：
def __init__(self, s):
# type: (Text) -> None
但是为了运行mypy，这需要我导入输入：
from typing import Text, IO, BinaryIO, Union
这造成两个问题：
这将不适用于Python3.5.0和3.5.1，因为它有一个模块typing，但不包括Text。从安装PyPI并不能解决这个问题。(还有一些用户在那个版本的Py
浏览 11提问于2017-04-20得票数 2
回答已采纳
1回答
以下代码存储在一个名为sample.py的文件中。
import re
from typing import Optional, Tuple
def func(path: str) -> Optional[Tuple[str, str]]:
regex = re.compile(r"/'([^/']+?)'/'([^/']+?)'")
try:
return regex.match(path).groups()
except AttributeError:
retu
浏览 0提问于2019-07-19得票数 9
回答已采纳
1回答
为什么不推断所有的静态类型？
、、、、
由于Python支持类型注释，因此它启用了静态类型规则。在使用ast模块生成的AST时，我突然想到，考虑到这样的规则，可以推断所有类型，所以不应该需要类型注释。给定静态类型杂注(可能是代码文件顶部的注释)，解析器中的另一层逻辑可以遍历AST以确定所有变量的类型。
例如，从获取这段代码片段
d = {} # type: Dict[str, int]
with open(sys.argv[1]) as f:
for s in f:
for word in re.sub('\W', ' ', s).split():
浏览 0提问于2019-01-11得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
