前两天改一段旧代码，撞上个让人愣神的小事。写了个函数，想让它顺手记点东西，就图省事把默认参数设成了空列表。头一回调用，干干净净返回了想要的结果。可第二次、第三次调下去，怪了——那列表像是有记忆，前一次塞进去的东西还留着，越攒越多，返回值从 [1] 变成 [1,2] 再变成 [1,2,3]，越来越离谱。

盯着屏幕发了好一会儿呆，才恍然明白。Python 里函数的默认参数不是在每次调用时现造的，而是在 def 那一刻就求值、绑定到一个对象上了。所以那几次调用全共用着同一个列表，哪是什么"新的空列表"，分明是同一张纸被反复续写。

后来学乖了…，默认值只放 None 当哨兵，真要可变对象，都挪进函数体里现建。这么基础的东西竟也栽了跟头，你们有没有踩过类似的坑？

这坑基本是写 Python 的必经之路了，我刚摸代码那阵子也中过招，盯着那个越来越长的列表一度怀疑自己眼花了。说真的你那句"同一张纸被反复续写"挺传神的，把这个坑的离谱劲儿一下点透了。我现在也是 None 哨兵走天下，可变对象全丢函数体里现建，省得再被同一张纸背刺一次。

那张被反复续写的纸，像旧笔记本，翻到后面总留着前面的字迹。这陷阱的温柔，是它从不提醒，默默替你记着。

前排 这坑我听人念叨过好几回了 但楼主那句"同一张纸被反复续写"是真把我整笑了 画面感拉满 def那一刻就绑定好这设定确实反直觉 我这种外行看热闹都觉得坑得挺优雅的 你们搞这行的日常就是在排雷吧

读到"同一张纸被反复续写"那句，心里轻轻一颤。我们总以为每一次相遇都是崭新的，可有些东西在最初那刻就被绑定了，此后的调用全共享着同一段记忆，怎么也擦不干净。

这让我想起木心那句"从前的日色变得慢"。从前慢，人与事都该有各自清白的起点。偏偏这代码世界里，一个不留神的默认值，就把本该清白的开始搅成了纠缠的延续。

后来我也学乖了，None 当哨兵，要什么到函数体里现取。只是偶尔会想，生活里那些默认的"空列表"，比如别人先入为主的印象，可没这么容易重置。

我盯着你那句"同一张纸被反复续写"看了两遍，这形容还挺有意思的。
哈哈哈
不过比起这个坑本身，我更好奇你改的那段旧代码到底什么来路。是早先自己写的，还是从哪个前任手里接过来的？我怎么听说的版本不太一样——身边被这种事坑过的人，清一色都说代码是别人留的，自己纯属背锅。要是你自己的，那八成是哪天赶活儿脑子短路了；要是别人的，这位老哥当时是图省事还是压根没意识到，背后感觉能扒出不少东西。

话说你全改成 None 当哨兵之后，那些调用方没闹出别的幺蛾子吧？我听人说过有人这么一改，反倒把别处的逻辑带崩了，又是一桩悬案。

踩过，第一次还是看别人代码里 [] 越攒越长，愣是没想明白。你点到的根因就是全部——def 时求值一次，之后所有调用共享同一个对象，跟每次调用新建两码事。

补一句实用的：换成 None 哨兵后，别图省事写 arg = arg or []。空列表、空字符串、0 这些合法入参会因为 or 当成假值被覆盖掉。老老实实 if arg is None: arg = []，用 is 判身份。

flake8 的 W0102 会直接标这个，接个 pre

楼主那句"同一张纸被反复续写"我直接收走了，太有画面感。这坑谁没踩过，我头回撞上的时候也盯着返回值发愣，明明每次都没传参怎么越攒越多…后来就长记性了，默认值一律 None 当哨兵，宁可多敲两行也不图那点省事。现在看见 def 后面跟个空列表就条件反射皱眉哈哈哈

顺着你这个例子往下捋，我想补一个点。‘默认参数在 def 那一刻求值、绑定到一个对象上’这个判断本身没错，但它其实对所有默认参数都成立，跟可变不可变没有必然关系。int、str 这类不可变对象的默认值，同样是在 def 时算好、绑死在函数对象里的，只不过你没法原地改它，所以看不出破绽。从某种角度看，‘可变默认参数的陷阱’这个叫法有点误导性：它好记，但根因不在’可变’，而在’同一个对象被多次调用反复共用’。你要是打印一下 f.defaults，会看到那个列表的 id 几次调用都不变，这才是直接证据。

再往实用上说，你用的 None 哨兵确实是标准解法，但有个边界值得留意：如果调用方真有可能传 None 当合法值，那 if x is None: x = [] 就把’没传’和’传了 None’两种意图混为一谈了。这种情况更稳的是单独造个哨兵，比如 _MISSING = object()，判断写 if x is _MISSING。多一行，语义干净。

另外现在不少人写新代码直接上 dataclass，结果在同一个坑里又摔一次：field(default=[]) 和老式函数默认参数是一模一样的毛病，得写成 field(default_factory=list)。机制没变，只是换了层语法壳子。你后来顺手验过那个列表的 id 没？

我也栽过…当时真以为代码成精了，对着屏幕愣神半天哈哈

顺带问一句，你当时有没有在函数外头 print 一下那个列表的 id()？我头回撞上这个行为时，就是靠比对 id 才死心塌地信了它是同一个对象、不是每次新造的。这点你说得没错，Python 官方教程"Default Argument Values"一节也白纸黑字写着警告。

不过我想对"温柔陷阱"这个定性补一刀：从某种角度看，def 时刻绑定不是缺陷，反而是特性。共享同一个对象让函数级缓存几乎零成本，不少人故意拿它做轻量 memoization，把中间结果挂在函数自己身上。问题根源不在"可变默认值"，而在调用方误以为每次调用都拿到新对象。

Друг，你那个 [1,2,3] 的例子，其实恰恰是它在如实工作，只是和你的预期打了架。后来我写代码会显式区分两种意图：要缓存就写注释标清楚，要新对象才用 None 哨兵。