Python中typing.SupportsIndex是什么？相比int类型有什么优势？

1. SupportsIndex是不是专门用于列表索引的特殊类型？ #

不是。SupportsIndex是Python typing模块定义的结构化协议，对应所有实现了__index__()魔法方法的类型。所有需要传入索引的场景（包括列表、元组、字符串的下标取值，切片的start/end/step参数传入等）都支持该类型的对象，并非仅限定于列表索引场景。

2. 相比使用int类型，使用SupportsIndex有什么额外优势？ #

你给出的测试代码没有触发类型警告是正常现象：int本身已经实现了__index__方法，天然符合SupportsIndex协议，完全满足类型要求。二者相比，SupportsIndex的优势主要有三点：

• 灵活性更高：除了int之外，所有自定义实现了__index__的类型（比如枚举成员、自定义的业务ID类等）都符合SupportsIndex协议，不需要额外做int类型转换就可以直接作为索引使用，类型检查也能正常通过。如果你把返回值声明为int，这些自定义类型就需要显式转换为int才能符合类型要求。
• 语义更清晰：将返回值声明为SupportsIndex可以明确告知调用方，该值的设计用途就是作为索引使用，不建议作为普通数值参与加减乘除等运算，代码表意更精准。
• 提前拦截错误：如果传入的对象没有实现__index__方法，运行时直接作为索引使用会抛出TypeError；而用SupportsIndex做类型标注的话，静态类型检查器可以在开发阶段就识别出不符合要求的传参，不用等到运行时才发现问题。

补充说明 #

SupportsIndex对应的运行时检查规则是：对象必须实现__index__方法，否则在作为索引使用时会抛出TypeError异常。

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