为何多次创建的线程ident相同？附Werkzeug Local代码示例

这其实是操作系统线程ID复用加上Werkzeug Local的存储机制共同导致的现象，我给你拆解得明明白白：

1. 线程ID的复用逻辑 #

• 你的add_arg函数执行得特别快——只是给Local对象设个属性，几乎瞬间就完成了。线程完成任务后会立刻结束，释放自己的线程ID资源。
• 操作系统为了高效利用资源，不会把用过的ID直接废掉，而是会把刚释放的ID分配给新创建的线程。所以你循环创建的三个线程，前一个刚结束，后一个就立刻拿到了同一个ID，这就是为什么三个t.ident完全一样。
• 当你加上time.sleep(5)后，线程会保持运行状态5秒，不会立刻释放ID。这时候新创建的线程只能去拿系统里未被占用的新ID，三个线程的ident自然就各不相同了。

2. Werkzeug Local的存储逻辑 #

• werkzeug.local.Local是专门做线程隔离存储的工具，它内部的__storage__字典，是用当前线程的ident作为key来存储每个线程的独立数据的。
• 无sleep的情况：三个线程复用了同一个ident，所以它们的arg0、arg1、arg2都会存在同一个key对应的子字典里，最终__storage__就只有一个条目，包含三个键值对。
• 有sleep的情况：三个线程各有独立的ident，每个线程的数据都存在自己的key下面，所以最终__storage__里会有三个独立的条目，每个条目对应一个线程的arg。

你可以做个小验证：在add_arg函数里加上一行print(f"当前线程ID: {threading.current_thread().ident}, 是否存活: {threading.current_thread().is_alive()}")，无sleep时会看到前一个线程已经处于dead状态，新线程复用了它的ID；有sleep时三个线程都是alive状态，ID完全不同。

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