EXISTS子查询没走索引主因是关联字段（如o.user_id）缺失索引或非最左前缀，导致子表全扫；其次为函数过滤、统计信息过期、NULLABLE字段及MySQL 5.7优化器对半连接识别保守。
EXISTS 子查询没走索引？先确认关联字段是否被覆盖
EXISTS 性能崩盘最常见的原因是子查询里的关联条件字段（如 o.user_id = u.id 中的 user_id）没索引。数据库无法用索引快速定位，只能对子表全表扫描——哪怕只找一行，也得扫完百万行。
检查方式很简单：在子查询表上执行 SHOW INDEX FROM orders（MySQL）或 \d orders（PostgreSQL），确认 user_id 列有单列索引，或至少是复合索引的最左前缀（如 (user_id, status) 可用，(status, user_id) 不可用）。
- 如果字段是
NULLABLE且业务允许，加上NOT NULL约束，部分优化器（如 PostgreSQL）对非空字段的半连接推断更积极 - 避免在 EXISTS 子查询 WHERE 中混用函数，比如
WHERE DATE(created_at) = '2026-05-18'，这会让created_at索引失效，连带拖累整个半连接路径 - MySQL 5.7 对
IN (SELECT ...)的物化优化较激进，但对EXISTS的半连接识别偏保守；升级到 8.0+ 后，EXISTS更大概率触发Hash Semi-Join
为什么 EXPLAIN 显示“Subquery”而不是“Semi Join”？
执行计划里没看到 Semi Join、Hash Semi-Join 或 Merge Semi-Join，不代表没走半连接——只是优化器没显式标注。不同数据库对“半连接”的术语暴露程度差异很大：
- PostgreSQL 14+ 在
EXPLAIN (ANALYZE, BUFFERS)中明确写-> Hash Semi Join；但若子查询含LIMIT或OFFSET，它可能退化为Subquery Scan+Nested Loop - MySQL 8.0.22+ 的
EXPLAIN FORMAT=TREE会显示type: index_subquery - SQL Server 的执行计划 XML 里搜
SemiJoin，但图形界面常显示为Left Semi Join或直接合并进 Nested Loops 图标里
真正关键的不是名称，而是看「子查询是否被去相关化」和「Rows Removed by Filter」是否接近 0。如果子查询每次只查几行就返回，说明短路生效了。
MySQL 8.0 vs PostgreSQL 15：半连接触发条件的实际差异
同样一条 EXISTS (SELECT 1 FROM t2 WHERE t2.a = t1.b)，在不同数据库里能否启用半连接，取决于三类硬性约束：
-
子查询结构限制：MySQL 8.0 要求子查询不能含
DISTINCT、GROUP BY、聚合函数或窗口函数；PostgreSQL 15 更宽松，只要不破坏存在性语义（如没HAVING过滤），仍可尝试半连接展开 -
统计信息敏感度：MySQL 依赖
ANALYZE TABLE更新的行数估算；PostgreSQL 依赖VACUUM ANALYZE后的pg_statistic数据。若子表统计过期（比如刚批量插入 100 万行但没 ANALYZE），MySQL 可能误判为“小结果集”，放弃半连接改用物化 -
NULL 处理策略：MySQL 对
EXISTS中关联字段为NULL的情况会跳过该次子查询（即不报错也不匹配），而 PostgreSQL 会正常执行并返回 FALSE——这意味着在u.id有大量 NULL 的场景下，PostgreSQL 的执行计划更稳定，MySQL 可能因跳过行为导致驱动表选择异常
手动干预半连接：什么时候该加 LIMIT 1？
加 LIMIT 1 不是银弹，但在两类场景下值得强制添加：
- Oracle 12c 之前或 MySQL 5.6：优化器无法从语法上确认“只找一个”，即使写
SELECT 1，仍可能全表扫描子表。此时SELECT 1 FROM t2 WHERE ... LIMIT 1是明确信号 - 子查询 WHERE 条件本身无法高效索引（如模糊前缀
LIKE 'abc%'），但你知道匹配行极少：加LIMIT 1可防止优化器因估算偏差选择错误访问路径
但注意：PostgreSQL 和 SQL Server 通常不需要，它们能从 EXISTS 语义天然推断短路意图；盲目加 LIMIT 1 反而可能干扰优化器对统计信息的使用，尤其当子表数据倾斜严重时。
最不可忽略的一点：半连接是否生效，永远以 EXPLAIN ANALYZE 实际扫描行数为准，而不是看有没有“Semi Join”字样——有些版本把半连接逻辑内嵌在 Nested Loop 实现里，不打标签，但照样快。
