EXISTS判断子查询是否返回至少一行（含全NULL行），不取数据、仅短路验证存在性；SELECT列表内容（如1/*）被忽略；对NULL鲁棒，而IN在子查询含NULL时可能返回UNKNOWN。
EXISTS 不是判断“子查询有没有返回行”，而是判断“子查询能否成功执行出至少一行”——哪怕那行全是 NULL，只要逻辑上可生成，就返回 TRUE。
EXISTS 的实际执行逻辑：不取数据，只验存在性
数据库引擎对 EXISTS 子查询不会真正拉回所有结果，而是在找到第一行匹配后立即停止（短路行为）。这和 IN 或 = ANY() 有本质区别：后者可能需全量扫描或去重。
-
EXISTS子查询里写SELECT 1、SELECT *或SELECT NULL效果完全一样，解析器会忽略SELECT列表内容 - 子查询中不能引用外部查询的列名作为普通表达式（比如
WHERE t2.id = t1.id + 1），但可以用于关联条件（t2.parent_id = t1.id） - 如果子查询含语法错误（如表不存在、字段拼错），整个
EXISTS表达式直接报错，不会静默返回FALSE
常见误用：把 EXISTS 当成 COUNT > 0 的等价写法
很多人写 EXISTS (SELECT 1 FROM orders WHERE user_id = u.id) 是对的，但若改成 EXISTS (SELECT COUNT(*) FROM orders WHERE user_id = u.id) 就错了——COUNT(*) 总返回一行（哪怕为 0），导致该 EXISTS 永远为 TRUE。
- 正确写法只关心是否有满足条件的行，不是聚合结果：
EXISTS (SELECT 1 FROM orders o WHERE o.user_id = u.id) - 错误示例：
EXISTS (SELECT COUNT(*) FROM orders ...)—— 这个子查询恒返回单行，EXISTS失去意义 - 更隐蔽的坑：
EXISTS (SELECT 1 FROM t WHERE col = 'x' GROUP BY col HAVING COUNT(*) > 5)，此时是否返回行取决于HAVING，但语义已偏离“简单存在性检查”
与 IN / JOIN 对比时的关键差异点
EXISTS 对 NULL 值更鲁棒，且天然支持相关子查询；而 IN 在右侧列表含 NULL 时整个表达式会变成 UNKNOWN（通常表现为查不到数据）。
- 当需要查“有订单的用户”，用
EXISTS更安全：WHERE EXISTS (SELECT 1 FROM orders o WHERE o.user_id = u.id) - 用
IN时若orders.user_id有NULL，u.id IN (SELECT user_id FROM orders)可能不返回任何行，即使存在匹配非空值 -
LEFT JOIN ... WHERE ... IS NOT NULL能替代EXISTS，但执行计划可能更重（尤其没索引时），且易因重复行引入误统计
最常被忽略的一点：EXISTS 子查询里的 WHERE 条件如果引用了外部表的字段，必须确保该字段在外部查询中确实可见（比如不在聚合上下文或子查询作用域外）；否则报错信息往往不直接指向作用域问题，而是提示“列不存在”。
