如何为首个元素是Callable、其余为Any的元组指定Python类型提示？

你遇到的问题是因为tuple[Callable, Any, ...]不符合Python类型提示的语法规则。...在tuple泛型里的合法用法只有两种：

• tuple[类型, ...]：表示所有元素均为该类型的可变长度元组
• 若要定义开头固定类型、后续任意数量其他类型的元组，需要用*标记可变部分

正确写法 #

如果你需要第一个元素为Callable类型，后续可以是任意数量（包括0个）的Any类型元素，使用以下两种写法均可：

1. 简洁写法（Python 3.11+支持）：

from typing import Callable, Any

var: tuple[Callable, *Any]

2. 更明确的写法：

from typing import Callable, Any

var: tuple[Callable, *tuple[Any, ...]]

为什么原写法报错 #

原写法tuple[Callable, Any, ...]违反了tuple泛型的语法规范——...不能作为第三个及以后的参数出现。只有当你需要表示"所有元素都是同一类型的可变元组"时，才会把...放在单个类型后面；而混合固定开头和可变后续的场景，必须用*来标识可变长度的部分。

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