`reveal_type` 输出中的星号是什么意思？

reveal_type(1) # Revealed type is 'builtins.int'
bla = [1,2,3]
reveal_type(bla[0]) # Revealed type is 'builtins.int*'
reveal_type(bla[0] * 2) # Revealed type is 'builtins.int'

有什么区别int and int*?

这意味着 mypy 在执行类型变量替换时推断出特定类型。

例如，blah[0]实际上正在做blah.__getitem__(0): 事实证明，__getitem__方法被定义为返回某种类型的值_T, where _T是列表中包含的任何类型*。

Mypy 明白这一点blah包含整数，因此推断_T返回类型是类型int.

相比之下，仅使用类型变量推断就不会发生1 and blah[0] * 2。前者是字面意思；后者正在调用int.__mul__(...)方法，其类型明确返回一个 int。

_{*Well, that's not actually the exact signature, but close enough.}

大多数情况下，您可以忽略这一点并将其视为 mypy 的实现细节。它的存在主要是因为当您修补或调试 mypy 内部时，能够判断类型是否被推断有时很有用。