grouping sets 是标准sql中显式指定多维分组组合的聚合机制，区别于 group by 的单一维度和 rollup/cube 的自动推导；需配合 grouping() 函数准确识别小计/总计行，避免误判null。

GROUPING SETS 是什么，和 GROUP BY 有什么区别

GROUPING SETS 不是 GROUP BY 的增强版，而是完全不同的聚合控制机制。它让你明确列出想计算的每一组“分组维度组合”，而不是靠 ROLLUP 或 CUBE 自动推导。比如你只想看「按部门」和「按部门+岗位」两层统计，又不想出现「按岗位」或「全表总计」，GROUPING SETS 就是唯一干净解法。

• GROUP BY (dept) 只能出一层结果
• GROUP BY ROLLUP(dept, role) 会多出 (dept, role)、(dept)、() 三层，其中空组就是全表总计，常非所求
• GROUPING SETS ((dept), (dept, role), ()) 才是你真正指定的三组：部门小计、部门+岗位明细、全表总计

注意：GROUPING SETS 是标准 SQL（PostgreSQL / SQL Server / Oracle / DuckDB 支持，MySQL 8.0.24+ 实验性支持但行为不一致，慎用）

怎么写 GROUPING SETS 并识别小计/总计行

GROUPING SETS 本身不标记哪行是小计、哪行是总计，必须配合 GROUPING() 函数判断。它对每个列返回 1（该列参与了当前分组的“汇总”逻辑，即值为 NULL 是因聚合而非原始数据为空）或 0（该列有真实分组值）。

SELECT
  COALESCE(dept, '【总计】') AS dept,
  COALESCE(role, '【小计】') AS role,
  COUNT(*) AS cnt,
  GROUPING(dept) AS g_dept,
  GROUPING(role) AS g_role
FROM staff
GROUP BY GROUPING SETS ((dept), (dept, role), ())
ORDER BY dept, role;

• 当 g_dept = 0 AND g_role = 1 → 这行是「部门小计」（role 为 NULL 是因只按 dept 分组）
• 当 g_dept = 1 AND g_role = 1 → 这行是「全表总计」（dept 和 role 都为 NULL）
• 当 g_dept = 0 AND g_role = 0 → 普通明细行（dept 和 role 都有值）

别直接用 IS NULL 判断汇总行——原始数据里 role 真可能是 NULL，GROUPING() 才是唯一可靠依据。

常见错误：空组写错、括号漏掉、和 WHERE 冲突

• GROUPING SETS (dept, (dept, role)) ❌ 错误：单列不能裸写，必须套括号 → 正确是 GROUPING SETS ((dept), (dept, role))
• GROUPING SETS (()) ✅ 表示只要全表总计；但 GROUPING SETS () ❌ 语法错误，空括号对必须写成 (())
• 在 WHERE 中过滤 dept IS NOT NULL 后再 GROUPING SETS → 会把本该出现在「部门小计」里的 dept 值提前筛掉，导致小计行缺失。过滤逻辑应尽量下推到子查询或用 HAVING（但 HAVING 对 GROUPING() 结果生效更安全）

如果业务要求「排除某部门的小计」，不要在 WHERE 拦，而应在最终结果中用 HAVING GROUPING(role) = 1 AND dept != 'XX' 控制。

性能与可读性提醒

GROUPING SETS 在物理执行上通常等价于多个 UNION ALL 查询合并，优化器一般能复用扫描，但若分组组合过多（如 GROUPING SETS ((a),(b),(c),(a,b),(a,c),(b,c),(a,b,c))），计划可能变重，且结果集重复字段多、不易维护。

• 少于 4 组推荐手写 UNION ALL，语义更直白，调试也方便
• 超过 4 组才值得用 GROUPING SETS，但务必加注释说明每组含义，例如：-- (dept): 部门小计; (dept,role): 明细; (): 全表总计
• PostgreSQL 中可用 GROUPING() 返回位图（如 GROUPING(dept,role) 返回整数），但跨数据库兼容性差，建议坚持单列调用

最易被忽略的是：GROUPING() 的返回值类型在不同数据库中可能为 int2/int4，做条件判断时别硬写 = 1 而不显式转布尔，尤其在和 CASE 表达式嵌套时。