MySQL 鬆散索引掃描機制深度解析與適用邊界

Loose Index Scan（鬆散索引掃描） 是 MySQL 5.0+ 引入的 GROUP BY 極致優化策略，透過索引樹「跳躍式」讀取，僅訪問每個分組的第一筆記錄，將掃描成本從 O(N) 降為 O(分組數)。本文深度剖析其觸發條件、執行原理、EXPLAIN 特徵與實戰邊界。

核心定義

當 MySQL 完全利用有序索引（B-Tree）實現 GROUP BY 時，不需要掃描所有滿足條件的索引鍵，即可完成分組聚合並得出結果。因為僅讀取索引鍵的「一部分」（最左前綴），故稱「鬆散」。

歷史演進

• MySQL < 5.0：無鬆散掃描，複合索引 (a,b) 查詢 WHERE b BETWEEN ... 必須全表掃描
• MySQL 5.0+：引入鬆散掃描，初期僅支援 MIN()/MAX() 聚合
• MySQL 5.7+：優化器成本模型更精準，自動選擇更激進

觸發條件（五大鐵律，缺一不可）

1. 單表查詢（無 JOIN、UNION、子查詢）
2. GROUP BY 欄位 = 索引最左連續前綴
   索引 (c1,c2,c3) → 支援 GROUP BY c1、GROUP BY c1,c2 → 不支援 GROUP BY c1,c3、GROUP BY c2
3. 聚合函數僅限 MIN()/MAX()，且作用於同一欄位
4. WHERE 條件中非 GROUP BY 索引欄位必須為常數等值
   索引 (c1,c2,c3)，查詢 GROUP BY c1,c2 → WHERE c3 = 5 合法，WHERE c3 > 5 非法
5. 無 DISTINCT、無 HAVING、無其他聚合函數

EXPLAIN 識別特徵

type: range / ref / index
key: 使用的索引名
Extra: Using index for group-by

經典適用範例（索引 idx(c1,c2,c3)）

-- 1. 基礎分組
SELECT c1, c2 FROM t1 GROUP BY c1, c2;
SELECT DISTINCT c1, c2 FROM t1;  -- DISTINCT 等價 GROUP BY

-- 2. MIN/MAX 聚合
SELECT c1, MIN(c2) FROM t1 GROUP BY c1;
SELECT MAX(c3), MIN(c3), c1, c2 FROM t1 WHERE c2 > 100 GROUP BY c1, c2;

-- 3. WHERE 常數填補
SELECT c1, c2 FROM t1 WHERE c1 < 100 GROUP BY c1, c2;
SELECT c1, c2 FROM t1 WHERE c3 = 'const' GROUP BY c1, c2;

無法使用的反模式

效能優勢量化

無 WHERE 子句（全索引掃描）：
讀取鍵值數 = 分組數 ≪ 總行數。例如 1 億行、1 萬組 → 僅讀 1 萬鍵值，理論加速 10,000 倍。

有 WHERE 範圍/等值條件：
對每個滿足範圍的分組，定位第一鍵 → 讀取 → 跳躍下一組。讀取鍵值數 ≈ 分組數 × 平均每組首鍵定位成本。

實戰優化清單

1. 索引設計： 複合索引欄位序 = WHERE 常數等值欄位 + GROUP BY 欄位 + MIN/MAX 聚合欄位
2. SQL 改寫： 能用 MIN/MAX 替代 SUM/COUNT 就替代（如求最新/最早記錄）
3. 常數填補： 將範圍條件拆分為多個等值查詢 UNION ALL（業務允許時）
4. 驗證： EXPLAIN 必見 Using index for group-by
5. 監控： Handler_read_key / Handler_read_next 比值極低表示鬆散掃描生效

鬆散索引掃描是 MySQL GROUP BY 優化的「皇冠上的明珠」，掌握其嚴格邊界，將分組查詢從秒級降為毫秒級，是索引設計與 SQL 改寫的最高投資報酬比動作。