在Python中，如何为非字符串或字节类型的序列输入添加类型提示？

在Python中，str和bytes本身属于Sequence的子类，所以直接用typing.Sequence做类型提示会默认允许这两种类型传入。要实现目标约束，可参考以下几种方案：

方案一：用TypeVar加排除约束（Python 3.12+推荐） #

Python 3.12为TypeVar新增了exclude参数，可以直接指定要排除的类型：

import typing

# 定义绑定Sequence但排除str、bytes的类型变量
SequenceNoStrBytes = typing.TypeVar(
    "SequenceNoStrBytes",
    bound=typing.Sequence,
    exclude=(str, bytes)
)

def validate(input_data: SequenceNoStrBytes) -> None:
    pass

静态类型检查器（比如mypy、pyright）会自动拒绝str或bytes类型的参数。

方案二：显式枚举允许的序列类型（兼容旧版本） #

如果你的Python版本低于3.12，可以直接列出所有需要支持的序列类型（如list、tuple、range等），用Union组合：

import typing

AllowedSequence = typing.Union[list, tuple, range]

def validate(input_data: AllowedSequence) -> None:
    pass

这种方式的缺点是需要手动维护允许的类型列表，无法自动覆盖自定义的序列子类。

方案三：用Protocol实现灵活约束 #

如果需要支持自定义序列类同时排除str/bytes，可以定义一个Protocol来描述序列的核心接口，再配合运行时检查强化约束：

import typing
from typing import Protocol, runtime_checkable

@runtime_checkable
class NonStrBytesSequence(Protocol):
    def __getitem__(self, index: int) -> typing.Any: ...
    def __len__(self) -> int: ...
    def __iter__(self) -> typing.Iterator[typing.Any]: ...

def validate(input_data: NonStrBytesSequence) -> None:
    # 运行时额外检查，避免绕过静态类型检查的情况
    if isinstance(input_data, (str, bytes)):
        raise TypeError("禁止传入字符串或字节类型")
    pass

这个方案既支持静态类型检查，也能在运行时确保约束生效，适合需要兼容自定义序列的场景。

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