本文旨在揭示 python 中 `typing.literal` 等特殊形式如何通过方括号（`[]`）进行调用的机制。我们将深入探讨其并非简单的函数调用，而是利用了 python 类的 `__getitem__` 方法，将一个类的实例伪装成可接受方括号参数的“函数”，从而实现灵活且富有表达力的类型提示或特殊形式定义。
在 Python 的类型提示系统 typing 模块中，我们经常会看到 Literal[“a”, “b”] 这样的用法。初看起来，这似乎是一个函数 Literal 被方括号调用，这与我们通常对函数调用的理解（使用圆括号 ()）有所不同。这种特殊的语法形式，实际上是 Python 面向对象特性的一种巧妙应用，它将一个类的实例设计成可以响应方括号操作符的对象。
Literal 方括号调用的核心原理：__getitem__ 方法
Literal 并非一个普通的函数，而是一个类的实例。当一个类的实例被方括号 [] 调用时，Python 解释器会查找并执行该实例所属类中定义的 __getitem__ 方法。这意味着，Literal[…] 的调用实际上是对 Literal 实例的 __getitem__ 方法的调用，方括号内的参数则作为 __getitem__ 方法的参数传入。
为了更好地理解这一机制，我们可以参考 CPython 源码中 typing.py 对 Literal 的实现。源码显示 Literal 被装饰器 @_TypedCacheSpecialForm 和 @_tp_cache 修饰。其中，_TypedCacheSpecialForm 是一个类，它将 Literal 函数本身作为参数，在初始化时创建了一个 _TypedCacheSpecialForm 的实例，并将 Literal 函数作为该实例的一个内部可调用对象存储起来。
当 Literal[…] 被调用时，实际上是 _TypedCacheSpecialForm 实例的 __getitem__ 方法被触发，而这个 __getitem__ 方法内部再调用了最初被传递给 _TypedCacheSpecialForm 构造函数的那个函数（即 def Literal(…) 的实际逻辑）。
立即学习“Python免费学习笔记（深入）”；
模拟 Literal 的方括号调用行为
我们可以通过一个简化的自定义类来模拟 Literal 的这种行为。
class SpecialFormContainer: """ 一个模拟Literal行为的特殊形式容器类。 它的实例可以被方括号调用。 """ def __init__(self, processor_function): # 存储实际处理逻辑的函数 self._processor = processor_function def __getitem__(self, items): """ 当实例被方括号调用时，此方法被触发。 items 参数会接收方括号内的所有内容。 """ print(f"__getitem__ 方法被调用，接收到参数: {items}") # 在这里调用内部存储的处理器函数 result = self._processor(items) print(f"处理器函数返回: {result}") return result # 定义一个模拟Literal实际处理逻辑的函数 def _literal_processor(params): """ 模拟Literal的实际处理逻辑，例如创建类型提示对象。 """ if isinstance(params, tuple): return f"这是一个由多个参数组成的类型提示: {params}" else: return f"这是一个由单个参数组成的类型提示: {params}" # 创建 SpecialFormContainer 的实例，并传入处理器函数 MyLiteral = SpecialFormContainer(_literal_processor) # 现在，我们可以像使用 typing.Literal 一样使用 MyLiteral # 调用方式一：单个参数 type_hint_single = MyLiteral["Test1"] print(f"最终结果: {type_hint_single}n") # 调用方式二：多个参数 type_hint_multiple = MyLiteral["r", "rb", "w", "wb"] print(f"最终结果: {type_hint_multiple}n") # 也可以直接传递元组 type_hint_tuple = MyLiteral[("a", "b")] print(f"最终结果: {type_hint_tuple}n")
在上面的示例中：
- SpecialFormContainer 类定义了 __getitem__ 方法。
- _literal_processor 函数是实际的业务逻辑，它模拟了 Literal 如何处理传入的类型参数。
- MyLiteral = SpecialFormContainer(_literal_processor) 这一行创建了一个 SpecialFormContainer 的实例，并将 _literal_processor 函数作为其内部处理器。
- 当 MyLiteral[“Test1”] 或 MyLiteral[“r”, “rb”, “w”, “wb”] 被调用时，实际上是 MyLiteral 实例的 __getitem__ 方法被调用。方括号内的内容（无论是单个字符串还是逗号分隔的多个字符串）都会被打包成一个元组，作为 items 参数传递给 __getitem__。
- __getitem__ 方法再将 items 传递给内部存储的 _literal_processor 函数进行处理。
typing.Literal 中的实际应用
在 typing.py 中，Literal 的定义通过装饰器 @_TypedCacheSpecialForm 实现。_TypedCacheSpecialForm 类的 __init__ 方法接收被装饰的 Literal 函数作为参数，并将其存储起来。其 __getitem__ 方法则负责调用这个被存储的函数，并返回一个 _LiteralGenericAlias 类的实例，这才是最终表示 Literal 类型提示的对象。
# 简化概念，非完整源码 class _TypedCacheSpecialForm: def __init__(self, func): self._func = func # 存储原始的 Literal 函数 def __getitem__(self, parameters): # 当 Literal[...] 被调用时，_TypedCacheSpecialForm 实例的 __getitem__ 被触发 # 它会调用原始的 Literal 函数来处理参数 return self._func(self, parameters) # 这里的 self 可能是指类型本身或上下文 # 假设 Literal 是这样被创建的 # def _original_literal_logic(self, parameters): # # 实际处理 Literal 参数的逻辑，返回 _LiteralGenericAlias 实例 # # ... # return _LiteralGenericAlias(parameters) # Literal = _TypedCacheSpecialForm(_original_literal_logic)
通过这种设计，typing.Literal 能够以一种看起来像函数调用的特殊语法，优雅地处理多个类型参数，并最终生成一个专门的类型提示对象。
总结
Literal 通过方括号 [] 进行调用的机制，是 Python 中面向对象编程的一个精妙应用。它并非简单的函数调用，而是利用了类实例的 __getitem__ 魔术方法。当一个类的实例被方括号访问时，__getitem__ 方法会被自动调用，方括号内的参数则作为该方法的参数。这种模式使得像 typing.Literal 这样的特殊形式能够提供更灵活、更富有表达力的语法，同时保持内部逻辑的封装性和清晰性。理解这一机制，有助于我们更深入地掌握 Python 类型提示系统的工作原理，并在自定义高级抽象时提供新的设计思路。