带WHERE子句的TOP行为解析：为何查询返回值而非NULL？

问题代码 #

DECLARE @num table (n tinyint NOT NULL)

INSERT INTO @num VALUES (1), (2), (3)

DECLARE @iNum tinyint

SELECT  
    TOP 1 @iNum = n
FROM
    @num
ORDER BY
    n ASC

SELECT @iNum

SELECT 
    TOP 1 @iNum  = n
FROM
    @num
WHERE
    n > @iNum
ORDER By
    n ASC
       
SELECT @iNum

SELECT 
    TOP 1 @iNum  = n
FROM
    @num
WHERE
    n > @iNum
ORDER By
    n ASC
        
SELECT @iNum

SELECT 
    TOP 1 @iNum  = n
FROM
    @num
WHERE
    n > @iNum
ORDER By
    n ASC
        
SELECT @iNum

预期输出为1、2、3、NULL，实际得到1、2、3、3，原因如下：

核心原因 #

1. WHERE子句使用变量的快照值 #

SQL Server的查询优化器会在查询执行起始阶段确定WHERE子句中变量的值，而非在赋值过程中动态更新。也就是说，每次执行SELECT TOP 1 @iNum = n FROM @num WHERE n > @iNum时，n > @iNum条件里的@iNum是这条语句执行前的初始值，不会随着赋值操作实时改变。

2. 无匹配行时变量值保留 #

当第三次执行该查询时，@iNum的值是3，WHERE条件n > 3没有匹配的行，此时SELECT语句不会对@iNum进行任何赋值操作，变量会保留之前的3，而非被重置为NULL。只有当SELECT语句返回行时，变量才会被更新；无返回行时，变量值维持不变。

正确的遍历实现 #

如果要实现逐行遍历递增整数的需求，推荐使用WHILE循环结合EXISTS判断，确保逻辑符合预期：

DECLARE @num table (n tinyint NOT NULL)
INSERT INTO @num VALUES (1), (2), (3)

DECLARE @iNum tinyint

-- 初始化获取第一个值
SELECT TOP 1 @iNum = n FROM @num ORDER BY n ASC
SELECT @iNum

-- 循环获取下一个值
WHILE EXISTS (SELECT 1 FROM @num WHERE n > @iNum)
BEGIN
    SELECT TOP 1 @iNum = n FROM @num WHERE n > @iNum ORDER BY n ASC
    SELECT @iNum
END

-- 无后续值时手动设置为NULL（按需）
SET @iNum = NULL
SELECT @iNum

执行上述代码会得到预期的1、2、3、NULL结果。

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