使用 laravel eloquent 的 wheredoesnthave 与 wherehas 组合，可精准筛选出“存在子记录且所有子记录 status 均为 3”的父模型。
使用 laravel eloquent 的 wheredoesnthave 与 wherehas 组合，可精准筛选出“存在子记录且所有子记录 status 均为 3”的父模型。
在实际业务中（如订单审核、任务分组、权限校验等），常需判断父实体是否“完全满足”其全部子实体的某项条件——例如：仅当一个项目下的所有任务状态均为 completed（或数值 3）时，才将该项目标记为“就绪”。这并非简单的 whereHas(...->where('status', 3))（该写法仅要求至少一个子记录匹配），而是逻辑上的“全称量化”：**每个子记录都必须满足条件**。Laravel 并未直接提供“all children match”语法，但可通过否定式逻辑优雅实现：
✅ 存在子记录（排除无子记录的父项）→ 使用 whereHas('children')
✅ 不存在违反条件的子记录（即没有 status ≠ 3 的子项）→ 使用 whereDoesntHave('children', fn($q) => $q->where('status', '!=', 3))
完整 Eloquent 查询如下：
$parents = Parent::whereDoesntHave('children', function ($query) {
$query->where('status', '!=', 3);
})
->whereHas('children')
->get();
对应生成的 SQL 具有清晰语义：
- 外层 NOT EXISTS (SELECT ... WHERE status != 3) 确保无“非3状态”子记录；
- EXISTS (SELECT ...) 确保父记录至少有一个子记录（避免空子集被误判为“全满足”）；
- 二者组合等价于数学表达：∀ child ∈ children: child.status == 3 ∧ children.count > 0。
⚠️ 注意事项：
- 关系定义必须正确：Parent 模型中需声明 public function children() { return $this->hasMany(Child::class, 'parent_id'); }；
- 若允许子表为空（即 status 为 NULL），需额外处理：whereNull('status') 或使用 whereNotIn('status', [1, 2, 4]) 替代 != 3，避免 NULL 导致逻辑失效；
- 性能敏感场景建议为 (parent_id, status) 字段添加复合索引，加速子表反向查询。
该方案简洁、可读性强，且完全利用 Eloquent 的关系抽象，无需手写原生 SQL 或使用 groupBy/having 等复杂聚合，是 Laravel 生态中处理“全量匹配”场景的标准实践。
