Python类型注解中list[Never]的具体含义是什么？

首先得先搞懂Never类型：它是Python typing模块里的特殊类型，用来标记永远不会产生有效实例的场景——比如函数直接抛出异常、进入无限循环，根本不会正常返回值，就会用Never标注返回类型。

那list[Never]就很好理解了：它表示一个绝对为空的列表。因为Never类型没有任何实例，你没法往这个列表里添加任何元素（没有符合元素类型的对象能放进去），而且这个空列表的类型是严格锁定的，不是那种可以随便塞不同类型元素的空列表（比如list[Any]）。

回到你给的代码：

from typing import Never

def some_func() -> list[int] | list[Never]:
   ...

这个函数的返回类型是「整数列表」或者「绝对空的列表」——也就是说，函数要么返回装着整数的列表，要么返回一个完全空、且不能再添加任何元素的列表。

内容的提问来源于stack exchange，提问作者floppy_