请翻译并分析这段含游标、异常处理的T-SQL存储过程是否存在无限循环

原存储过程代码 #

CREATE OR ALTER PROCEDURE StudentsToGroups 
AS 
BEGIN 
    DECLARE @num VARCHAR(15) 
    DECLARE stud_cursor CURSOR FOR 
        SELECT id FROM stud ORDER BY surStud, nameStud 
    OPEN stud_cursor 
    FETCH NEXT FROM stud_cursor INTO @num 
    WHILE @@FETCH_STATUS = 0 
    BEGIN 
        BEGIN TRY 
            EXEC @status = dbo.AddStudent @num 
        END TRY 
        BEGIN CATCH 
            IF (ERROR_NUMBER() = 2 OR ERROR_NUMBER() = 3) 
                CONTINUE; 
            ELSE IF ERROR_NUMBER() = 4 
                THROW 5, 'Unsucessful', 1; 
            ELSE 
                THROW; 
        END CATCH 
        FETCH NEXT FROM stud_cursor INTO @num 
    END 
    CLOSE stud_cursor 
    DEALLOCATE stud_cursor 
END

中文注释版（代码完全保留，仅添加逻辑说明） #

-- 创建或覆盖存储过程：StudentsToGroups（功能为批量将学生分配到对应组）
CREATE OR ALTER PROCEDURE StudentsToGroups 
AS 
BEGIN 
    -- 声明变量：用于存储从游标读取的学生ID
    DECLARE @num VARCHAR(15) 
    -- 声明游标：按学生姓氏（surStud）、名字（nameStud）排序，遍历stud表中的所有学生ID
    DECLARE stud_cursor CURSOR FOR 
        SELECT id FROM stud ORDER BY surStud, nameStud 
    -- 打开游标，准备读取数据
    OPEN stud_cursor 
    -- 从游标中读取第一条记录，将学生ID存入@num变量
    FETCH NEXT FROM stud_cursor INTO @num 
    -- 当游标读取状态为0（读取成功）时，持续执行循环逻辑
    WHILE @@FETCH_STATUS = 0 
    BEGIN 
        BEGIN TRY 
            -- 调用自定义存储过程AddStudent，传入当前学生ID，执行分配操作
            EXEC @status = dbo.AddStudent @num 
        END TRY 
        BEGIN CATCH 
            -- 若捕获到错误号为2或3的异常，跳过当前学生，继续处理下一个
            IF (ERROR_NUMBER() = 2 OR ERROR_NUMBER() = 3) 
                CONTINUE; 
            -- 若捕获到错误号为4的异常，抛出自定义错误（错误号5，错误信息"Unsucessful"）
            ELSE IF ERROR_NUMBER() = 4 
                THROW 5, 'Unsucessful', 1; 
            -- 其他未匹配的异常，直接抛出，终止存储过程执行
            ELSE 
                THROW; 
        END CATCH 
        -- 读取游标下一条记录，更新@num变量，为下一次循环做准备
        FETCH NEXT FROM stud_cursor INTO @num 
    END 
    -- 关闭游标，释放游标占用的资源（但未彻底删除游标定义）
    CLOSE stud_cursor 
    -- 彻底释放游标资源，删除游标定义
    DEALLOCATE stud_cursor 
END

无限循环风险分析 #

这个存储过程确实存在无限循环的风险，问题出在异常处理的CONTINUE逻辑上：

1. 当ERROR_NUMBER()为2或3时，代码执行CONTINUE语句——这个语句会直接跳转到WHILE循环的起始处，跳过了循环末尾的FETCH NEXT FROM stud_cursor INTO @num语句。
2. 此时游标位置没有前进，@@FETCH_STATUS仍然保持为0（因为没有执行新的读取操作），下一次循环会再次处理同一个学生ID，再次触发相同的2/3号错误，进而再次执行CONTINUE。
3. 这个循环会无限重复，永远无法移动到下一条学生记录，也无法退出循环。

修复建议 #

如果想要保留“跳过当前错误学生，继续处理下一个”的逻辑，需要在执行CONTINUE之前先移动游标，确保下一次循环处理的是新的记录：

BEGIN CATCH
    IF (ERROR_NUMBER() = 2 OR ERROR_NUMBER() = 3)
    BEGIN
        -- 先移动游标到下一条记录，再跳过当前循环
        FETCH NEXT FROM stud_cursor INTO @num;
        CONTINUE;
    END
    ELSE IF ERROR_NUMBER() = 4
        THROW 5, 'Unsucessful', 1;
    ELSE
        THROW;
END CATCH

这样就能避免无限循环的问题，同时实现跳过异常学生的需求。

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