为何SQL中IN运算符可使用表中无的字段？与EXISTS有何差异？

背景信息 #

建表语句 #

CREATE TABLE TB2(
COL1 NUMBER,
COL2 VARCHAR(10)
);

CREATE TABLE TB1(
COL1 NUMBER,
COL2 VARCHAR(10),
COL3 NUMBER,
COL4 VARCHAR(10)
);

表数据 #

TB1

COL1    COL2    COL3    COL4
1       A       1       A
2       B       2       B

TB2

COL1    COL2
1       A

为什么IN语句不报错？ #

执行这条SQL时，TB2没有COL3字段却未报错：

SELECT * FROM TB1
WHERE COL3 IN (
  SELECT COL3 
  FROM TB2
  );

这是因为SQL的字段解析遵循就近匹配+向上回溯的规则：当子查询里的COL3在TB2中找不到时，会自动去外层查询的表（TB1）中查找匹配的字段。所以这个子查询实际等价于SELECT TB1.COL3 FROM TB2——TB2有1条数据，子查询会返回当前外层行的COL3值，最终WHERE条件变成TB1.COL3 IN (TB1.COL3)，永远为真，因此返回TB1的所有数据，不会报错。

为什么EXISTS语句报错？ #

而这条EXISTS语句直接报错：

SELECT * FROM TB1
WHERE EXISTS(
  SELECT 1 
  FROM TB2
  WHERE TB1.COL3 = TB2.COL3
  );

这里明确指定了TB2.COL3，SQL会严格在TB2的字段列表中查找，找不到COL3字段就直接抛出“列不存在”的错误，不会向上回溯到外层表。

IN与EXISTS的核心差异 #

1. 字段解析规则不同
   • IN子查询中，未指定表的字段如果在子查询表中不存在，会自动向上查找外层查询的表字段；
   • EXISTS子查询中，指定表名/别名的字段会严格匹配对应表的字段，不存在则直接报错。
2. 执行逻辑不同
   • IN是非相关子查询：先执行子查询得到完整的结果集，再判断外层表的字段是否在这个集合中；适合子查询结果集较小的场景，若结果集过大可能占用较多内存。
   • EXISTS是相关子查询：外层表的每一行数据都会触发一次子查询，判断子查询是否能返回至少一条数据；适合外层表数据量小、子查询表有对应索引的场景，性能通常更优。
3. 空值处理不同
   • 如果IN子查询的结果集包含NULL，字段 IN (...)的结果会变为NULL，导致该行不会被返回；
   • EXISTS只关注子查询是否有结果返回，不受空值影响，只要子查询能找到数据就返回对应外层行。

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