我有一个总是返回空列表的函数(这是一个很长的故事),我可以像往常一样只用“list”输入提示,但是指示列表总是相同的会很有用。
我的第一个想法是使用这样的文字:
from typing import Literal
def get_empty_list() -> Literal[[]]:
return []
Run Code Online (Sandbox Code Playgroud)
Mypy 将其标记为无效类型,是否有正确的方法来输入提示始终为空的列表?(显然,我可以输入提示只是一个列表,但这没什么帮助)
明确地说,这是一个始终为空的列表,并且不希望包含任何元素。(例如,与当前为空的列表分开,但稍后可能添加某种类型的元素)。