4.1 动态语言体系

4.1 动态语言体系

本节摘要：动态语言把"代码是可变的对象"贯彻到语言根基：函数与类都是运行期对象，定义、查询、替换、制造全部是普通操作。本节以 Python 为主标本实操带参装饰器与类定义钩子，以 JavaScript 原型机制作对照，并用路由注册案例展示动态元编程如何托起整个 Web 框架生态。

鸭子类型的另一面

动态语言的招牌是鸭子类型——看行为不看血统。它还有一面常被忽略：组成程序的每个构件都是对象，而对象是可以编程操作的。函数能当参数传、能被改名、能被替换；类在定义完成后仍能增删成员；连"定义一个类"这个动作本身，都可以被拦下来先做点别的。这是 2.2 讲的能力阶梯在语言层的全面放开：内省、干预、构造三级，动态语言通常全开。

一、带参装饰器：三层嵌套的完整拆解

3.4 已经见过最简装饰器。真实工程里更常见的是带参数的版本——它多包了一层，恰好是理解"装饰是普通函数调用"的最佳教具：

import functools

def retry(times, delay=0.5):                 # 第一层：收参数，返回真正的装饰器
    def decorator(func):                     # 第二层：收函数，返回替换品
        @functools.wraps(func)
        def wrapper(*args, **kwargs):        # 第三层：收调用，干真正的活
            for attempt in range(1, times + 1):
                try:
                    return func(*args, **kwargs)
                except Exception:
                    if attempt == times:
                        raise
                    time.sleep(delay)
        return wrapper
    return decorator

@retry(times=3, delay=1.0)                   # 等价于 fetch = retry(times=3, delay=1.0)(fetch)
def fetch(url):
    ...
​

执行顺序值得背下来：装饰器自下而上包裹，调用时自外向内穿透。堆叠 @log 与 @retry 时，靠近函数的先包上去、后执行到。新手最 frequent 的错误是把第一层与第二层混写——记住口诀"带参装饰器是装饰器的工厂"，三层结构立刻清晰。

图：带参装饰器的三层调用时序

二、类定义钩子：元能力的"官方入口"

给类批量加行为，猴子补丁是野路子，动态语言也提供了官道。Python 的类定义钩子让"每个子类定义时自动做点事"变成受支持的操作：

REGISTRY = {}

class Registerable:
    def __init_subclass__(cls, **kwargs):     # 每个子类定义完成时自动触发
        super().__init_subclass__(**kwargs)
        REGISTRY[cls.__name__.lower()] = cls

class EmailAlert(Registerable): ...
class SmsAlert(Registerable): ...

print(list(REGISTRY))     # ['emailalert', 'smsalert'] —— 注册零手动代码
​

操作→结果：两个子类只是正常定义，没写任何注册调用，注册表却已经填好。解读：__init_subclass__ 拦截的是类定义事件，适合"登记"级别的干预；需要更深控制——比如改写字段、注入方法、校验声明——则升级到元类（type 的子类，拦截类对象的创建过程本身）。两者的分工是登记用钩子、改造用元类，多数框架对元类的需求其实钩子就够，能少一层间接就少一层。变式：把注册键从类名换成装饰器参数（@register("email")），就得到了经典的路由装饰器——下一小节正是它。

三、完整案例：从零写一个路由装饰器

背景：为教程项目写一个极简 Web 框架的路由层，要求业务代码零框架感知——定义函数即完成注册。

ROUTES = {}

def route(path, method="GET"):
    def decorator(func):
        ROUTES[(method, path)] = func      # 定义期：登记进分发表
        return func                        # 原函数原样返回，调用行为不变
    return decorator

@route("/users", method="GET")
def list_users():
    return ["alice", "bob"]

# 框架核心收到请求时分发：
# handler = ROUTES.get((request.method, request.path))
# response = handler(request)
​

操作→结果：装饰器在模块导入时执行（注意：不是请求时），把"方法加路径"到函数的映射填进表；框架核心只查表分发。解读：这个模式的精髓是把两次执行在时间上劈开——注册发生在导入期，执行发生在请求期，中间的映射表是唯一的桥梁。整套 Flask 式路由、定时任务的任务表、命令行工具的子命令表，骨架全是它。变式：登记的内容从函数换成"函数加参数规格"，框架就能在分发前做参数校验——校验信息同样来自内省（3.1 的签名查询），元机制在这里完成会师。

对照一下 JavaScript：没有装饰器语法时，它的等价物是原型操作——Object.defineProperty 拦截属性访问、包装原型方法注入逻辑。机制名不同，"运行期改结构"的内核一致。动态语言的共同代价也一致：行为与源码的距离被拉远，工具链（重构、类型检查）追不上运行期变形，这是第 6.2 节调试议题的伏笔。

本节要点回顾

• 动态底色：函数与类皆对象，能力阶梯三级全开，代码在运行期保持可塑。
• 带参装饰器：装饰器的工厂，三层嵌套各司其职；包裹自下而上、执行自外向内。
• 类定义钩子：__init_subclass__ 管登记，元类管改造，能浅则浅。
• 路由案例：注册在导入期、执行在请求期，映射表是两次执行的唯一桥梁。
• 共同代价：行为离源码越远，静态工具越追不上——享受动态红利时要预付调试账单。

动态路线的灵活是拿类型检查换的。下一节看静态语言如何用编译期技术把这份灵活赚回来：零开销与类型安全兼得。