什么是输入空 __slots__ 的规范方式？

问题描述

如果我输入插槽：

class Foo:
    __slots__: Tuple[()] = tuple()

然后，在严格模式下，mypy (0.812) 告诉我：

Incompatible types in assignment (expression has type "Tuple[<nothing>,...]",variable has type "Tuple[]")

我可以写：

    __slots__: Tuple[()] = cast(Tuple[()],tuple())

但这很丑陋。这样做的规范方法是什么？我的 Tuple[<nothing>,...] 是什么意思？元组是不可变的，所以肯定一个空元组不应该是......可变数量的无......？

解决方法

问题不在于注解，而在于值。使用 literal 元组明确表示固定大小的元组，包括空元组：

class Foo:
    __slots__: Tuple[()] = ()

请注意，即使没有注释，MyPy 也会正确推断此 __slots__ 的类型。

---

callable tuple 的返回类型为 Tuple[T,...]，因为对于大多数输入，输出长度是未知的。 The call tuple() is not special cased. 与 tuple() 一样，there is no type inhabiting T – its type is <nothing> 没有可以推断 T 的值。