这个差异既不是bug，也不是你对有序dict特性的误解，而是UserDict类的设计实现导致的向后兼容行为，具体原因如下：

1. 内置dict的popitem()行为 #

从Python 3.7开始，内置dict成为有序结构，其默认的popitem()方法遵循**LIFO（后进先出）**规则：默认弹出最后插入的键值对（对应popitem(last=True)），如果传入last=False则会弹出第一个插入的键值对。这是内置dict的原生实现逻辑。

2. UserDict的popitem()实现 #

collections.UserDict并没有直接复用内置dict的popitem()方法，而是自己实现了一套逻辑。以Python 3.13/3.14版本为例，它的popitem()核心代码逻辑是：

def popitem(self):
    if not self.data:
        raise KeyError('popitem(): dictionary is empty')
    key = next(iter(self.data))  # 获取迭代器的第一个元素（即插入顺序的第一个键）
    value = self.data.pop(key)
    return key, value

它会先拿到self.data迭代器的第一个键（也就是插入顺序的第一个键），再调用data.pop(key)移除并返回该键值对——这就导致它的行为是FIFO（先进先出），和内置dict的默认popitem()完全相反。

3. 差异的根源：向后兼容 #

这个设计是为了保障旧代码的稳定性：在Python 3.7之前，内置dict是无序的，当时MutableMapping（UserDict的父类）对popitem()的要求是弹出任意一个键值对，UserDict选择了取迭代器第一个元素的实现。当Python 3.7把dict改为有序后，UserDict的这个实现没有被修改，以此保证依赖旧行为的代码不会突然出错——这就造成了现在有序dict时代，两者popitem()的行为差异。

让UserDict和dict行为一致的方法 #

如果你想让UserDict实例的popitem()和原生dict保持一致，可以自己重写这个方法：

from collections import UserDict

class UD(UserDict):
    def popitem(self, last=True):
        return self.data.popitem(last=last)

ud = UD(foo="bar", baz=42)
print(ud.popitem())  # 现在会弹出('baz', 42)，和dict行为一致

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