用 HAVING MIN() 判断分组全满足条件最直接，因布尔值转0/1后MIN=1即全为真，比COUNT对比或NOT EXISTS更简洁可靠，但需显式ELSE 0防NULL污染。
为什么用 HAVING MIN() 判断分组全满足条件最直接
当你要找「某组内所有记录都满足某个布尔条件」时，MIN() 是最轻量、最可靠的方式。因为布尔值在多数 SQL 引擎（PostgreSQL、MySQL 8+、SQL Server、Oracle）中可隐式转为 0（FALSE）或 1（TRUE），而 MIN(condition) 为 1 就意味着组内没出现过 0 —— 即全部为真。
比用 COUNT(*) = COUNT(CASE WHEN ... THEN 1 END) 更简洁，也比 NOT EXISTS 子查询更易读、更易下推到聚合阶段。
常见错误是误用 MAX()：它只能保证「至少有一个为真」，不能保证「全部为真」。
HAVING MIN() 的典型写法与注意事项
核心模式：GROUP BY group_col HAVING MIN(CASE WHEN condition THEN 1 ELSE 0 END) = 1
-
CASE WHEN必须显式覆盖所有分支（ELSE 0不可省），否则NULL会污染MIN()结果（MIN()遇NULL返回NULL，导致整组被过滤掉） - MySQL 5.7 及更早版本默认开启
sql_mode=STRICT_TRANS_TABLES时，MIN()对混合类型可能报错；建议统一转为整型，如CAST(condition AS SIGNED) - PostgreSQL 不支持布尔值直接参与
MIN()聚合，需先转成整数：MIN(CASE WHEN condition THEN 1 ELSE 0 END) - 如果条件本身含
NULL（比如status IS NOT NULL AND status != 'inactive'），要确保ELSE 0明确捕获这些「非真」情况，而非依赖三值逻辑
实际例子：查所有订单状态全是「shipped」的客户
假设表 orders 有字段：customer_id, status（取值：'pending', 'shipped', 'cancelled'）
SELECT customer_id FROM orders GROUP BY customer_id HAVING MIN(CASE WHEN status = 'shipped' THEN 1 ELSE 0 END) = 1;
这个语句只返回那些「每个订单都是 shipped」的客户。若某客户有一条 pending 订单，则该组的 MIN() 为 0，被过滤。
对比错误写法：HAVING MAX(status = 'shipped')（MySQL 允许但语义错误）、HAVING COUNT(*) = COUNT(CASE WHEN status = 'shipped' THEN 1 END)（多一次扫描，且对空组行为不一致）。
性能和边界情况提醒
MIN() 判断本身不增加额外计算开销，优化器通常能将其下推到聚合前的过滤或提前终止（尤其在索引支持下）。但要注意：
- 如果分组键基数极高（如千万级不同
customer_id），聚合本身仍是瓶颈，此时应优先考虑是否能用NOT IN或反向排除（如先找出含非目标状态的客户，再NOT IN） - SQLite 不支持布尔表达式直接用于
CASE分支，需改用status = 'shipped'返回 0/1 值（它原生支持） - 当条件涉及多个字段联合判断（如
amount > 0 AND currency = 'USD'），仍适用同一模式，但CASE表达式变长，注意括号和逻辑优先级
真正容易漏掉的是 NULL 处理 —— 很多人测试时用干净数据，上线后遇到 status IS NULL 记录，MIN() 突然返回 NULL，整个分组消失，且无报错提示。
