标签: python-typing

我有两个带有注释/类型提示的类。

第一个工作没有任何问题：

from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from bunyamin.models.exchange import Exchange

class Kline:

    def read_klines(exchange: Exchange):
        pass

第二个确实很相似：

from typing import TYPE_CHECKING

if TYPE_CHECKING:
    from bunyamin.models.timeframe import Timeframe

def normalize_dt(dt: datetime, timeframe: Timeframe) -> datetime:  # -> This line raises NameError
    pass

但提出NameError: name 'Timeframe' is not defined。

我知道我可以使用字符串（如'Timeframe'）而不是类本身，但据我所知这不是预期的行为。我缺少什么？

我使用的 Python 版本是 3.8.2（如果相关的话）。

编辑：

当我试图隔离问题时，我省略了所有“看似不相关”的导入。但第一个文件实际上包含from __future__ import annotations在顶部，这使得它可以工作。详情请参阅第一个答案。

是否typing.TypedDict允许额外的钥匙？如果某个值具有 TypedDict 定义中不存在的键，该值是否会通过类型检查器？

使用以下示例：

from typing import Callable, Generic, Type, TypeVar

ThetaType = TypeVar('ThetaType', bound=int)
XType = TypeVar('XType', bound=int)


class IteratedFunction(Generic[ThetaType, XType]):

    def find_fixed_point(self,
                         theta: ThetaType,
                         x_init: XType) -> XType:
        return x_init


def combinator(
    iterated_function_cls: Type[
        IteratedFunction[ThetaType, XType]]) -> Callable[
            [IteratedFunction[ThetaType, XType]], XType]:
    old_find_fixed_point = iterated_function_cls.find_fixed_point

    def new_find_fixed_point(
            iterated_function: IteratedFunction[ThetaType, XType],
            theta: ThetaType,
            x_init: XType) -> XType:
        return old_find_fixed_point(iterated_function, theta, x_init)

    return new_find_fixed_point

MyPy 说：

a.py:25: error: Incompatible return value type (got "XType", expected "XType")
a.py:25: error: Argument 1 has incompatible type "IteratedFunction[ThetaType, …

我想了解是否typing仍然需要该软件包？

如果在 Python 3.8 中我这样做：

from typing import Any, Dict
my_dict = Dict[str, Any]

现在，在通过 PEP 585 的 Python 3.9 中，现在首选使用集合的内置类型，因此：

from typing import Any
my_dict = dict[str, Any]

我是否仍然需要使用typing.Any或者是否有一个我找不到的内置类型来替换它？

在键入注释字符串、文本或 str 时应该使用什么？使用时有什么区别？

例如：

from typing import Text
def spring(a: Text) -> Text:
    return a.upper()

或者

def spring(a: str) -> str:
    return a.upper()

正如您在PEP 526中看到的，我们可以使用 ClassVar 字定义静态变量类。像下面这样

class Starship:
    stats: ClassVar[dict[str, int]] = {} # class variable
    damage: int = 10                     # instance variable

正如您在PEP 591中看到的另一个打字功能，我们可以使用 Final word 定义常量（只读）变量，如下所示

class Connection:
    TIMEOUT: Final[int] = 10

我的问题是如何组合这两个词来表示我的类静态变量是 Final？

例如下面的代码有效吗？

class Connection:
    TIMEOUT: Final[ClassVar[int]] = 10

我有以下代码：

def extract_table_date(bucket_path: str) -> str:
    event_date = re.search(r"date=([^/]+)", bucket_path)
    return event_date.group(1)[0:10].replace("-", "")

mypy 在最后一行抛出错误：

“Optional[Match[str]]”的“None”项没有属性“group”

我想我可以通过为 分配一个类型来解决这个问题event_date，我可以：

from typing import Match

def extract_table_date(bucket_path: str) -> str:
    event_date: Match = re.search(r"date=([^/]+)", bucket_path)
    return event_date.group(1)[0:10].replace("-", "")

但 mypy 现在在函数的第一行抛出另一个错误：

赋值中的类型不兼容（表达式的类型为“Optional[Match[Any]]”，变量的类型为“Match[Any]”）

我真的不知道如何通知 mypy 结果不是可选的，但尽管如此，我还是遵循了可选类型和 None 类型的建议，添加了断言：

from typing import Match

def extract_table_date(bucket_path: str) -> str:
    assert bucket_path is not None
    event_date: Match = re.search(r"date=([^/]+)", bucket_path)
    return event_date.group(1)[0:10].replace("-", "")

但 mypy 仍然引发相同的错误。

我尝试通过更改定义的类型来修复event_date：

from typing import Match, …

mypy版本0.910

考虑

d = {
    'a': 'a',
    'b': {
        'c': 1
    }
}

d['b']['d'] = 'b'

将其提供给mypy结果

error: Unsupported target for indexed assignment ("Collection[str]")

mypy放置推断错误类型的一侧d（它显然不是字符串集合），添加一个非常基本的显式类型d修复此问题：

d: dict = {
    ... # same as above
}

Success: no issues found in 1 source file

我觉得这很奇怪。mypy绝对应该能够推断出这d是一个没有d: dict.