如何键入一个 function，它采用 class 或 class 的一个实例，并返回该 class 的一个实例？

Question

我想键入一个 function，它可以采用 class 类型或 class 的实例，然后返回相同 class 的实例。例如：

from typing import Type, TypeVar, Union

DT = TypeVar("DT")

def tmap(dest_type_or_obj: Union[DT, Type[DT]]) -> DT:
    if isinstance(dest_type_or_obj, type):
        dest_obj = dest_type_or_obj()
    else:
        dest_obj = dest_type_or_obj
    return dest_obj

class Dest:
    pass

instance_dest = tmap(Dest())  # Works fine

type_dest = tmap(Dest)  # [arg-type] mypy(error)
# Argument 2 to "map" of "ObjectMapper" has incompatible type "Type[Dest]"; expected "Type[<nothing>]"

Answer 1

您应该将Dest class 绑定到 TypeVar，以防止Type[<nothing>]错误：

from typing import Type, TypeVar, Union


class Dest:
    pass


DT = TypeVar("DT", bound=Dest)


def tmap(dest_type_or_obj: Union[DT, Type[DT]]) -> DT:
    if isinstance(dest_type_or_obj, type):
        dest_obj = dest_type_or_obj()
    else:
        dest_obj = dest_type_or_obj
    return dest_obj


instance_dest = tmap(Dest())
print((type(instance_dest)))
type_dest = tmap(Dest) 
print((type(type_dest)))
# output
<class '__main__.Dest'>
<class '__main__.Dest'>

Answer 2

虽然在技术上是等效的，但 MyPy 需要 使用overload将两种情况分开：

@overload
def tmap(dest_type_or_obj: Type[DT]) -> DT:
    ...
@overload
def tmap(dest_type_or_obj: DT) -> DT:
    ...

这使 MyPy 能够在实例和类型情况下正确推断类型变量。

reveal_type(tmap(Dest()))  # note: Revealed type is "__main__.Dest*"

reveal_type(tmap(Dest))    # note: Revealed type is "__main__.Dest*"