如何解决什么是输入空 __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
的值。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。