HAVING 必须配合 GROUP BY 使用，不能独立筛选；子查询可用于动态基准比较但需确保单值返回，别名在 HAVING 中兼容性差，NULL 值需显式处理。
HAVING 本身不能独立筛选“高价值客户”，必须配合 GROUP BY 和子查询逻辑才能实现——漏掉 GROUP BY 或写错子查询位置，查询直接报错或结果错乱。
HAVING 必须跟在 GROUP BY 后面，否则 MySQL 报 ERROR 1140
想查“订单总金额超过公司平均订单金额的客户”，如果只写：SELECT customer_id, SUM(amount) FROM orders HAVING SUM(amount) > (SELECT AVG(amount) FROM orders)，MySQL 会立刻报 ERROR 1140: In aggregated query without GROUP BY。因为 HAVING 的作用对象是分组后的一行（一个客户一组），不是原始行。
正确写法必须显式分组：SELECT customer_id, SUM(amount) AS total FROM orders GROUP BY customer_id HAVING total > (SELECT AVG(amount) FROM orders)。
- GROUP BY 是 HAVING 的前提，不是可选项
- 子查询放在 HAVING 中没问题，但整个语句结构不能跳过 GROUP BY
- PostgreSQL、SQL Server 等同样拒绝无 GROUP BY 的 HAVING，行为一致
HAVING 中子查询常用于动态基准比较，比如“高于部门平均”或“超全量中位数”
静态阈值（如 HAVING SUM(amount) > 10000）容易写，但业务中更常见的是相对基准：某客户消费是否高于所有客户的平均值？是否超过其所在城市客户的中位消费？这类需求必须用子查询。
例如，找“消费总额高于所在城市客户平均值”的客户：SELECT city, customer_id, SUM(amount) AS city_total FROM orders o JOIN customers c ON o.customer_id = c.id GROUP BY city, customer_id HAVING SUM(amount) > (SELECT AVG(city_sum) FROM (SELECT city, SUM(amount) AS city_sum FROM orders o2 JOIN customers c2 ON o2.customer_id = c2.id GROUP BY city, customer_id) t GROUP BY city) —— 这里内层子查询先算出每个城市的客户平均消费，外层 HAVING 拿它做比较。
- 子查询层级越深，可读性和维护性越差；优先考虑 CTE 替代（如
WITH city_avg AS (...) SELECT ... HAVING ...） - 注意子查询返回结果必须是单值，否则 HAVING 会报
Subquery returns more than 1 row - WHERE 中的子查询可以走索引，但 HAVING 中的子查询通常无法优化，大数据量时性能敏感
别名在 HAVING 中是否可用，取决于数据库版本
MySQL 8.0+ 允许在 HAVING 中直接用 SELECT 定义的别名，比如：SELECT customer_id, SUM(amount) AS total FROM orders GROUP BY customer_id HAVING total > 5000。但 PostgreSQL、SQLite、SQL Server 默认不支持，会报 column "total" does not exist。
兼容写法只能重复表达式：HAVING SUM(amount) > 5000，或者把聚合逻辑提前到子查询中：
SELECT * FROM ( SELECT customer_id, SUM(amount) AS total FROM orders GROUP BY customer_id ) t WHERE t.total > 5000;
- 用子查询 + WHERE 替代 HAVING 是最通用的绕过方式，但语义上变成“过滤结果集”而非“过滤分组”
- 如果后续还要对结果排序或关联其他表，这种写法反而更灵活
- 别名在 WHERE 中永远不可用，这点所有数据库都一致
真正容易被忽略的点是 NULL 处理：如果某客户所有订单金额都是 NULL，SUM(amount) 返回 NULL，而 HAVING SUM(amount) > 1000 对 NULL 判定为 false，该客户直接被排除——即使你本意是“没数据=不参与比较”。需要显式加 IS NOT NULL 或用 COALESCE(SUM(amount), 0) 控制逻辑。
