GROUPING SETS 本身不支持嵌套语法，SQL标准明确禁止如 GROUPING SETS ((a), (GROUPING SETS (b, c))) 的写法，主流数据库均报错；根本原因是其仅为 GROUP BY 的子句，必须位于最外层聚合上下文中，不可作为表达式嵌入子查询。
GROUPING SETS 本身不支持嵌套语法，所谓“嵌套查询中实现多级分组”，实际是用子查询预处理数据，再在外层用 GROUPING SETS 做最终聚合——不是语法嵌套，而是逻辑分步。
为什么不能直接写 GROUPING SETS ( (a), (GROUPING SETS (b, c)) )
SQL 标准明确禁止这种写法，所有主流数据库（PostgreSQL、SQL Server、Oracle、MySQL 8.0+）都会报错，例如：
ERROR: syntax error at or near "GROUPING"
根本原因在于 GROUPING SETS 是 GROUP BY 的子句，只能出现在最外层聚合上下文中，不能作为表达式嵌入子查询的 SELECT 或 GROUP BY 中。
常见错误现象：把维度映射、时间截断、NULL 归一化等逻辑硬塞进外层 GROUPING SETS 括号里，导致语句无法解析或结果错乱。
正确做法：子查询负责清洗，外层 GROUPING SETS 负责分组
子查询要完成三件事：字段标准化、原始 NULL 处理、宽表准备。外层只管按干净列聚合。
- 子查询中必须给别名，如
AS t，否则多数数据库会报missing alias - 所有可能参与
GROUPING SETS的列，必须在子查询中显式输出，不能靠外层计算（比如不能在外层写DATE_TRUNC('month', order_time)） - 原始数据中含
NULL的列，必须用COALESCE(col, '[Unknown]')或CASE WHEN col IS NULL THEN '[Missing]' ELSE col END转换，否则GROUPING(col)无法区分占位符和真实空值 - 若子查询含 JOIN 或窗口函数，建议显式用
WITH t AS MATERIALIZED (...) SELECT ... FROM t GROUP BY GROUPING SETS（PostgreSQL 12+），避免重复执行
GROUPING() 函数必须配套使用，否则 NULL 无法解释
外层查询里，只要 SELECT 列包含被折叠的字段（即该字段在某个 grouping set 中未出现），就必须用 GROUPING() 判断其含义。只靠 IS NULL 过滤或替换，必然出错。
例如：
SELECT CASE WHEN GROUPING(dept) = 1 THEN '总计' ELSE dept END AS dept_label, CASE WHEN GROUPING(region) = 1 THEN '全部地区' ELSE region END AS region_label, SUM(sales) FROM ( SELECT COALESCE(dept, 'N/A') AS dept, COALESCE(region, 'N/A') AS region, sales FROM raw_sales ) AS t GROUP BY GROUPING SETS ((dept), (region), ());
注意：GROUPING() 只接受单列，不能写 GROUPING((dept, region))；MySQL 8.0+ 支持，但旧版不支持，别依赖 GROUPING_ID()。
性能陷阱：子查询没物化，GROUPING SETS 就白搭
GROUPING SETS 的核心优势是一次扫描、复用中间结果，但这只对最外层生效。如果子查询本身重（比如三表 JOIN + WHERE 时间范围大），而数据库又没自动物化它，那外层每个 grouping set 都可能触发一次子查询重算。
实操建议：
- 先跑子查询单独看耗时，超过 500ms 就要考虑物化
- PostgreSQL 用
WITH t AS MATERIALIZED (SELECT ...)；SQL Server 用临时表或 CTE + OPTION (RECOMPILE)；Oracle 用 /*+ MATERIALIZE */ 提示 - 索引必须覆盖子查询输出的全部分组列，且顺序匹配最宽组合，例如
GROUPING SETS ((a,b,c), (a), (b))，索引应建在(a,b,c)上，而非分开建
最容易被忽略的是：子查询里的 COALESCE 或 CASE 不影响索引使用，但若写成 UPPER(col) 或 col + 1，就会让索引失效，导致全表扫描——这时 GROUPING SETS 的性能优势直接归零。
