Python函数等价性保障：理解实现方式的影响

函数等价性的判定需要综合多个维度，而非仅看输出结果是否一致：

• 产生等价的输出结果
• 具有完全相同的（非）终止行为（比如是否会无限循环、是否能正常终止）
• 对非本地内存的修改方式一致（即副作用完全相同）
• 输入输出行为一致，且抛出的异常完全匹配

另外，仅重命名参数（不改变顺序且函数内未滥用参数名）不会影响等价性。

回到你的代码示例：

def g(x: bool) -> bool: 
    return True

# 等价的f和f2
def f(x: bool) -> bool:
    return x and g(x)

def f2(x: bool) -> bool:
    if x:
        return g(x)
    else:
        return False

# 不等价的f3和f4
def f3(x: bool) -> bool:
    return x and g(x)

def f4(x: bool) -> bool:
    if g(x):
        return x
    else:
        return False

核心原因：调用g(x)的行为存在本质差异 #

虽然在当前g(x)始终返回True的情况下，f3和f4的输出结果完全一致，但二者的执行逻辑和潜在行为差异导致它们不等价：

1. 短路求值的差异：

   • f3利用了and的短路特性：当x为False时，g(x)根本不会被调用（因为False and 任何值结果都是False，Python会直接返回False，跳过右侧表达式）。
   • f4是先调用g(x)再判断结果：不管x是什么值，g(x)都会被执行一次。

2. 副作用带来的行为差异：
   如果g(x)不是纯函数（即带有副作用，比如修改全局变量、打印日志、发起网络请求、抛出异常等），二者的行为会立刻出现明显不同：

   • 比如给g添加打印副作用：

     def g(x: bool) -> bool:
         print("g函数被执行")
         return True
     

     调用f3(False)不会输出任何内容，而调用f4(False)会打印g函数被执行。
   • 再比如让g(x)在特定输入下抛出异常：

     def g(x: bool) -> bool:
         if not x:
             raise ValueError("x不能为False")
         return True
     

     调用f3(False)会直接返回False，不会触发异常；但调用f4(False)会立刻抛出ValueError，二者的异常行为完全不一致。

3. 终止行为的潜在差异：
   如果g(x)是耗时操作或无限循环的函数，f3在x=False时会直接终止，而f4无论x是什么都会先执行g(x)，可能导致程序卡住或耗时过久，终止行为完全不同。

所以，函数等价性的判定必须考虑所有执行环节的行为一致性，而非仅看最终输出。f3和f4的执行逻辑存在本质差异，因此被判定为不等价。

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