python - 输入空 __slots__ (或空元组)的规范方法是什么？

Question

如果我输入插槽:

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())

但这很丑陋。执行此操作的规范方法是什么？ mypy Tuple[<nothing>, ...] 是什么意思？ ？元组是不可变的，所以空元组肯定不应该是……可变数量的无内容……？

Answer 1

问题不在于注释，而在于值。使用文字元组明确表示固定大小的元组，包括空元组:

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

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

---

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