本文介绍如何通过函数参数化、队列动态管理及线程抽象，重构原始停车场模拟代码，消除重复的 floor_wait 函数，实现可扩展、易维护的多楼层高并发车位调度系统。
本文介绍如何通过函数参数化、队列动态管理及线程抽象，重构原始停车场模拟代码，消除重复的 floor_wait 函数，实现可扩展、易维护的多楼层高并发车位调度系统。
在原始实现中，floor1_wait、floor2_wait 和 floor3_wait 三个函数逻辑高度一致，仅因楼层名称、对应队列和槽位计数不同而重复定义——这是典型的“代码异味”，不仅难以扩展（新增楼层需手动复制粘贴），还极易引入同步错误或维护疏漏。真正的优化方向不是增加更多硬编码函数，而是将共性逻辑提取为通用函数，并通过参数注入差异化行为。
✅ 核心重构策略
-
统一等待处理函数：定义单个
floor_wait()函数，接收专属队列（wq）、楼层键名（floor_key）和共享输出队列（oq）作为参数； -
动态管理队列与线程：用字典替代独立全局队列变量（如
wq1,wq2），按楼层名索引； -
避免局部变量陷阱：
floor_slots[floor_key] += 1操作必须加锁（因floor_slots是共享字典），原答案中直接传入floor_slot += 1会失效（整数不可变，传值不传引用），需修正为传入floor_slots字典与键； -
统一终止信号机制：所有工作线程均响应
None信号退出，确保 graceful shutdown。
以下是重构后的关键代码段（兼容原逻辑，支持任意楼层）：
# ✅ 动态队列与楼层配置（可轻松增减楼层）
FLOORS = ['Floor 1', 'Floor 2', 'Floor 3'] # 支持 ['F1','F2','F3','F4','Basement'] 等任意列表
wq_dict = {floor: queue.Queue() for floor in FLOORS} # 替代 wq1/wq2/wq3
# ✅ 通用楼层等待函数（线程安全）
def floor_wait(wq: queue.Queue, floor_key: str, floor_slots: dict, oq: queue.Queue):
while True:
try:
car = wq.get(timeout=1)
except queue.Empty:
continue
if car is None:
break
# 模拟停车等待时长（可按楼层定制，如 Floor 1: 3–5s, Floor 3: 6–10s）
wait_duration = random.uniform(3, 8) if floor_key == 'Floor 1' else \
random.uniform(4, 9) if floor_key == 'Floor 2' else \
random.uniform(5, 10)
time.sleep(wait_duration)
# ✅ 关键修复：使用 lock 更新共享字典
with lock:
floor_slots[floor_key] += 1
oq.put(car)
update_data()
# 模拟驶出延迟（可按楼层差异化）
exit_delay = {'Floor 1': 1, 'Floor 2': 2, 'Floor 3': 3}.get(floor_key, 1)
time.sleep(exit_delay)
# ✅ 动态创建线程（无需硬编码）
floor_wait_threads = []
for floor in FLOORS:
t = threading.Thread(
target=floor_wait,
args=(wq_dict[floor], floor, floor_slots, oq)
)
floor_wait_threads.append(t)
# 启动所有楼层线程
for t in floor_wait_threads:
t.start()⚠️ 注意事项与最佳实践
-
锁粒度要精准：仅对
floor_slots修改加lock，避免阻塞update_data()或time.sleep()； -
队列信号传递一致性：
stop_threads()中需向每个wq_dict[floor]发送None，而非旧式wq1.put(None)； -
GUI更新线程安全：
update_data()调用root.after(0, ...)已正确委托至主线程，无需额外锁； -
可扩展性验证：只需修改
FLOORS列表（如追加'Floor 4'）并调整floor_slots初始化值，系统自动适配； -
性能提示：当车辆规模达千级时，建议将
queue.Queue替换为asyncio.Queue+ 协程，进一步提升吞吐量。
通过本次重构，代码行数减少约 40%，新增楼层成本趋近于零，且逻辑集中、边界清晰。这不仅是“消除重复”，更是将系统从静态拓扑升级为可配置服务——这才是工业级模拟系统应有的可伸缩架构基础。
