OrderedDict执行__delitem__报link_next未赋值UnboundLocalError问题求助

核心报错根因定位方向 #

这个UnboundLocalError出现在OrderedDict内部__delitem__方法的最后一行，本质是OrderedDict的内部双向链表和__map存储的元数据出现了一致性破坏，常见触发原因按概率从高到低排查：

1. 多线程并发访问（最高发） #

OrderedDict 本身不具备线程安全性，当多个线程同时对同一个OrderedDict实例执行写操作（包括pop、赋值、删除、popitem），或者读写操作并行执行时，会打乱内部原子操作的执行顺序，破坏元数据一致性：

你的场景中大概率是：线程A执行self.cache.pop(key)进入__delitem__流程，刚完成字典层的key删除，CPU时间片切到同样在操作同一个key的线程B，线程B完成了该key的全量删除逻辑并清理了__map中的对应条目，切回线程A后执行self.__map.pop(key)时出现异常，导致link_prev, link_next, key解包失败，link_next变量未被成功赋值就被后续代码引用。

验证方案：给所有操作self.cache的逻辑加全局互斥锁，示例修改如下：

import threading
class LRUCache:
    def __init__(self, capacity):
        self.cache = OrderedDict()
        self.capacity = capacity
        self.lock = threading.Lock()
    
    def get_value(self, key):
        with self.lock:
            try:
                value = self.cache.pop(key)
                self.cache[key] = value
                return value
            except KeyError:
                return None
    # 其他put、淘汰等操作也需要加同一个锁

如果加锁后问题不再复现，即可确认是并发竞争导致。

2. 手动修改OrderedDict内部私有属性 #

检查代码中是否有直接操作self.cache._OrderedDict__map、内部链表节点等私有属性的逻辑，任何手动修改内部私有结构的操作都会破坏元数据一致性，导致解包失败。

3. 老旧Python版本的已知bug #

如果使用的是Python 3.5及更早的版本，部分小版本存在OrderedDict内部操作的已知缺陷，可以升级到对应大版本的最新稳定版复测验证。 #

替代解决方案 #

如果不想自行处理并发问题，可以直接使用Python 3.2+自带的functools.lru_cache装饰器，其内部已经实现了线程安全的LRU逻辑，无需手动维护OrderedDict。

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