MySQL EXISTS 子查詢聚合函數導致誤判 Bug 深度分析

MySQL EXISTS 子查詢聚合函數導致誤判 Bug 深度分析

MySQL 官方文檔明確指出：EXISTS 子查詢的選擇列表會被忽略，SELECT *、SELECT 1、SELECT column 語義等價。但在 5.6.31 / 5.7.14 版本中，若子查詢包含聚合函數（如 MAX()），會導致錯誤返回 TRUE。

問題現象復現

-- 環境：MySQL 5.6.31 / 5.7.14
CREATE TABLE t3 (id INT, t DATETIME);
INSERT INTO t3 VALUES (1, '20160812');

-- 正常情況：id=2 不存在，返回空集
SELECT 1 FROM dual WHERE EXISTS (SELECT id FROM t3 WHERE id = 2);
-- Empty set (0.15 sec)

-- 異常情況：包含 MAX() 聚合函數，錯誤返回 1
SELECT 1 FROM dual WHERE EXISTS (SELECT MAX(id) FROM t3 WHERE id = 2);
-- +---+
-- | 1 |
-- +---+
-- | 1 |
-- +---+

結論：id=2 明確不存在，但第二條語句誤判為 TRUE。

執行計劃與改寫 SQL 對比

正常查詢（無聚合函數）

EXPLAIN EXTENDED SELECT 1 FROM dual WHERE EXISTS (SELECT id FROM t3 WHERE id = 2);
-- 改寫後 SQL：/* select#1 */ select 1 AS `1` from DUAL where 0
-- Extra: Impossible WHERE

優化器識別出子查詢永無滿足行，直接將 WHERE 條件常量折疊為 0（FALSE）。

異常查詢（含 MAX()）

EXPLAIN EXTENDED SELECT 1 FROM dual WHERE EXISTS (SELECT MAX(id) FROM t3 WHERE id = 2);
-- 改寫後 SQL：/* select#1 */ select 1 AS `1` from DUAL where 1
-- Extra: No tables used

優化器未能正確處理聚合函數語義，將條件常量折疊為 1（TRUE），導致外層查詢無條件執行。

驗證其他聚合函數

-- 同樣觸發 Bug
SELECT 1 FROM dual WHERE EXISTS (SELECT MIN(id) FROM t3 WHERE id = 2);
SELECT 1 FROM dual WHERE EXISTS (SELECT SUM(id) FROM t3 WHERE id = 2);
SELECT 1 FROM dual WHERE EXISTS (SELECT COUNT(*) FROM t3 WHERE id = 2);
SELECT 1 FROM dual WHERE EXISTS (SELECT AVG(id) FROM t3 WHERE id = 2);

-- 非聚合函數正常
SELECT 1 FROM dual WHERE EXISTS (SELECT ABS(id) FROM t3 WHERE id = 2);
SELECT 1 FROM dual WHERE EXISTS (SELECT FLOOR(id) FROM t3 WHERE id = 2);

只有聚合函數觸發該 Bug，標量函數不受影響。

官方 Bug 追蹤

已提交至 MySQL Bug 系統：Bug #82562

最佳實踐建議

1. 規範寫法：EXISTS 子查詢統一使用 SELECT 1 或 SELECT *，避免任何列引用或函數調用
2. 代碼審查：檢查現有代碼庫中是否存在 EXISTS (SELECT MAX/MIN/SUM/COUNT/AVG ...) 模式
3. 升級版本：MySQL 8.0.13+ 已修復此問題（驗證通過）
4. 替代方案：改用 IN 子查詢或 JOIN 重寫，邏輯等價且無此 Bug

影響範圍評估

• MySQL 5.6 全系列（≤5.6.51）
• MySQL 5.7 全系列（≤5.7.33）
• MariaDB 10.2/10.3 可能受影響（未驗證）
• MySQL 8.0.13+ 已修復

此 Bug 屬於優化器常量折疊邏輯缺陷，雖觸發條件較窄，但可能導致業務邏輯嚴重偏差（如權限判斷、存在性檢查），建議全量排查並規範寫法。