MySQL 無 GROUP BY 直接用 HAVING 的行為解析

MySQL 允許無 GROUP BY 直接使用 HAVING，但行為與標準 SQL 不同：MySQL 內部重寫為 GROUP BY NULL，等價於 LIMIT 1 取第一行，再對全表聚合值比較。這導致 MIN/MAX 看似「失效」的反直覺現象。

現象重現

CREATE TABLE t2 (a INT, id INT UNSIGNED AUTO_INCREMENT PRIMARY KEY);
INSERT INTO t2 VALUES (1,1), (1,3);

-- 有結果
SELECT * FROM t2 HAVING id = MIN(id);  -- 返回 id=1

-- 無結果
SELECT * FROM t2 HAVING id = MAX(id);  -- 空集

根因深度解析

1. MySQL 內部重寫

SELECT * FROM t2 HAVING id = MIN(id)
-- 重寫為
SELECT * FROM t2 GROUP BY NULL HAVING id = MIN(id)

2. GROUP BY NULL 語義

SELECT * FROM t2 GROUP BY NULL;
-- 等價於 LIMIT 1，只返回第一行（id=1, a=10）

3. 聚合函數作用於全表，非分組

SELECT MAX(a), MIN(a), MAX(id), MIN(id) FROM t2 GROUP BY NULL;
-- 結果：MAX(a)=10, MIN(a)=1, MAX(id)=3, MIN(id)=1
-- 注意：聚合掃描全表，不限於 GROUP BY NULL 的那一行！

4. 邏輯鏈路

1. HAVING id = MIN(id) → id = 1（全表最小 id）
2. GROUP BY NULL 產生單組，包含第一行 id=1
3. 第一行滿足 id=1 → 返回
4. HAVING id = MAX(id) → id = 3（全表最大 id）
5. 第一行 id=1 ≠ 3 → 過濾掉 → 空結果

驗證實驗

-- 修改數據：a=10 在 id=1, a=1 在 id=3
SELECT * FROM t2 HAVING a = MAX(a);  -- 返回 id=1 (a=10)
SELECT * FROM t2 HAVING a = MIN(a);  -- 空集（第一行 a=10 ≠ 全表最小 1）

正確用法：加上 GROUP BY

SELECT MAX(a), MIN(a), MAX(id), MIN(id) FROM t2 GROUP BY a;
-- 每組聚合，MAX=MIN=組內值，結果正確

標準 SQL 對比

最佳實踐

1. 嚴格模式：啟用 sql_mode=ONLY_FULL_GROUP_BY（MySQL 5.7+ 默認開啟），禁止此類寫法
2. 明確分組：總是寫 GROUP BY，語義清晰
3. 取極值行：用 ORDER BY ... LIMIT 1 或窗口函數，勿依賴 HAVING 技巧

總結

MySQL HAVING 無 GROUP BY 時的行為是「全表聚合 + 取第一行比較」，極易產生邏輯錯誤。這是 MySQL 早期為兼容性保留的非標準行為，現代開發應嚴格模式 + 顯式 GROUP BY，避免踩坑。