11

从这个问题，一个关于使用 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.

我发现了一些与Oracle 相关的内容。以及一些使用SQL Server的测试。当您包含用户定义的函数时，看起来短路可能会发生故障。

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

4

3 回答 3

8

我刚刚查看了链接的文章，可以确认 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.
于 2009-02-03T04:40:22.433 回答
3

在 MS SQL Server 中保证短路的有效方法是使用 CASE。对于成功的 WHEN 子句，不评估其他子句。

COALESCE 可能有问题

在这种情况下，为什么 COALESCE/CASE 结构中有这么多分支？

SELECT Numerator
    ,Denominator
    ,CASE
        WHEN Denominator = 0 THEN 0 END,
        ELSE Numerator / Denominator
     END AS TestCalc
FROM Fractions
于 2009-02-03T05:08:23.967 回答
1

我也很惊讶地看到这个答案有效！我不确定这种行为是否得到保证。（但我一直找不到一个不起作用的例子！）

五年的SQL，我仍然感到惊讶。

我还继续进行了另一项更改：

INSERT INTO #Fractions VALUES (0, 0)

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

我得到的结果是：

Numerator   Denominator TestCalc
1             1           1
1             2           0.5
1             3           0.3333333333333335
1             0           0
2             0           0
3             0           0
0             0           0

现在我更加困惑了！对于 num=0 和 den=0 的情况，我是如何将 testcalc 设为 0 的（特别是因为我在最后一个情况之后删除了 0！）？

于 2009-02-03T04:21:26.573 回答