如何利用PostgreSQL的EVERY聚合函数简化布尔逻辑判断

EVERY 是 BOOL_AND 的完全等价别名，语义、结果与执行计划均一致；其 NULL 处理遵循“不否定”逻辑，聚合中不可用于 WHERE，须配合 GROUP BY/HAVING 使用，且无匹配行时返回 NULL。

EVERY 是 BOOL_AND 的完全等价物，别名而已

PostgreSQL 中 EVERY 不是独立实现的函数，它就是 BOOL_AND 的 SQL 标准别名。执行 SELECT EVERY(flag) 和 SELECT BOOL_AND(flag) 在语义、结果、执行计划上完全一致——连源码里都是同一个函数入口。你选哪个纯看团队风格或 SQL 标准兼容需求（比如对接某些 BI 工具时更认 EVERY）。

NULL 值处理逻辑必须心里有数

EVERY 对 NULL 的处理不是“跳过”，而是“不否定”：只要所有非-NULL 值都为 true，结果就是 true；只要有一个 false，结果就是 false；如果全为 NULL 或混合 NULL + true，结果是 NULL。

• EVERY(ARRAY[true, true, NULL]) → true
• EVERY(ARRAY[true, false, NULL]) → false
• EVERY(ARRAY[NULL, NULL]) → NULL

这和 AND 运算符行为一致，但容易误以为 NULL 被忽略。实际在聚合中，NULL 是参与逻辑判定的“未知态”，不是空值过滤项。

WHERE 子句里用 EVERY 没有意义，也根本不能用

EVERY 是聚合函数，只能出现在 SELECT 列表或 HAVING 子句中，**不能用于 WHERE**。常见错误是想写：WHERE EVERY(status = 'active')——这会直接报错 syntax error at or near "EVERY"。

真正该做的，是把条件下推到行级：

• 要查“所有用户状态都是 active”的分组？→ 用 GROUP BY dept_id HAVING EVERY(status = 'active')
• 要查“某个部门所有成员都 active”？→ 先 GROUP BY dept_id，再 HAVING
• 只是过滤单行？→ 直接写 WHERE status = 'active'，别碰 EVERY

和 FILTER 配合时默认返回 NULL，得主动兜底

用 FILTER 限定范围后，EVERY 仍遵循聚合函数通用规则：无匹配行时返回 NULL，不是 true 或 false。

例如：EVERY(is_verified) FILTER (WHERE role = 'admin') 在某个分组里没有 admin 用户时，结果是 NULL，而非你想当然的 true（“没人是 admin，所以默认满足？”）。

安全写法是显式处理：COALESCE(EVERY(is_verified) FILTER (WHERE role = 'admin'), true)——但注意：这个 true 是业务语义，默认“无人即满足”，不是数据库逻辑。

真正容易被忽略的是：EVERY 的计算不可并行（截至 PostgreSQL 16），且一旦嵌套在复杂 CASE 或子查询里，优化器很可能放弃下推 WHERE 条件，导致全表扫描。别为了语法简洁牺牲可推导性。