Python中含str与int的可变列表如何进行类型注解？

由于Python的list在类型系统中属于同构容器（要求所有元素类型一致），而你需要的是固定位置、不同类型的可变容器，这里提供几种适配场景的方案：

方案1：Union类型+注释（最简洁） #

使用list[str | int]（Python 3.10+支持|替代Union），同时通过注释明确元素的固定位置类型，这是日常开发中最常用的折中方案：

def myfunc(state: list[str | int]) -> bool:
    # state[0] 为字符串，state[1] 为可修改的整数
    state[1] += 1
    return True

state: list[str | int] = ['mystring', 4]
myfunc(state)

虽然list[str | int]的语义是“元素可为str或int的list”，但结合注释能清晰传达实际的类型约定，mypy等检查工具也能正常识别对state[1]的整数操作。

方案2：自定义Protocol（最严谨） #

如果需要让类型检查器严格约束索引对应的类型，可以定义一个Protocol来模拟固定长度的可变序列：

from typing import Protocol, TypeVar, Generic

T0 = TypeVar('T0')
T1 = TypeVar('T1')

class TwoElementMutableSeq(Generic[T0, T1], Protocol):
    def __getitem__(self, idx: int) -> T0 | T1: ...
    def __setitem__(self, idx: int, value: T0 | T1) -> None: ...

def myfunc(state: TwoElementMutableSeq[str, int]) -> bool:
    state[1] += 1
    return True

state = ['mystring', 4]
myfunc(state)

这种方式能让类型检查器明确state[0]是str、state[1]是int，同时支持对索引位置的赋值操作，完全匹配你的使用场景。

方案3：改用字典（备选思路） #

如果可以接受替换容器类型，使用TypedDict定义键值对的结构也是一种清晰的方式，但不符合你当前使用list的需求：

from typing import TypedDict

class State(TypedDict):
    content: str
    counter: int

def myfunc(state: State) -> bool:
    state['counter'] += 1
    return True

state: State = {'content': 'mystring', 'counter': 4}
myfunc(state)

总结 #

• 追求简洁选方案1，结合注释即可满足日常需求；
• 追求严格类型约束选方案2，适合大型项目或对类型检查要求高的场景；
• 方案3仅作为容器类型替换的备选思路。

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