“nonlocal”关键字与变量有什么关系？

问：

这是我为尝试理解“非本地”关键字的机制而制作的示例代码。 `

# Outer fuction
def func1():
  var1 = 2
  print("---ID of var1 in func1---")
  print(id(var1))
  print(locals())
# Inner function
  def func2():
    nonlocal var1
    var1 += 1
    print("---ID of var1 in func2---")
    print(id(var1))
    print(locals())

  # Call inner function
  func2()
  print("---ID of var1 in func1 after func2 execution---")
  print(id(var1))
  print(locals())

func1()

` 我们在 func1（） 命名空间中定义 var1。在 func2（） 中调用 'nonlocal' 后，var1 会更改其 id 并开始出现在 func2（） 的本地字典中。执行 func2（） 后，它仍然存在于 func1（） 的本地字典中。

这是否意味着一个变量可以同时存在于多个命名空间中？为什么 id（var1） 发生了变化？

我预计 var1 只会出现在 func1（） 的本地字典中，而“nonlocal”关键字只会提供在 func2（） 中更改它的可能性。