如何缩小multiprocessing管理器代理的类型范围？

问题背景 #

使用multiprocessing.managers.SyncManager.list()时，它返回的类型是ListProxy[Any]，需要缩小Any的类型范围。当前临时方案是用cast强制转换，但必须给ListProxy[int]加双引号，否则会触发TypeError: type 'ListProxy' is not subscriptable错误：

int_list = cast("ListProxy[int]", m.list())

更优解决方式 #

1. 启用延迟类型注解 #

在文件开头导入from __future__ import annotations，Python会将所有类型注解当作字符串处理，运行时不会解析泛型下标，此时可以直接写cast(ListProxy[int], m.list())，无需加双引号：

from __future__ import annotations
from multiprocessing.managers import SyncManager
from typing import cast, ListProxy

m = SyncManager()
m.start()

int_list = cast(ListProxy[int], m.list())

2. 自定义泛型类型别名 #

提前定义带泛型的类型别名，简化后续的类型标注操作：

from multiprocessing.managers import SyncManager
from typing import TypeVar, cast

T = TypeVar('T')
TypedListProxy = "ListProxy[T]"

m = SyncManager()
m.start()

int_list = cast(TypedListProxy[int], m.list())

3. 使用通用序列类型替代 #

如果代码仅依赖序列的通用操作（如索引、遍历），可以直接将ListProxy标注为Sequence[int]，绕开ListProxy的泛型限制：

from multiprocessing.managers import SyncManager
from typing import cast, Sequence

m = SyncManager()
m.start()

int_list = cast(Sequence[int], m.list())

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