二叉树前序遍历递归实现中辅助函数返回值的疑问

首先得明确Python里列表是可变对象，函数传参时传递的是对象的引用——也就是说你把列表L传给pre_util后，函数内部对L的append操作，都是直接修改原列表本身，而不是创建新列表。

看你的pre_util函数实现：

• 当root不为空时，先把当前节点加入L，然后递归处理左右子树，最后返回L本身。

现在拆解两种写法的区别：

• 原写法pre_util(root.left, L)：递归调用时，函数内部会直接修改你传入的那个L列表（把左子树的节点全部添加进去），调用结束后，当前作用域里的L还是原来的那个列表，已经包含了左子树的所有节点，完全不需要额外操作。
• 写法L=pre_util(root.left, L)：因为pre_util最后返回的就是你传进去的那个L本身，所以这个赋值操作相当于把同一个列表的引用重新赋值给L，本质上和原写法没有任何功能上的区别——L还是指向原来的列表，没有任何变化。这一步赋值完全是多余的，属于画蛇添足。

至于为什么很多解决方案都用pre_util(root.left, L)这种写法：
因为既然递归调用已经在直接修改原列表了，额外的赋值没有任何实际作用，只会增加不必要的代码复杂度，直接调用更简洁清晰，也符合Python可变对象传递的逻辑。

补充一点：如果你的pre_util函数是每次递归都创建新列表并返回（比如不用传入列表，而是每次返回新的列表拼接结果），那赋值才是必要的，但你的实现是基于传入同一个可变列表来修改的，所以完全不需要赋值。

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