Python：递归中非局部变量的意外行为

问：

以下代码应在调用 3 次后将非局部变量设置为 true。我希望在以下代码中返回后始终为 true（从 0 开始）flagrecur()flagrecur(2)

def f():
    flag = False
    def recur(n):
        nonlocal flag
        print(f"this is recur {n}")
        print("flag is: ", flag)
        if n == 2: 
            print(f"end of recur {n}")
            print("flag is: ", flag)
            return True
        flag = flag or recur(n+1) # the culprit line
        
        print(f"end of recur {n}")
        print("flag is: ", flag)
        return False
    recur(0)
f()

但是，当 recur（1） 返回时，会从 true 跳到 false。该函数的输出如下：flag

this is recur 0 
flag is: False 
this is recur 1 
flag is: False 
this is recur 2 
flag is: False 
end of recur 2 
flag is: False 
end of recur 1 
flag is: True 
end of recur 0 
flag is: False <-- I expect this to be true

当我将罪魁祸首行更改为 时，代码按预期工作，即 在 recur（2） 返回后将始终为 true。flag = recur(n+1) or flagflag

我怀疑这与短路有关，但我仍然完全困惑。请帮忙。or