SQL中HAVING子句执行顺序为何在GROUP BY之后

HA VING 必须在 GROUP BY 之后执行，这可不是什么约定俗成，而是 SQL 执行引擎的硬性规则。它操作的对象是分组聚合后的结果集，而不是原始数据行。简单说：WHERE 管的是行，HA VING 管的是组，两者执行阶段不同、功能不可互换，而且 HA VING 里可以直接用聚合函数——这才是关键区别。

HA VING 必须在 GROUP BY 之后执行，因为它面对的是分组后的结果集

HA VING 不是对着原始行做判断，而是对每个分组聚合后生成的“一行一组”结果进行筛选。举个例子：你用 GROUP BY department 按部门分组，数据库会先把员工数据归成若干组，再对每组算出 COUNT(*)、A VG(salary) 这些聚合值。直到这一步完成，HA VING COUNT(*) > 5 才有意义——如果它跑在 GROUP BY 前面，聚合值都还没算出来，语法上就解析不了。

• HA VING 里可以直接写 COUNT(*)、A VG(price)，但 WHERE 里写这些会直接报错
• 如果没有 GROUP BY 却用了 HA VING，多数数据库会允许但逻辑退化（效果等同于 WHERE），MySQL 甚至可能隐式忽略分组语义
• 书写位置也有约束：必须紧跟在 GROUP BY 之后、ORDER BY 之前，否则触发语法错误（比如 PostgreSQL 直接拒绝，MySQL 可能容错但不推荐）

WHERE 和 HA VING 的分工不是选项，而是执行阶段决定的硬边界

WHERE 过滤的是 FROM 输出的原始行，HA VING 过滤的是 GROUP BY 输出的分组行。两者不能互换——这不光是编码习惯问题，而是 SQL 执行模型强制划定的界限。

• WHERE salary > 5000 → 每一行员工工资单独判断，筛掉低薪员工后再分组
• HA VING A VG(salary) > 5000 → 先按部门分组、算出每个部门的平均工资，再过滤掉平均工资 ≤ 5000 的部门
• 如果把 A VG(salary) 写进 WHERE，数据库会在分组前尝试计算聚合，直接报错：ERROR 1140: In aggregated query without GROUP BY, expression #1 of SELECT list contains nonaggregated column

ORDER BY 为什么不能直接引用 HA VING 中的聚合表达式？

因为 ORDER BY 的执行顺序在 SELECT 之后，而 SELECT 决定了最终结果集的列结构。即使 HA VING A VG(salary) > 5000 用了 A VG(salary)，只要 SELECT 里没有显式写出这个字段（或者没有给它起别名），ORDER BY 就找不到它。

• 错误写法：SELECT department FROM emp GROUP BY department HA VING A VG(salary) > 5000 ORDER BY A VG(salary) → 报错：Unknown column 'A VG(salary)' in 'order clause'
• 正确写法：SELECT department, A VG(salary) AS a vg_sal FROM emp GROUP BY department HA VING a vg_sal > 5000 ORDER BY a vg_sal
• 或者用位置序号：ORDER BY 2（前提是 A VG(salary) 恰好是 SELECT 中的第二列）

GROUP BY 后的 SELECT 列表有强约束，直接影响 HA VING 能否合法使用

SQL 标准要求：出现在 SELECT 列表中的非聚合列，必须也在 GROUP BY 中声明。否则数据库无法确定该列在每组中取哪一个值——这和 HA VING 是否可用没有直接关系，但会间接导致逻辑混乱。

• 允许：SELECT department, COUNT(*) FROM emp GROUP BY department HA VING COUNT(*) > 10
• 不允许（标准 SQL 报错）：SELECT department, name, COUNT(*) FROM emp GROUP BY department HA VING COUNT(*) > 10 → name 既不在分组中，也未做聚合
• MySQL 5.7+ 默认开启 ONLY_FULL_GROUP_BY，会拦截这类写法；旧版本可能返回随机 name，结果不可靠

真正容易被忽略的点是：HA VING 的存在本身并不改变 SELECT 的输出结构，它只负责过滤分组；而能否在 ORDER BY 或 SELECT 中复用某个聚合表达式，完全取决于那个表达式是否已经作为列显式出现——不是“写过就算数”，而是“输出了才算数”。