Python 3.7+ 的 dict.popitem() 默认 LIFO，返回并移除最后插入的键值对；更新已有键不改变其插入顺序，仅新增键才追加到末尾。
Python 3.7+ 的 dict.popitem() 默认就是 LIFO
不用额外操作，dict.popitem() 在 Python 3.7 及以上版本已保证返回并移除**最后插入的键值对**（LIFO），这是语言规范层面的保证，不是偶然行为。Python 3.7 将 dict 的插入顺序保留写入语言 spec，同时明确 popitem() “removes and returns an arbitrary key-value pair” → 但“arbitrary”在实现中被定义为“the most recently inserted”，且 CPython 和所有主流实现均严格遵循。
为什么有人误以为它不 LIFO？常见踩坑点
问题往往出在「插入顺序」本身被意外打乱，而非 popitem() 失效：
-
dict被多次赋值或更新（如d['k'] = v）——这属于「更新」而非「新插入」，不会改变该键在插入顺序中的位置；只有新增键才会追加到末尾 - 用
dict.update()批量更新时，传入的是另一个dict：Python 3.7+ 中，update()会按参数 dict 的插入顺序逐个插入（新增键追加、已有键只更新值不移动位置），但如果参数 dict 本身是通过字面量或旧版 Python 构建的，顺序可能不符合预期 - 混用
collections.OrderedDict和普通dict：虽然两者都保持顺序，但OrderedDict.popitem(last=True)明确支持last参数，而普通dict.popitem()不接受参数——别试图传last=True，会报TypeError: popitem() takes no arguments (1 given)
验证 LIFO 行为的最小可测代码
直接运行即可确认：
d = {}
d['a'] = 1
d['b'] = 2
d['c'] = 3
print(d.popitem()) # ('c', 3)
print(d.popitem()) # ('b', 2)
print(d.popitem()) # ('a', 1)
注意：如果中间有 d['b'] = 99，再调用 popitem()，仍会先弹出 'c'，因为 'b' 是已存在键，更新不改变其插入位置。
立即学习“Python免费学习笔记（深入）”；
需要 FIFO 或可控顺序时，别硬改 popitem()
dict.popitem() 没有开关，也不支持指定索引。若需 FIFO（即弹出最先插入项），必须自己维护顺序：
- 用
collections.deque存键名，配合dict存值，手动管理出入 - 用
collections.OrderedDict并调用.popitem(last=False) - 避免把普通
dict当作栈或队列来用——它的接口只暴露 LIFO 弹出，其他行为靠自己补足
真正容易被忽略的是：LIFO 依赖于「你认为的‘最后插入’确实发生了」，而不是「你刚设置了某个值」——更新已有键不等于插入新键。
