如何为非可迭代变量编写NonIterable类型注解？

Python的类型系统本身不直接支持定义“排除某个类型”的负向类型（比如直接写NonIterable来排除Iterable），但可以通过以下两种实用方式实现你的需求：

1. 使用类型守卫（TypeGuard）实现运行时检查+类型推断 #

这是最推荐的方案，既能在运行时确保变量非可迭代，又能让类型检查器识别变量的实际类型约束：

from typing import Iterable, TypeGuard

# 定义类型守卫函数，告诉类型检查器：返回True时，输入是一个非可迭代对象
def is_non_iterable(x) -> TypeGuard[object]:
    return not isinstance(x, Iterable)

def f(x: object):
    # 运行时检查并抛出异常
    if not is_non_iterable(x):
        raise TypeError("参数必须是非可迭代类型")
    # 从这里开始，类型检查器会认为x是非可迭代的
    pass

如果需要更精确的类型约束，可以结合TypeVar定义受约束的类型变量：

from typing import Iterable, TypeGuard, TypeVar

# 定义绑定到object的类型变量，代表所有非可迭代类型的基类
NonIterableT = TypeVar("NonIterableT", bound=object)

def is_non_iterable(x) -> TypeGuard[NonIterableT]:
    return not isinstance(x, Iterable)

def f(x: NonIterableT):
    if not is_non_iterable(x):
        raise TypeError("参数必须是非可迭代类型")
    pass

2. 使用Annotated添加类型标记（仅文档/辅助作用） #

如果只需要给类型注解添加“非可迭代”的语义标记，不需要类型检查器强制执行，可以用Annotated：

from typing import Iterable, Annotated

# 用Annotated给object类型添加"NonIterable"的元数据标记
NonIterable = Annotated[object, "NonIterable"]

def f(x: NonIterable):
    if isinstance(x, Iterable):
        raise TypeError
    pass

这种方式的类型注解更直观，但类型检查器不会自动验证x是否真的是非可迭代的，仍需要手动添加运行时检查逻辑。

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