本文详解如何在 laravel 预约系统中，使用 eloquent 精确判断新预约与现有记录是否存在日期+时间范围重叠，避免因逻辑漏洞导致的重复预订问题。
本文详解如何在 laravel 预约系统中，使用 eloquent 精确判断新预约与现有记录是否存在日期+时间范围重叠，避免因逻辑漏洞导致的重复预订问题。
在构建智能储物柜、会议室或设备租赁等预约类系统时，时间范围重叠检测是核心业务逻辑。许多开发者初用 beginning_date + beginning_time / end_date + end_time 四字段建模时，会陷入“分段比较”的误区——即分别比对日期和时间字段，却忽略了跨日、部分重叠等真实场景（如：已有预约 19:00–21:00，新预约 19:30–21:30 应被拒绝，但错误逻辑可能放行）。根本解法是：将起止时间合并为单一时点（DateTime），再用经典区间重叠判定公式统一处理。
✅ 正确的重叠判定逻辑（数学原理）
两个时间区间 [A, B] 和 [Y, Z] 存在重叠 ⇔ A ≤ Z AND Y ≤ B
即：新预约的开始时间不晚于任一旧预约的结束时间，且新预约的结束时间不早于该旧预约的开始时间。
此公式简洁、完备，覆盖全部 4 种重叠情形（完全包含、左交、右交、互包），且天然支持跨日场景。
✅ 推荐实现：统一存储 DateTime 字段（最佳实践）
首先，强烈建议重构数据库结构，将 beginning_date/beginning_time 合并为 starts_at: datetime，end_date/end_time 合并为 ends_at: datetime。这不仅简化查询，还规避时区、夏令时及格式解析风险。
// 数据库迁移示例
Schema::table('reservations', function (Blueprint $table) {
$table->dropColumn(['beginning_date', 'beginning_time', 'end_date', 'end_time']);
$table->datetime('starts_at')->nullable();
$table->datetime('ends_at')->nullable();
});控制器中，直接使用 Carbon 构造完整时间点：
use Carbon\Carbon;
public function create(Request $request)
{
$locationId = $request->input('location_id');
$duration = $request->input('duration');
// 解析用户输入为精确 DateTime
$startsAt = Carbon::parse(
$request->input('beginning_date') . ' ' . $request->input('beginning_time')
);
$endsAt = $startsAt->copy()->addHours($duration);
// ✅ 关键：一行代码完成重叠检测（使用经典公式）
$overlappingCount = Reservation::where('starts_at', '<=', $endsAt)
->where('ends_at', '>=', $startsAt)
->count();
$totalBoxes = Box::where('location_id', $locationId)->count();
$available = $totalBoxes > $overlappingCount;
return view('checkout', compact(
'locationId', 'startsAt', 'endsAt', 'duration', 'available'
));
}⚠️ 若必须保留分离字段：安全降级方案
若受历史约束无法修改表结构，则需在查询中手动拼接日期时间并转换为 DateTime 进行比较（注意：数据库函数兼容性需验证）：
// MySQL 示例（Laravel 9+ 支持 raw 表达式）
$overlappingCount = Reservation::whereRaw(
"STR_TO_DATE(CONCAT(beginning_date, ' ', beginning_time), '%d-%m-%Y %H:%i') <= ?",
[$endsAt->format('Y-m-d H:i:s')]
)
->whereRaw(
"STR_TO_DATE(CONCAT(end_date, ' ', end_time), '%d-%m-%Y %H:%i') >= ?",
[$startsAt->format('Y-m-d H:i:s')]
)
->count();? 重要提醒：
- 分离字段方案性能较差（无法利用索引），且 STR_TO_DATE 在 PostgreSQL/SQL Server 中语法不同；
- 前端传入的时间格式（如 'H:m'）存在严重错误（应为 'H:i'），m 表示月份，i 才是分钟；
- Carbon::parse() 可直接解析 '2022-04-06 19:30' 等标准格式，无需先 format() 再拼接。
✅ 最终验证与健壮性增强
在生产环境中，建议增加以下防护：
- 数据库唯一约束（辅助）：对高频冲突场景（如单柜多时段），可添加复合索引加速查询；
- 事务包裹：检测通过后创建预约时，用 DB::transaction() 避免并发写入竞争；
- 前端实时校验：配合 AJAX 预检，提升用户体验。
use Illuminate\Support\Facades\DB;
DB::transaction(function () use ($startsAt, $endsAt, $locationId) {
$conflict = Reservation::where('starts_at', '<=', $endsAt)
->where('ends_at', '>=', $startsAt)
->whereHas('box', fn ($q) => $q->where('location_id', $locationId))
->exists();
if ($conflict) {
throw new \Exception('The selected time slot is no longer available.');
}
Reservation::create([
'box_id' => $this->selectAvailableBox($locationId),
'starts_at' => $startsAt,
'ends_at' => $endsAt,
]);
});掌握这一经典区间重叠判定模式，不仅能解决预约系统问题，还可复用于日程管理、资源调度、课程排期等所有涉及时间窗口的业务场景。记住核心口诀：“存为 DateTime，查用 A≤Z ∧ Y≤B” —— 简洁、高效、无遗漏。
