SQL Server中IF EXISTS是否忽略错误？除零错误为何返回SUCCESS？

这是个特别有意思的细节问题，核心原因在于SQL Server查询优化器对EXISTS子查询的特殊处理逻辑，咱们来拆解清楚：

• EXISTS只关心“有没有行”，不关心行里的内容
  EXISTS()的本质是判断子查询是否能返回至少一行数据，完全不在乎你在SELECT后面写的是什么表达式。哪怕你写的是SELECT 1/0或者SELECT '毫无意义的字符串'，只要子查询能产生行（比如你这个例子里没有WHERE条件，默认会返回一行），EXISTS就会直接判定为TRUE，执行PRINT 'SUCCESS'。

• 查询优化器直接跳过了不必要的计算
  SQL Server的优化器很“精明”，它知道EXISTS不需要获取SELECT列表里的实际值，所以会直接跳过这些表达式的计算——包括那个会触发除以零错误的3/0。也就是说，这个除法运算根本就没被执行，自然不会抛出错误。

  你可以做个小测试验证这点：如果把子查询改成永远返回零行的情况，比如IF EXISTS(SELECT 3/0 AS X WHERE 1=2)，这时候EXISTS会返回FALSE，输出FAILURE，同样也不会触发除以零错误，因为优化器连这个子查询的执行都直接跳过了。

• 和直接执行SELECT的区别
  当你直接执行SELECT 3/0 AS X时，SQL Server必须计算表达式的值来生成结果集返回给你，这时候除以零的错误就会被触发，因为它没法算出合法的结果。

举个实际的代码例子更直观：

-- 不会报错，输出SUCCESS
IF EXISTS(SELECT 3/0 AS X) PRINT 'SUCCESS' ELSE PRINT 'FAILURE'

-- 不会报错，输出FAILURE（因为子查询无行返回）
IF EXISTS(SELECT 3/0 AS X WHERE 1=2) PRINT 'SUCCESS' ELSE PRINT 'FAILURE'

-- 直接执行会触发除以零错误
SELECT 3/0 AS X

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