Python类型提示如何正确标注固定长度的同类型列表

先明确两种写法的实际效果：

• 第一种list[int, int, int, int, int]是完全错误的写法。内置list的泛型仅接受1个类型参数，用来统一标记列表内所有元素的类型，在方括号中传入多个类型参数会直接被mypy、pyright等类型检查器报语法错误，根本不具备标记列表长度的作用。
• 第二种list[int]语法上合法，但它的语义是「元素为int的可变列表，长度无约束」——不管列表里存0个、1个还是上百个int都符合这个注解的要求，没法向使用者传递「长度固定为5」的规则，后续代码对这个列表做append、pop等增删操作时，类型检查器也不会做任何拦截。

要简洁标记「固定长度为N、元素全为int的列表」，完全不需要重复写N次int，目前主流类型检查器（mypy 1.11及以上、pyright）都支持通过标准库的typing.Annotated传递长度约束，不管N取值多大都只需要修改一个数字，实用性很强：

from dataclasses import dataclass
from typing import Annotated

@dataclass
class Example:
    # 注解语义：可变list，元素全为int，固定长度为5
    x: Annotated[list[int], 5] = [0, 0, 0, 0, 0]

如果项目里需要多次用到同规格的固定长度列表，可以提前定义类型别名复用，减少重复代码：

from typing import Annotated, TypeAlias

# Python 3.12+ 可直接用type关键字定义类型别名
# type Int5List = Annotated[list[int], 5]

# 3.10/3.11版本用TypeAlias标记即可
Int5List: TypeAlias = Annotated[list[int], 5]

@dataclass
class Example:
    x: Int5List = [0, 0, 0, 0, 0]

如果项目用的类型检查器版本较老，不支持识别Annotated中的长度标记，可以加一层运行时校验兜底：在dataclass的__post_init__方法里检查x的实际长度，不符合要求直接抛出异常，同时在字段注释里明确说明长度规则即可。

补充：如果业务场景允许使用不可变序列，固定长度的tuple也能满足需求，但原生tuple注解标记固定长度必须逐一写出每个位置的类型，N很大时同样繁琐，优先选择Annotated方案更省心。

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