约束的TypeVar和Union之间有什么区别？

Question

如果我想要一个可以表示多种可能类型的类型，则Unions似乎就是我的表示方式：

U = Union[int, str]

U可以是int或str。

我注意到尽管TypeVars允许可选的var-arg参数，但它们似乎也做同样的事情：

T = TypeVar("T", int, str)

双方T并U似乎只被允许采取的类型str和int。

这两种方式有什么区别，何时应首选？

Answer 1

T的类型必须在给定范围内的多种用途之间保持一致，而U的类型则不一致。

使用Union类型作为函数参数时，参数以及返回类型都可以不同：

U = Union[int, str]

def union_f(arg1: U, arg2: U) -> U:
    return arg1

x = union_f(1, "b")  # No error due to different types
x = union_f(1, 2)  # Also no error
x = union_f("a", 2)  # Also no error
x # And it can't tell in any of the cases if 'x' is an int or string

将其与TypeVar参数类型必须匹配的类似情况进行比较：

T = TypeVar("T", int, str)

def typevar_f(arg1: T, arg2: T) -> T:
    return arg1

y = typevar_f(1, "b")  # "Expected type 'int' (matched generic type 'T'), got 'str' instead
y = typevar_f("a", 2)  # "Expected type 'str' (matched generic type 'T'), got 'int' instead

y = typevar_f("a", "b")  # No error
y  # It knows that 'y' is a string

y = typevar_f(1, 2)  # No error
y  # It knows that 'y' is an int

因此，TypeVar如果允许使用多种类型，请使用a ，但T单个作用域内的不同用法必须彼此匹配。Union如果允许使用多种类型，则使用a
，但是U在给定范围内的不同用法不需要相互匹配。