Python如何使用Literal静态定义8位二进制字符串的合法输入类型？

为什么当前代码无法通过类型检查 #

Literal是静态类型注解，类型检查器（mypy、pyright）不会执行任何运行时代码，因此你用itertools.product动态生成的取值列表，类型检查器完全无法识别。同时PEP586明确规定，Literal的参数只能是静态字面量、枚举成员或其他Literal类型，不接受运行时计算的变量作为入参，因此你的动态生成写法从语法层面就不符合Literal的使用要求。另外你原代码中错误地给类型加了List包装，如果你的需求是表示单个8位二进制串而非列表，也不需要套List泛型。

可行解决方案 #

方案1：硬编码Literal取值（适合短二进制串场景） #

8位二进制串总共只有256种可能，你可以直接用脚本提前生成所有取值的Literal定义，复制到代码中即可正常使用，示例生成的定义如下：

from typing import Literal
Byte = Literal[
    "00000000", "00000001", "00000010", # 后续补全所有256个取值
    # ...
    "11111111"
]

这种方式可以完全实现你要的静态校验效果，类型检查器会自动拦截所有不符合取值范围的参数。

方案2：NewType+收敛校验（适合更长的二进制串场景） #

如果后续需要扩展到更长的二进制串（比如16位共65536种取值，硬编码不现实），Literal确实不适合该场景，可以用NewType配合统一的校验构造函数实现类型安全：

from typing import NewType

ByteStr = NewType("ByteStr", str)

def to_byte_str(input_str: str) -> ByteStr:
    # 统一收敛校验逻辑
    if len(input_str) != 8 or not all(c in ("0", "1") for c in input_str):
        raise ValueError("输入不是合法的8位二进制字符串")
    return ByteStr(input_str)

# 函数定义时使用ByteStr作为参数类型
def foo(x: ByteStr) -> int:
    return int(x, 2)

# 合法调用
foo(to_byte_str("01010101"))
# 静态类型检查会直接报错，不允许直接传入字符串
foo("01010101")

这种方式下静态类型检查器会强制要求所有传入foo的参数必须经过to_byte_str构造，从流程上保证参数合法性，同时避免了每个函数都重复写校验逻辑的问题。

方案3：第三方库辅助校验 #

如果你可以引入第三方依赖，使用pydantic的约束字符串类型可以同时支持静态校验和运行时校验：

from pydantic import constr
# 定义正则约束的8位二进制字符串类型
ByteStr = constr(pattern=r"^[01]{8}$")

配合pydantic的mypy插件，类型检查器可以直接识别该类型的约束规则，非法参数会在静态检查阶段就被拦截。

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