Scheme解释器尾调用优化：and/or表达式兼容故障求助

核心问题根源 #

你在实现尾调用优化后，do_and_form和do_or_form中错误地将所有子表达式都标记为尾调用（tail=True），导致前几个用于短路判断的表达式返回Unevaluated对象而未被实际执行（比如define的副作用没生效）；而手动递归求值Unevaluated又会打破尾调用优化的循环逻辑，触发Python递归深度限制。

本质上，and/or的子表达式只有最后一个处于尾位置（其结果直接作为整个and/or的返回值），适合用尾调用优化；前面的子表达式是中间判断步骤，必须立即完成求值，不能返回Unevaluated。

具体修改方案 #

1. 修正do_and_form的尾调用标记 #

def do_and_form(expressions, env):
    """Evaluate a (short-circuited) and form."""
    current = expressions
    if current is nil:
        return True
    # 处理非最后一个表达式：必须立即求值，不能用尾调用
    while not (current.rest is nil):
        val = scheme_eval(current.first, env, tail=False)
        if is_scheme_false(val):
            return False
        current = current.rest
    # 最后一个表达式处于尾位置，启用尾调用优化
    return scheme_eval(current.first, env, tail=True)

2. 修正do_or_form的尾调用标记 #

def do_or_form(expressions, env):
    current = expressions
    if current is nil:
        return False
    # 处理非最后一个表达式：必须立即求值，不能用尾调用
    while not (current.rest is nil):
        val = scheme_eval(current.first, env, tail=False)
        if is_scheme_true(val):
            return val
        current = current.rest
    # 最后一个表达式处于尾位置，启用尾调用优化
    return scheme_eval(current.first, env, tail=True)

方案原理 #

• 非尾位置表达式：用tail=False调用scheme_eval时，optimized_eval会自动进入while循环，彻底求值所有嵌套的Unevaluated对象，保证define等有副作用的表达式被执行，同时保留表达式内部的尾递归优化。
• 尾位置表达式：用tail=True调用，让optimized_eval返回Unevaluated对象，由外层的尾调用循环处理，避免Python递归栈溢出。

验证效果 #

1. 多define的and测试：前三个define会被彻底求值，x依次累加1、10、100，最后一个define触发尾调用优化，最终x=1111，符合预期。
2. 深度递归的sum测试：最后一个sum调用被标记为尾调用，由optimized_eval的while循环迭代处理，不会触发递归深度错误，能正确计算出501501。

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