如何为支持len且可迭代的对象做类型提示与isinstance检查？

好问题！你确实戳中了typing.Iterable的一个痛点——它只要求对象实现__iter__方法，完全不保证支持len()操作。下面我们从类型提示和运行时检查两个维度，来解决你需要的“必须可迭代且支持len()”的对象约束问题：

Python的typing.Protocol是定义“结构性类型”的工具——只要对象实现了协议里声明的方法/属性，就被视为符合这个类型。我们可以自定义一个同时继承Sized（对应__len__）和Iterable的协议，来精准描述你的需求：

from typing import Protocol, Iterable, TypeVar

# 定义泛型类型变量，让函数支持任意元素类型
T = TypeVar('T')

class SizedIterable(Protocol[T]):
    # 声明必须实现__len__方法
    def __len__(self) -> int: ...
    # 声明必须实现__iter__方法，返回对应类型的迭代器
    def __iter__(self) -> Iterable[T]: ...

# 现在就可以用这个自定义类型来标注参数了
def n_and_list(x: SizedIterable[T]) -> tuple[int, list[T]]:
    return len(x), [y for y in x]

这样一来，像mypy这类静态类型检查器就会自动识别：

• 允许传入列表、元组、字符串、集合这些同时支持len()和迭代的对象
• 拒绝传入zip、map这类只有迭代能力但没有__len__的对象，完美符合你的要求。

默认的Protocol不能直接用于isinstance检查，不过我们可以给它加上@runtime_checkable装饰器，让它具备运行时检查的能力：

from typing import Protocol, Iterable, TypeVar, runtime_checkable

T = TypeVar('T')

@runtime_checkable
class SizedIterable(Protocol[T]):
    def __len__(self) -> int: ...
    def __iter__(self) -> Iterable[T]: ...

现在就可以在运行时验证对象是否符合要求了：

# 测试符合条件的对象
my_list = [1, 2, 3]
print(isinstance(my_list, SizedIterable))  # 输出 True

# 测试不符合条件的对象（zip没有__len__）
my_zip = zip([1], [2])
print(isinstance(my_zip, SizedIterable))  # 输出 False

如果你不想自定义协议，也可以直接用collections.abc里的Sized和Iterable组合检查：

from collections.abc import Sized, Iterable

def n_and_list(x):
    if not isinstance(x, (Sized, Iterable)):
        raise TypeError("x必须同时支持长度计算和迭代")
    return len(x), [y for y in x]

这种方式更简单，但缺点是没法在类型提示里用一个单独的类型来标注参数，自定义Protocol还是更优雅的长期方案。

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