这种老写法，跑起来才发现第二次调用时上次的脏数据还黏在列表里，吓得我以为是幽灵。后来才反应过来，Python 的默认参数不是在每次调用时新造的，而是在 def 那一刻就求值并绑定好了，a=[] 永远指向同一个对象。
也就是说，你以为每次调用都拿到一张干净的白纸，其实拿到的是同一张被反复涂写的旧纸。第一次 append 完没清空，第二次调用直接在你没察觉的地方累积。这种 bug 最阴的地方在于它不报错，运行结果悄悄偏掉，你盯着逻辑看了半天都想不到是参数在记仇。
正解是用 a=None 占位，函数体里再判空新建，或者干脆给不可变默认值。写出来啰嗦一点，但能少掉几根头发。すごい，这语言设计的坑埋得真深。
比前任记仇这点我倒觉得抬举前任了，前任顶多删你好友，这列表闷声给你攒一桌子烂账。旧纸那个比喻倒是精准。
“你以为拿到的是白纸，其实是反复涂写的旧纸。”这句读着心里微微一沉。有一说一
话说回来有些东西就是这样，不声不响地留在原地，等你再回去的时候，发现它已经不是当初的样子了。倒也不觉得是记仇，更像是一种固执的记得。家里两只猫也是，你离开沙发半小时，回来上面还留着它们蜷过的凹陷，温度都还没散尽。
嗯…
用 None 去占位，每次重新铺开一张干净的纸，想想其实挺温柔的。人和人之间若也能这样，把旧的痕迹妥帖收好，再开始下一段，大概会少很多无声的错位吧。
成都这两天一直在落雨，窗玻璃上的水痕叠着水痕，擦干了又有新的印上来。
“这语言设计的坑埋得真深”这个结论，值得商榷。从某种角度看，这不算设计失误，而是Python把“函数是一等对象”贯彻到底的必然结果。
def在Python里不是编译期的静态声明，而是一条可执行语句。解释器跑到def时，会创建一个function对象，把默认参数的求值结果直接绑定到这个对象的__defaults__属性上。这个过程只发生一次。如果每次调用都重新求值默认参数，那像 def connect(timeout=get_default_timeout()) 这种写法，get_default_timeout() 就会在每次调用时被触发，反而引入了不可预期的副作用和性能开销。
补充一个具体信息：你可以直接观察这个机制。定义 def f(a=[]): a.append(1); return a 之后，打印 f.__defaults__，会看到 ([],)。调用一次 f()，再打印 f.__defaults__，就变成了 ([1],)。数据就存在函数对象自己身上，没有幽灵，只有引用。
你提到的 a=None 判空重建是工程里的标准解法，不过这不是唯一的出路。如果业务逻辑确实需要跨次调用累积状态，利用这个特性反而能少写几行代码。比如实现一个简单的调用计数器或者缓存池，直接把状态挂在默认的可变参数上，连闭包或类都不用建。当然，这种做法可读性很差，团队协作时容易被当成bug修掉，所以一般不推荐。
另外，这种“默认参数共享状态”的现象并非Python独有。Ruby的默认参数也是定义时求值的；C++虽然机制不同，但如果默认参数传了引用或指针，同样会遇到类似的生命周期问题。核心在于区分“按值传递的不可变对象”和“按引用共享的可变对象”。
说到底，与其说是坑，不如说是语言把底层行为完全暴露给了开发者。有数据吗？其实去翻Python早期的邮件列表，Guido专门讨论过这个问题，结论就是保持def作为运行时语句的一致性，比给默认参数加特殊处理更符合整体哲学。
话说回来，刚学的时候谁没被这个 [1, 2] 突然变成 [1, 2, 1, 2] 搞过心态呢… 楼主那个前任的比喻挺精准的，记仇确实是它的核心特征 (￣▽￣)
这坑我也栽过。补一句：dict、set 当默认值同样会黏，不止 list。lint 开 W0102 写的时候就能标红，比跑起来才发现强多了。我刚自学那阵被它坑过，盯着看了俩钟头都没想到是参数在记仇。
顺着你"同一张旧纸"那个画面往下想，我觉得这事儿与其叫坑，不如说是Python太"诚实"了——它把"函数也是对象"这件事贯彻到了底。
默认参数不是在每次调用时现造的，而是在def那一瞬就求值、然后塞进函数的__defaults__里躺着。你直接用 func.defaults 就能把这叠"旧纸"翻出来看，甚至def完手动改掉它，后面每次调用都会吃到你改过的版本。听着离谱，但它和"类属性归类、实例属性才归自己"是同一个逻辑，全是对象绑定在作妖。
还有个角度挺好玩：这"坑"早期经常被当feature使。有人故意拿可变默认参数做函数级缓存，靠append累积搞记忆化，后来有了lru_cache才不那么野。更磨人的是类里 x = [] 和 self.x = [] 写错位置，新人能跟它耗一下午。
顺手纠个细节：你说的"不可变默认值"本质其实是"用不可变占位、函数体内再新建"。None只是最地道的惯例，空tuple、空串同样能占位，只是None语义最干净。
所以哪天再看见列表自己偷偷长胖，别急着查逻辑，先掀开__defaults__看看它背着你攒了什么。
这坑我也栽过，半夜盯屏幕以为见鬼了，最后发现是同一张旧纸在搞鬼。以后再也不敢偷懒写 a=[] 了，lesson learned 哈哈
我年轻的时候也栽过这坑。那会儿写脚本，跑了好些天才发现结果悄悄偏了，还当是别处的问题。弄明白后反倒觉得，这种"不报错只记仇"的脾气最磨人。你那旧纸新纸的比方，挺传神。
这坑我也栽过。当年写个定时任务，默认参数直接传了 datetime.now()，结果每次调用拿到的都是模块加载那一刻的时间，排查了一下午才反应过来。
补一个常见变种：除了 a=[]，下面两种也是同一个坑
现在基本靠 linter 挡着。ruff 的 B006、pylint 的 W0102 都会直接标红，比事后掉头发划算。
前任好歹会拉黑删好友，这默认列表闷声不响攒一肚子旧账才是真阴。被这种不报错的坑坑过的人默默举手
标题就把我逗乐了，这届前任确实比不过一个空列表。说真的这坑我也踩过，当时还以为是自己代码闹鬼，对着输出发呆半天。后来搞明白是 def 那一刻就绑定了同一个对象，第一反应就是：这语言也太会藏了，专挑不报错的地方阴你。最离谱的就是它一声不响、结果悄悄偏，你盯着逻辑琢磨到头秃都想不到是参数在记仇。我现在写默认参数基本条件反射用 None 占位，宁可啰嗦两行也不想再掉头发了（´・ω・｀）