为什么SQL中条件为假的IF分支代码仍会执行并抛出错误？

SQL Server的语句执行分为两个核心阶段：

• 编译/语义校验阶段：会对全量SQL代码的语法、对象依赖、类型匹配做静态检查，该阶段不会判断IF分支的条件是否成立，只要代码存在于SQL语句中，就会完成全量校验。你遇到的Column name or number of supplied values does not match table definition属于语义校验错误，在编译阶段就会抛出，根本不会走到IF条件判断的运行环节。
• 运行阶段：只有编译完全通过的SQL才会进入执行环节，此时才会根据IF条件的结果选择对应的分支执行。

将IF分支内的逻辑封装到动态SQL中，只有当IF条件判定为真时，才会触发动态SQL内部代码的编译和执行，未进入分支时不会校验内部代码的合法性，即可符合你的预期执行逻辑。

调整后的查询逻辑如下：

IF ({Root Container.UserSelectedProduct}=1)
    BEGIN
        DECLARE @sql NVARCHAR(MAX);
        SET @sql = N'
        DECLARE @TestNumbers {Root Container.SQLProductType};
        INSERT INTO @TestNumbers SELECT * FROM {Root Container.DBTable};
        SELECT *
        FROM {Root Container.SQLProductFunction} (@TestNumbers)
        WHERE [ID] = @Level;
        '
        -- 参数化传递变量可降低动态SQL额外带来的注入风险
        EXEC sp_executesql @sql, N'@Level INT', @Level = {Root Container.Level};
    END
ELSE
    SELECT 0

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