PHP 时间区间差集计算：高效实现 DateTime 范围的排除与分割-php教程-PHP中文网

PHP 时间区间差集计算：高效实现 DateTime 范围的排除与分割

本文详解如何在 php 中正确实现「从一组时间区间中排除多个干扰区间」的逻辑，解决递归导致的无限循环问题，提供健壮、可复用的时间段差集算法，并附带完整示例与关键注意事项。

本文详解如何在 php 中正确实现「从一组时间区间中排除多个干扰区间」的逻辑，解决递归导致的无限循环问题，提供健壮、可复用的时间段差集算法，并附带完整示例与关键注意事项。

在实际业务开发中（如预约系统、资源占用调度、日志时段过滤等），常需对原始时间范围执行「排除操作」——即给定一个或多个主时间段（$sets）和若干待排除的时间段（$exclusions），输出所有未被覆盖的剩余连续时间段。看似简单，但因区间间存在嵌套、重叠、相切等多种关系，直接遍历修改极易引发逻辑错误或无限递归。

原始代码的核心缺陷在于 区间判断条件不严谨，尤其在处理“排除区间部分覆盖主区间两端”的情形时，错误地使用 = 导致边界重合被反复匹配，触发无终止的递归调用（如 return dateIntervalDiff($sets, $exclusions); 在未收缩问题规模时重复执行）。此外，clone 与 modify() 混用易引发时区或精度误差，且未对输入做有效性校验。

✅ 正确解法的关键改进点如下：

btpanel phpsite 宝塔面板PHP网站

宝塔面板 PHP 网站管理：站点创建、删除、启停、PHP 版本切换、域名管理、SSL证书管理、伪静态管理、数据库管理

下载

修正边界判定逻辑：将模糊的 = 改为严格不等式（），明确区分「完全包含」「左交叠」「右交叠」「中间挖空」四类关系；
避免无收敛递归：仅在真正产生新区间（即“中间挖空”场景）时递归处理新增片段，且确保每次递归前 $sets 已移除当前被分割项；
统一时间处理方式：改用 DateTimeImmutable 替代可变 DateTime + clone，杜绝意外副作用；推荐使用 diff() 方法计算秒数差，提升可读性与鲁棒性；
增加预处理与后处理：对 $exclusions 按起始时间排序并合并重叠区间，减少冗余计算；最终结果自动去重、合并相邻/重叠区间，并按时间升序排列。

以下是优化后的生产就绪版本：

/**
 * 从时间区间集合中排除指定排除区间，返回剩余有效区间列表
 * @param array $sets 主区间数组，每个元素含 'start' 和 'end' DateTimeImmutable 实例
 * @param array $exclusions 排除区间数组，结构同 $sets
 * @return array 过滤后的区间数组（已排序、去重、合并）
 */
function dateIntervalDiff(array $sets, array $exclusions): array
{
    // 预处理：标准化并合并重叠的排除区间
    $exclusions = array_map(function ($e) {
        if ($e['start'] > $e['end']) {
            [$e['start'], $e['end']] = [$e['end'], $e['start']];
        }
        return $e;
    }, $exclusions);

    usort($exclusions, fn($a, $b) => $a['start']  $b['start']);

    // 合并重叠的 exclusion 区间（提升效率）
    $mergedExclusions = [];
    foreach ($exclusions as $excl) {
        if (empty($mergedExclusions)) {
            $mergedExclusions[] = $excl;
        } else {
            $last = end($mergedExclusions);
            if ($excl['start'] = $currentEnd) {
                $currentStart = $currentEnd; // 标记为空
                break;
            }

            // Case 2: exclusion 与 set 左交叠（excl 结束于 set 内部）
            if ($excl['start']  $currentStart && $excl['end']  $currentStart && $excl['start'] = $currentEnd) {
                $currentEnd = $excl['start'];
            }

            // Case 4: exclusion 完全位于 set 中间 → 拆分为两段
            if ($excl['start'] > $currentStart && $excl['end']  $currentStart, 'end' => $excl['start']];
                $currentStart = $excl['end'];
            }
        }

        // 若仍有有效区间，加入结果
        if ($currentStart  $currentStart, 'end' => $currentEnd];
        }
    }

    // 后处理：合并相邻或重叠的结果区间
    usort($result, fn($a, $b) => $a['start']  $b['start']);
    $mergedResult = [];
    foreach ($result as $interval) {
        if (empty($mergedResult)) {
            $mergedResult[] = $interval;
        } else {
            $last = end($mergedResult);
            if ($interval['start']  new DateTimeImmutable('2022-07-04 00:00:00', new DateTimeZone('UTC')),
        'end'   => new DateTimeImmutable('2022-07-04 23:59:59', new DateTimeZone('UTC'))
    ]
];

$exclusions = [
    [
        'start' => new DateTimeImmutable('2022-07-04 09:00:00', new DateTimeZone('UTC')),
        'end'   => new DateTimeImmutable('2022-07-04 13:00:00', new DateTimeZone('UTC'))
    ],
    [
        'start' => new DateTimeImmutable('2022-07-04 14:00:00', new DateTimeZone('UTC')),
        'end'   => new DateTimeImmutable('2022-07-04 18:00:00', new DateTimeZone('UTC'))
    ]
];

foreach (dateIntervalDiff($sets, $exclusions) as $r) {
    echo 'From ' . $r['start']->format(DateTimeInterface::ATOM)
         . ' to ' . $r['end']->format(DateTimeInterface::ATOM) . "\n";
}
// 输出：
// From 2022-07-04T00:00:00+00:00 to 2022-07-04T09:00:00+00:00
// From 2022-07-04T13:00:00+00:00 to 2022-07-04T14:00:00+00:00
// From 2022-07-04T18:00:00+00:00 to 2022-07-04T23:59:59+00:00

? 重要注意事项：