泛型Future类型兼容Python <3.9的实现及自定义Executor类的类型提示解决方案

你遇到的问题核心是：Python 3.9及以上版本中concurrent.futures.Future才支持泛型下标（Future[T]），但3.9以下版本中它只是普通类，直接用Future[T]会触发TypeError。要兼顾脚本在低版本Python正常运行和高版本下Mypy能正确做类型检查，可以用下面两种方案：

方案一：使用字符串形式的类型提示 #

PEP 484支持用字符串来延迟解析类型注释，这样运行时Python不会尝试解析Future[T]，而Mypy在类型检查时能正确识别它：

from concurrent.futures import Executor, Future
from typing import Any, Callable, TypeVar

T = TypeVar("T")

class MyExecutor(Executor):
    def submit(self, fn: Callable[..., T], *args: Any, **kwargs: Any) -> "Future[T]":
        # 运行时直接创建普通Future实例，不需要泛型下标
        future = Future()
        # 这里实现你的submit逻辑，比如执行函数并设置结果/异常
        try:
            result = fn(*args, **kwargs)
            future.set_result(result)
        except Exception as exc:
            future.set_exception(exc)
        return future

方案二：利用TYPE_CHECKING常量区分运行时与类型检查 #

typing.TYPE_CHECKING是一个特殊常量，运行时它的值是False，只有Mypy等类型检查工具会把它视为True。我们可以用它来在类型检查时使用泛型Future，运行时保持普通Future：

from concurrent.futures import Executor, Future
from typing import Any, Callable, TypeVar, TYPE_CHECKING

T = TypeVar("T")

# 仅在类型检查时，让Mypy将Future视为泛型类型
if TYPE_CHECKING:
    # 这里的赋值只影响类型检查，运行时不会执行
    Future = Future[T]

class MyExecutor(Executor):
    def submit(self, fn: Callable[..., T], *args: Any, **kwargs: Any) -> Future:
        # 运行时这里的Future是普通类，创建实例不会报错
        future = Future()
        # 你的submit逻辑实现
        try:
            result = fn(*args, **kwargs)
            future.set_result(result)
        except Exception as exc:
            future.set_exception(exc)
        return future

关键说明 #

1. 为什么不用typing-extensions？：Future属于concurrent.futures模块，而非typing模块家族，所以typing-extensions里并没有提供兼容低版本的泛型Future实现，只能通过上述方式处理。
2. 兼容性保障：两种方案都能保证脚本在Python<3.9环境正常运行，同时在Python3.9+环境下用Mypy做类型检查时，能正确识别Future[T]的泛型约束。
3. 取舍：方案一更简洁，直接用字符串注释；方案二的类型提示更接近原生泛型写法，适合追求代码可读性的场景。

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