核心在于冲突检测逻辑设计,time_conflict_check需覆盖4类硬约束:时间格式统一为y-m-d h:i:s或时间戳、教师/班级/教室三维度分表校验、避免字符串比较时间、datetime字段匹配或time字段加日期限定。

ThinkPHP 实现智能排课系统,核心不在框架本身有多“智能”,而在于你如何设计冲突检测逻辑——time_conflict_check 这类函数写得是否覆盖真实教学约束,比用不用 think\Model 或 Db::transaction() 更关键。
时间冲突检测必须覆盖的 4 类硬约束
排课不是比谁插入快,而是比谁漏判少。常见漏判场景包括:
-
start_time和end_time是字符串(如"08:30")而非时间戳,直接字符串比较会出错("10:00" 返回 true) - 跨天课程未处理:体育课从
"22:00"上到次日"00:30",需拆解为两个时段或统一转为分钟数计算 - 同一教室、同一教师、同一班级三者任一维度重叠都算冲突,但很多人只校验教室
- 节次制排课(如第 3–4 节)和精确时间混用:教务系统给的是“第 5 节(14:00–14:45)”,但数据库存的是
start_time="14:00",一旦节次映射表变更,所有硬编码时间就失效
用 Db::raw() 做高效区间交集判断(避免 PHP 循环查)
别在 PHP 层遍历已有课表再比对,一节课查 100 条历史记录,1000 节课就是 10 万次查询。直接用 SQL 区间判断:
$conflict = Db::name('schedule')
->where('classroom_id', $data['classroom_id'])
->where(function ($query) use ($start, $end) {
$query->whereRaw('? find();
注意:$start 和 $end 必须是 Y-m-d H:i:s 格式或时间戳,且数据库字段 start_time/end_time 类型为 DATETIME;若用 TIME 类型,则需确保当天日期一致(加 AND DATE(lesson_date) = CURDATE())。
教师/班级/教室三维度冲突要分表查,别堆在一个 SQL 里
一个排课请求要同时校验教师空闲、班级课表、教室占用,看似可以写成三表 JOIN,但实际极易因数据量大拖慢或锁表。更稳的做法是分三次单表查:
- 查教师:
WHERE teacher_id = ? AND ? - 查班级:
WHERE class_id = ? AND week_day = ? AND ? (加 <code>week_day索引) - 查教室:
WHERE classroom_id = ? AND lesson_date = ? AND ?
用事务包住这三次查询 + 最终插入,避免中间状态被其他请求绕过。别信“查一次 JOIN 三张表更省”,真实压测下分查+索引命中率高得多。
节次映射必须抽离为配置表,禁止硬编码
把“第 1 节 = 08:00–08:45”这种规则写死在代码里,等于埋雷。应建 section_period 表:
id | section_no | start_time | end_time | is_active 1 | 1 | 08:00:00 | 08:45:00 | 1 2 | 2 | 08:55:00 | 09:40:00 | 1
排课时通过 $sectionNo 查出对应时间段,再参与冲突判断。这样调课、加午休、改作息,只需改表,不动一行 PHP 代码。很多项目上线后改不了作息,根子就在这一行 if ($section == 1) $time = '08:00';。
真正卡住智能排课落地的,从来不是算法多复杂,而是时间粒度没对齐、约束没列全、配置没抽离——这些细节不抠清楚,模型再 fancy 也排不出一张能用的课表。
php免费学习视频:立即使用
踏上前端学习之旅,开启通往精通之路!从前端基础到项目实战,循序渐进,一步一个脚印,迈向巅峰!











