子查询可替代JOIN的前提是仅返回单行单列标量值，适用于一对零/一关系；而JOIN更适合一对多、多对多场景，且二者在语义、性能及NULL处理上存在本质差异。
什么时候能用子查询替代 JOIN
子查询可以替代 JOIN 的前提是：只读取主表单行数据，且子查询返回标量值（最多一行一列）。比如用 SELECT name, (SELECT COUNT(*) FROM orders WHERE user_id = users.id) AS order_count FROM users 替代左连接统计。但若子查询返回多行（如漏加 WHERE 或未聚合），会直接报错 Subquery returns more than 1 row。
常见误用场景包括：在 SELECT 列表里写未关联的子查询、用子查询代替多对多连接、或试图在 WHERE 中用 = 匹配子查询结果却没加 LIMIT 1。
- 子查询适合「一对零/一」关系，JOIN 更适合「一对多」「多对多」
- 子查询在 MySQL 中可能被重复执行（无物化优化时），性能通常比 JOIN 差
- PostgreSQL 12+ 对某些标量子查询做了自动物化，但不能依赖
JOIN 能否完全替代所有子查询
不能。有些子查询逻辑无法用标准 JOIN 表达，比如：EXISTS / NOT EXISTS、IN 后接多列子查询、窗口函数嵌套中的相关子查询。例如 SELECT * FROM products p WHERE EXISTS (SELECT 1 FROM sales s WHERE s.product_id = p.id AND s.date > '2024-01-01') —— 改成 JOIN 需额外去重，且语义已偏移（JOIN 可能放大主表行数）。
另一个典型是计算「每个用户最新一笔订单」：SELECT * FROM orders o1 WHERE o1.created_at = (SELECT MAX(o2.created_at) FROM orders o2 WHERE o2.user_id = o1.user_id)。用 JOIN 实现需配合 ROW_NUMBER() 或自连接，代码更冗长，且 MySQL 8.0 以下不支持窗口函数。
-
NOT IN子查询遇到 NULL 会整体返回空结果，JOIN 无此陷阱 - 相关子查询（引用外部表字段）在 JOIN 中需通过 ON 条件模拟，但难以表达「每行独立触发」的语义
- 部分数据库（如 SQLite）不支持某些子查询位置（如
FROM子句中的非标量子查询）
性能差异的关键影响点
执行计划是否走索引、是否生成临时表、是否触发嵌套循环，比“用 JOIN 还是子查询”本身更重要。MySQL 5.7 对 IN 子查询常转成半连接（semi-join），效率接近 JOIN；但 5.6 及更早版本默认不优化，可能全表扫描子查询多次。
一个容易忽略的点：子查询若含 GROUP BY 或 DISTINCT，即使逻辑等价，优化器也可能放弃重写为 JOIN；而显式写 JOIN 时，如果 ON 条件缺少索引字段，会导致 Using join buffer 或 Using temporary。
- 用
EXPLAIN看type字段：子查询显示DEPENDENT SUBQUERY通常比 JOIN 的ref或eq_ref慢 - 在 PostgreSQL 中，
LATERAL可让子查询像 JOIN 一样高效，但 MySQL 不支持 - 大表关联时，先过滤再 JOIN 比先 JOIN 再
WHERE更省资源，这点子查询天然具备（因作用域受限）
改写时最容易踩的语义坑
最隐蔽的问题是 NULL 处理和重复行。比如把 LEFT JOIN orders ON users.id = orders.user_id 改成 (SELECT status FROM orders WHERE user_id = users.id LIMIT 1)，表面看只是取一条，但实际丢失了「用户有多个订单」的信息，且当用户无订单时，JOIN 返回 NULL，而子查询也返回 NULL——看起来一致，但若后续加 WHERE status IS NOT NULL，两者行为就分裂了：JOIN 版本会排除该用户，子查询版本因 status 是 NULL 而被过滤掉，但语义上你本意可能是“只要存在任意订单就保留”。
- 用子查询替代
INNER JOIN时，必须确保子查询不返回空，否则整行消失（类似 INNER JOIN 效果），但开发者常误以为它等价于 LEFT JOIN -
IN (subquery)和= ANY(subquery)在 PostgreSQL 中等价，但在 MySQL 中后者不被支持 - 子查询中写
ORDER BY+LIMIT时，若没加ORDER BY，LIMIT结果不可预测，JOIN 则无此问题
