COALESCE-保证短路？

Question

从这个问题出发，一个关于使用COALESCE简化复杂逻辑树的简洁答案。我考虑了短路问题。

例如，在大多数语言的函数中，对参数进行全面评估，然后将其传递给函数。在C中：

int f(float x, float y) {
    return x;
}

f(a, a / b) ; // This will result in an error if b == 0

这似乎不是COALESCESQL Server中“功能”的限制：

CREATE TABLE Fractions (
    Numerator float
    ,Denominator float
)

INSERT INTO Fractions VALUES (1, 1)
INSERT INTO Fractions VALUES (1, 2)
INSERT INTO Fractions VALUES (1, 3)
INSERT INTO Fractions VALUES (1, 0)
INSERT INTO Fractions VALUES (2, 0)
INSERT INTO Fractions VALUES (3, 0)

SELECT Numerator
    ,Denominator
    ,COALESCE(
        CASE WHEN Denominator = 0 THEN 0 ELSE NULL END,
        CASE WHEN Numerator <> 0 THEN Numerator / Denominator ELSE NULL END,
        0
    ) AS TestCalc
FROM Fractions

DROP TABLE Fractions

如果它正在评估分母= 0的第二种情况，那么我会期望看到类似以下的错误：

Msg 8134, Level 16, State 1, Line 1
Divide by zero error encountered.

我发现了一些提到
相关的甲骨文。并使用SQL
Server
进行了一些测试。当您包含用户定义的函数时，短路可能会中断。

那么，这种行为是否应该由ANSI标准来保证？

Answer 1

我只是看了链接的文章，并且可以确认短路对于COALESCE和ISNULL都可能失败。

如果涉及到任何子查询，它似乎会失败，但是它对于标量函数和硬编码值可以正常工作。

例如，

DECLARE @test INT
SET @test = 1
PRINT 'test2'
SET @test = COALESCE(@test, (SELECT COUNT(*) FROM sysobjects))
SELECT 'test2', @test
-- OUCH, a scan through sysobjects

COALESCE是根据ANSI标准实施的。它只是CASE语句的简写形式。ISNULL不是ANSI标准的一部分。6.9节似乎并没有明确要求短路，但它确实暗示when应返回语句中的第一个true子句。

这是一些适用于基于标量的函数的证明（我在SQL Server
2005
上运行了它）：

CREATE FUNCTION dbo.evil
(
)
RETURNS int
AS
BEGIN
    -- Create an huge delay
    declare @c int
    select @c = count(*) from sysobjects a
    join sysobjects b on 1=1
    join sysobjects c on 1=1
    join sysobjects d on 1=1
    join sysobjects e on 1=1
    join sysobjects f on 1=1
    return @c / 0
END
go

select dbo.evil()
-- takes forever

select ISNULL(1,  dbo.evil())
-- very fast

select COALESCE(1,  dbo.evil())
-- very fast

这证明CASE的基础实现将执行子查询。

DECLARE @test INT
SET @test = 1
select
    case
        when @test is not null then @test
        when @test = 2 then (SELECT COUNT(*) FROM sysobjects)
        when 1=0 then (SELECT COUNT(*) FROM sysobjects)
        else (SELECT COUNT(*) FROM sysobjects)
    end
-- OUCH, two table scans. If 1=0, it does not result in a table scan.