关于函数变量作用域问题 python

# Definition for a binary tree node.
# class TreeNode:
#     def __init__(self, val=0, left=None, right=None):
#         self.val = val
#         self.left = left
#         self.right = right
class Solution:
    def inorderTraversal(self, root: Optional[TreeNode]) -> List[int]:
        def dfs(cur):
            if not cur:
                return      
            # # 中序递归
            dfs(cur.left)
            res.append(cur.val)
            dfs(cur.right)     
        res = []
        dfs(root)
        return res

我不理解，这里的res作为inoderTarversal的变量，是处于dfs函数体外的，那么dfs为什么可以对res进行append操作？

因为dfs这个函数是在inorder这个函数里面的，inorder这个函数里面声明的函数一开始不会执行，然后执行res的声明，然后才调用dfs这个函数，此时res已经声明，所以可以