关于SQL中EXISTS操作符的返回逻辑与运行行为疑问

你对EXISTS运行逻辑的猜测完全正确，你产生困惑的核心原因是没有区分关联子查询和非关联子查询两种场景的差异：

• 非关联子查询场景：子查询内部没有引用外层查询的任何字段，这种场景下子查询只会全局执行一次，EXISTS确实只会返回一个统一的布尔值。比如执行下面的语句：

  SELECT * FROM TABLE1 T1 WHERE EXISTS (SELECT 1 FROM TABLE2 T2 WHERE T2.ID = 1);
  

  只要TABLE2中存在ID为1的行，EXISTS全局返回TRUE，整条语句就等价于你提到的SELECT * FROM TABLE1 T1 WHERE TRUE，返回TABLE1的所有行。
• 关联子查询场景（也就是你举的示例场景）：子查询内部引用了外层查询的字段（你的示例里引用了T1.ID），这种场景下数据库会逐行处理外层TABLE1的每一条记录：
  1. 取出TABLE1当前行的ID值，代入到子查询的T1.ID位置
  2. 执行子查询判断TABLE2中是否存在ID等于该值的记录
  3. 存在则当前行的EXISTS返回TRUE，该行被保留到结果集；不存在则返回FALSE，该行被过滤

这种逐行校验的逻辑下，你的示例查询最终返回的就是TABLE1中ID在TABLE2里有匹配的所有行，完全不会出现返回全部行的问题。
另外补充一个EXISTS的优化特性：数据库执行EXISTS子查询时，只要找到第一条符合条件的记录就会立即终止检索，不需要遍历完所有匹配项，因此很多场景下EXISTS的性能会优于IN、JOIN等其他关联查询写法。

内容的提问来源于stack exchange，提问作者Stranded Orca