SQL Server中=ALL(子查询)在子查询无返回结果时为何判定为真

问题1：子查询无返回结果时ALL运算结果为真是否为预期行为？ #

是预期行为，该逻辑完全符合ANSI SQL标准定义，所有支持ALL运算符的SQL Server版本均遵循该规则，不属于异常或bug。

问题2：相关官方说明与底层逻辑 #

官方文档说明 #

微软官方的Transact-SQL语言参考文档中已明确标注该规则，位于ALL运算符说明页面的备注章节：若子查询未返回任何行，则ALL对应的比较运算结果为TRUE，你此前查询时未注意到该部分补充说明。

底层逻辑 #

该设计源于数理逻辑中的**空真（Vacuous Truth）**原则：

• ALL运算符本质是全称量词判断，语义为「子查询返回的所有值，都满足和左侧标量的比较关系」
• 当子查询返回空集合时，不存在任何一个值能违反该比较关系，也就是没有反例可以推翻这个判断，因此逻辑上认定该判断成立
• 可以用现实场景类比理解：如果有人说「盒子里所有的苹果都是红的」，但盒子里根本没有苹果，你找不到任何一个非红的苹果来证明这句话是错的，因此逻辑上这句话是成立的。

你测试的3 = ALL (空子查询)场景中，没有任何值不等于3，因此判断成立，返回订单表数据是符合逻辑的结果。

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