为何WHERE子句的IN子查询引用表中不存在列时SQL仍可正常执行

这个行为完全由SQL Server的列名作用域解析规则决定，和单独执行子查询的差异来自于嵌套场景下的作用域范围不同：

• 列名解析遵循从内向外逐层匹配的规则：对任意查询语句里的列名，会先从最内层子查询关联的表开始查找，只要在某一层作用域匹配到同名列，就完成绑定，不会再校验用户原本预期的归属表是否有该列。
• 单独执行子查询select colA1 from TableB where colB1 = 0时，查询没有外层作用域，唯一可关联的表只有TableB，找不到colA1就直接抛出列名无效的错误。
• 当这个子查询嵌套到外层查询的WHERE子句中时，解析逻辑发生了本质变化：
  1. 在内层子查询的作用域（TableB的列集合）中查找colA1，未匹配到结果
  2. 自动向外层的查询作用域继续查找，刚好外层TableA存在同名字段colA1，子查询被隐式绑定为引用外层TableA的列，原本预期的非相关子查询被悄悄改写为相关子查询

改写后的子查询实际执行逻辑是：遍历TableB中所有满足colB1 = 0的行，每一行都返回当前外层TableA扫描行对应的colA1值。
此时IN判断的逻辑等价于：当前TableA行的colA1值，是否存在于「TableB中所有满足colB1=0的行重复返回当前colA1值组成的集合」中。
只要TableB中至少存在1条满足colB1 = 0的记录，这个集合就必然包含当前TableA的colA1值，最终表现为所有TableA的行都被命中，和WHERE条件恒为真的效果完全一致。

• 所有嵌套子查询中引用的列，必须显式加上所属表的表名/别名限定。比如预期引用TableB的列就写TableB.colA1，预期引用外层TableA的列就明确写TableA.colA1，禁止直接写裸列名。
• 这种显式限定的写法一旦遇到列不存在的问题，会直接在对应表的作用域内抛出错误，不会触发隐式向外层匹配列的逻辑，从根源上避免这类隐蔽的逻辑错误。

内容的提问来源于stack exchange，提问作者俞兆丰