如何为无类型的导入添加类型注解？

针对你遇到的funcy.retry无类型提示、现有注解方法无效的问题，下面是几种可行的解决方案：

方法1：导入重命名+类型注解（推荐） #

通过重命名导入原函数，给目标变量添加类型注解并配合cast，同时用TYPE_CHECKING确保运行时无额外开销：

from typing import Callable, TypeVar, cast, reveal_type, TYPE_CHECKING
from funcy import retry as _retry

F = TypeVar("F", bound=Callable)

# 仅在类型检查阶段生效，不影响运行逻辑
if TYPE_CHECKING:
    retry: Callable[..., Callable[[F], F]] = cast(Callable[..., Callable[[F], F]], _retry)
else:
    retry = _retry

reveal_type(retry)  # 类型检查器会识别为 Callable[..., Callable[[F], F]]

方法2：直接给导入变量加注解+cast #

如果不需要顾虑运行时的细微开销，可简化写法：

from typing import Callable, TypeVar, cast, reveal_type
from funcy import retry

F = TypeVar("F", bound=Callable)

retry: Callable[..., Callable[[F], F]] = cast(Callable[..., Callable[[F], F]], retry)

reveal_type(retry)

注：部分类型检查器需要显式的类型注解+cast双重声明才能正确识别，单纯cast赋值可能因原变量Any类型被忽略。

方法3：创建类型存根文件（适合长期使用） #

在项目根目录创建funcy.pyi文件，手动补全retry的类型定义：

from typing import Callable, TypeVar, overload

F = TypeVar("F", bound=Callable)

# 根据retry实际参数列表添加重载（示例）
@overload
def retry(tries: int, delay: float = ...) -> Callable[[F], F]: ...
@overload
def retry(exceptions: tuple[type[BaseException], ...], tries: int = ...) -> Callable[[F], F]: ...

def retry(*args, **kwargs) -> Callable[[F], F]: ...

之后类型检查器会自动读取该存根文件，无需修改业务代码。

你之前写法的问题说明 #

• from funcy import retry : Callable[..., Callable[[F], F]]是语法错误，Python不支持在导入语句中直接添加类型注解。
• 单纯cast赋值后仍显示Any，是因为类型检查器可能被原变量的Any类型覆盖，需要显式变量类型声明配合cast才能生效。

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