python - 为什么 p 永远不会超过 2

Question

我在玩递归，结果是这样的:

n = 0

def func(f) :
    print("setting p to 1")  #NEW#
    p = 1 #local var
    global n
    n+=1
    print(n)
    if n > 5 :
        print("returning")
        return
    print("calling f(f) with id() of " + str(id(f)))
    f(f)
    print("incrementing p") #NEW#
    p +=1
    print("p = " + str(p))

print(str(id(func)))
func(func)

好吧，我的问题是，如果 f 始终是相同的 id(确实如此)，因此始终是相同的对象(我敢打赌这就是我在某种程度上出错的地方)，p 不应该是相同的 p 并因此递增超过 2 吗？相反，它将每个 p 视为不同对象的本地对象。

输出:

178374636
1
calling f(f) with id() of 178374636
2
calling f(f) with id() of 178374636
3
calling f(f) with id() of 178374636
4
calling f(f) with id() of 178374636
5
calling f(f) with id() of 178374636
6
returning
p = 2
p = 2
p = 2
p = 2
p = 2

带有新评论的新输出

178374572
setting p to 1
1
calling f(f) with id() of 178374572
setting p to 1
2
calling f(f) with id() of 178374572
setting p to 1
3
calling f(f) with id() of 178374572
setting p to 1
4
calling f(f) with id() of 178374572
setting p to 1
5
calling f(f) with id() of 178374572
setting p to 1
6
returning
incrementing p
p = 2
incrementing p
p = 2
incrementing p
p = 2
incrementing p
p = 2
incrementing p
p = 2

Answer 1

p 是一个局部变量，与 func 始终具有相同 id 的事实无关。每次调用 func 都会创建一个新的堆栈框架，其中包含新的局部变量实例