TypeVar和NewType有什么区别？类型变量NewType

Question

[TypeVar和TypeVar似乎相关，但是我不确定何时应该使用它们，或者在运行时和静态地使用什么区别。

Answer 1

这两个概念与其他类型相关的概念没有更多的关联。

简而言之，NewType是可以在类型签名中使用的变量，因此您可以多次引用相同的未指定类型，而NewType用于告诉类型检查器某些值应视为自己的类型。

TypeVar

为简单起见，类型变量使您可以多次引用同一类型，而不必确切指定它是哪种类型。

在定义中，单个类型变量始终采用相同的值。

NewType

没有类型变量，就没有办法声明Type Variables或

from typing import TypeVar, Generic, List
# (This code will type check, but it won't run.)

# Two type variables, named T and R
T = TypeVar('T')
R = TypeVar('R')

# Put in a list of Ts and get out one T
def get_one(x: List[T]) -> T: ...

# Put in a T and an R, get back an R and a T
def swap(x: T, y: R) -> Tuple[R, T]:
    return y, x

# A simple generic class that holds a value of type T
class ValueHolder(Generic[T]):
    def __init__(self, value: T):
        self.value = value
    def get(self) -> T:
        return self.value

x: ValueHolder[int] = ValueHolder(123)
y: ValueHolder[str] = ValueHolder('abc')

的类型。

get_one上还有其他一些选项。您可以通过传入更多类型来限制可能的值（例如ValueHolder.get），也可以指定上限，以便类型变量的每个must值都必须是该类型的子类型（例如TypeVar）。

此外，在声明类型变量时，可以决定类型变量是协变，逆变还是不定。这从本质上决定了何时可以使用子类或超类代替泛型类型。 TypeVar(name, int, str)的详细信息，请参阅其他资源。

TypeVar(name, bound=int)

PEP 484 describes these concepts用于当您想要声明一个不同的类型而不实际执行创建新类型的工作或担​​心创建新类实例的开销时。

在类型检查器中，NewType创建名为[Name]的NewType的子类。

在运行时，NewType('Name', int)根本不是一个类；它实际上是标识函数，因此int始终为true。

NewType('Name', int)

对于类型检查器，x is NewType('Name', int)(x)看起来像这样：

from typing import NewType

UserId = NewType('UserId', int)

def get_user(x: UserId): ...

get_user(UserId(123456)) # this is fine
get_user(123456) # that's an int, not a UserId

UserId(123456) + 123456 # fine, because UserId is a subclass of int

但是在运行时，UserId基本上就是这样：

class UserId(int): pass

UserId在运行时几乎没有什么。从Python 3.8开始，其def UserId(x): return x 几乎完全如下：

NewType