关联子查询必须逐行执行,这背后的逻辑其实挺硬核的。问题的根源在于它的语义本身:子查询里引用了外部表的列,比如`e1.dept_id`,外层表每扫一行,这个值就可能不同。数据库没法预判所有可能的取值,只能老老实实等运行时拿到当前行的值,再执行一次子查询。这不是缓存没配好,也不是SQL写得不够优雅——这是执行引擎对“相关性”的硬性承诺。只要子查询里出现`WHERE b.a_id = a.id`这类跨层引用,优化器就放弃物化,直接走嵌套循环路径。

关联子查询为什么必须逐行执行
因为它的语义决定了它不能提前算出结果:子查询里引用了外部表的列(比如`e1.dept_id`),而外层表每扫到一行,这个值就可能不同。数据库没法“猜”出所有可能的`e1.dept_id`值再预计算,只能等运行时拿到当前行的值,再执行一次子查询。这不关缓存的事,也不是SQL写法的问题——这是执行引擎对“相关性”的硬性承诺。只要子查询里出现`WHERE b.a_id = a.id`这类跨层引用,优化器就放弃物化,直接走嵌套循环路径。
MySQL 和 PostgreSQL 都默认走 Nested Loop
MySQL 5.7 及之前版本基本不尝试去关联化(decoupling);8.0 虽支持部分标量子查询自动重写为`LEFT JOIN`,但仅限无聚合、单表、无函数的简单场景。一旦子查询含`COUNT(*)`或多表`JOIN`,优化器大概率放弃重写。PostgreSQL 在 12+ 版本虽引入`LATERAL`和 unnest 优化,但遇到`WHERE x IN (SELECT ...)`或标量形式,仍常退化为 loop join。EXPLAIN 中看到`Dependent Subquery`或`Correlated Subquery`,基本等于宣告“每行必调用一次”。实际表现也很直白:外层主表返回10万行,子查询就执行10万次;哪怕子查询只查5行小表,每次仍要走解析、计划生成、索引查找、回表全流程。总耗时就是单次耗时乘以主表行数——不是“慢一点”,是“线性放大”。
索引在子查询里容易失效,加剧线性恶化
即使你给子查询涉及的字段建了索引,也可能白搭。真正起作用的是子查询内部的过滤条件能否高效走索引,而不是外层有没有索引。常见失效原因包括:子查询中用了函数,比如`DATE(login_time)`,导致索引无法命中;等值字段类型不一致,比如`INT`对`VARCHAR`,触发隐式转换;子查询返回大量行,优化器判断走索引成本更高,直接改全表扫描;`key_len`明显偏小(如联合索引三列,只用了第一列),说明最左前缀没对齐。这些细节很容易被忽略,但正是它们让性能雪上加霜。
怎么一眼确认它正在拖垮性能
别等到用户投诉才去查,直接看执行计划中最容易暴露问题的三个信号:`type`列出现`ALL`或`index`,且对应行的`Extra`含`Using where`;出现`DEPENDENT SUBQUERY`或`UNCACHEABLE SUBQUERY`,且该行`rows`值远大于外层预估行数;执行`EXPLAIN FORMAT=JSON`,重点盯`dependent_contexts`字段是否为空——不为空,就是实锤。真正棘手的从来不是“能不能写出来”,而是“有没有意识到这行代码正在后台发起N次独立查询”。标量子查询的简洁语法,掩盖了它底层的暴力迭代本质。