mypy中如何为Callable类型适配可变数量的float参数？

针对你需要标注接受任意数量float类型位置参数、返回float类型的函数参数的场景，有几种可行的类型注解方式：

• 精确类型标注（Python 3.10+，mypy支持PEP 612）
  直接使用*float表示任意数量的float位置参数，这是最贴合需求的写法：

from typing import Callable

def run_the_f(f: Callable[[*float], float]) -> None:
    # 经过一些验证后运行f函数

如果你的环境不支持这个语法（比如Python版本低于3.10或mypy版本过旧），会出现报错，此时可以选择下面的兼容写法。

• 兼容旧环境的宽泛标注
  使用...表示任意参数列表，mypy会接受任意参数结构但返回值为float的函数，类型检查会相对宽松：

from typing import Callable

def run_the_f(f: Callable[..., float]) -> None:
    # 经过一些验证后运行f函数

• 更灵活的参数约束（可选）
  如果需要更精细的参数控制（比如后续可能扩展参数类型），可以结合ParamSpec和TypeVar，但需要配合运行时类型守卫来确保参数符合要求：

from typing import Callable, ParamSpec, TypeVar, TypeGuard

P = ParamSpec("P")
R = TypeVar("R", bound=float)

def is_float_args(*args: object) -> TypeGuard[tuple[float, ...]]:
    return all(isinstance(arg, float) for arg in args)

def run_the_f(f: Callable[P, R]) -> None:
    # 运行前先验证参数类型
    sample_args = (1.0, 2.0)
    if is_float_args(*sample_args):
        f(*sample_args)

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