本文讲解如何用 php 实现停车场分级停车逻辑：小车优先占用小车位，小车位满时自动 fallback 到大车位，避免重复占位与条件竞态问题，并提供简洁、可维护的代码方案。
本文讲解如何用 php 实现停车场分级停车逻辑：小车优先占用小车位，小车位满时自动 fallback 到大车位，避免重复占位与条件竞态问题，并提供简洁、可维护的代码方案。
在开发车辆停放管理系统时，一个常见需求是支持“车型分级适配”：小车可停小车位（首选），但当所有小车位已满时，应自动尝试停入空闲的大车位；而大车则只能停大车位。原始代码通过嵌套 foreach 和硬编码键名（如 "spot10"、"spot1"）判断状态，不仅逻辑耦合度高，还容易因执行顺序导致同一辆车被误分配到两个车位（例如小车位末位刚被占满，后续条件又触发大车位分配）。
根本问题在于：原逻辑将「小车位是否全满」与「大车位是否可用」拆分为独立、非原子的判断步骤，且依赖特定索引值（如 spot10 === 1）推断整体状态，既不可靠也不可扩展。
✅ 推荐解法：使用 array_search() 安全定位首个空位，配合清晰的状态流转，彻底消除竞态和重复分配风险：
if ($_POST['size'] === 'small') {
// 步骤1：尝试在小车位中找空位
$smallKey = array_search(0, $_SESSION['parkingSmall']);
if ($smallKey !== false) {
// 找到空位 → 占用并退出
$_SESSION['parkingSmall'][$smallKey] = 1;
echo "Car parked in small lot: {$smallKey}";
return;
}
// 步骤2：小车位已满 → 尝试大车位
$largeKey = array_search(0, $_SESSION['parkingLarge']);
if ($largeKey !== false) {
$_SESSION['parkingLarge'][$largeKey] = 1;
echo "Small car parked in large lot: {$largeKey}";
return;
}
// 步骤3：全部满员
echo "No available spaces for small car.";
}? 关键优势说明：
- 原子性保障：array_search() 一次性返回首个匹配键，无需手动遍历+break，避免状态判断与赋值之间的时序漏洞；
- 语义清晰：$key !== false 明确表达“是否存在空位”，比检查特定索引值（如 spot10 === 1）更准确、更易维护；
- 可扩展性强：若车位结构变化（如增加 spot11），代码无需修改；未来还可轻松封装为函数或类方法；
- 无副作用：不会因前一步操作意外触发后一步逻辑（如原代码中 spot10 === 1 的误判）。
⚠️ 注意事项：
- 始终使用严格比较 !== false，因为 array_search() 在键为 0 时可能返回 0（falsy），误判为失败；
- 若需记录停车日志或触发事件，建议在赋值后统一处理，而非分散在各分支中；
- 生产环境应添加 session 写入锁或数据库事务，防止并发请求导致超售（多个请求同时查到空位并写入）。
总结：用 array_search() 替代手动遍历 + 硬编码条件，是解决此类“分级资源分配”问题的简洁范式。它将关注点从“如何遍历”转向“是否存在可用资源”，大幅提升代码健壮性与可读性。
