3

因此，该函数gendata接受两个可选参数（name和source），然后根据source调用的值parser使用相同的参数，但是在此函数中需要这些参数。

  1. 解决所需参数与不需要参数的推荐方法是什么？
  2. Python 文档中有一个用于typing.Types的示例，它表明Type[SuperClass]应该接受从它继承的所有子类。为什么mypy在这种情况下抱怨，为什么只针对 arg 1 和 2 而不是 3 ( source)？

示例.py：

from dataclasses import dataclass
from typing import List, Optional, Type


@dataclass
class BaseItem:
    name: str
    value: int


@dataclass
class Item(BaseItem):
    pass


@dataclass
class AnotherItem(BaseItem):
    pass


def parser(item: Type[BaseItem], name: str, source: int) -> Type[BaseItem]:
    item.value = source
    return item


def gendata(
    items: List[Item], name: Optional[str] = None, source: Optional[int] = None
) -> None:
    for item in items:
        if source:
            item = parser(item, name, source)

测试：

$ mypy example.py 
e.py:31: error: Incompatible types in assignment (expression has type "Type[BaseItem]", variable has type "Item")
e.py:31: error: Argument 1 to "parser" has incompatible type "Item"; expected "Type[BaseItem]"
e.py:31: error: Argument 2 to "parser" has incompatible type "Optional[str]"; expected "str"
Found 3 errors in 1 file (checked 1 source file)
4

1 回答 1

4

首先，关于Type[Something]错误，根据文档，你应该Type[Something]在接收类型作为参数时使用，如果你接收到的实例BaseItem，你应该只使用BaseItem.

例子：

a = 3         # Has type 'int'
b = int       # Has type 'Type[int]'
c = type(a)   # Also has type 'Type[int]'

参考：https ://docs.python.org/3/library/typing.html#typing.Type

关于该Optional错误，我通常将 optional 视为可为空的（在他们甚至说Optional[X]等同于Union[X, None].

参考：https ://docs.python.org/3/library/typing.html#typing.Optional

因此，如果您接收到带有类型的参数Optional[str]并尝试传递给接收 a 的函数str，这将引发错误，一种解决方案是检查该值是否为None并放置一个默认字符串，例如：

def gendata(
    items: List[Item], name: Optional[str] = None, source: Optional[int] = None
) -> None:
    if name is None:
        name = ''
    if source:
        for item in items:
            item = parser(item, name, source)
于 2020-02-18T13:43:48.020 回答