SQL Server 在窗口函数子句中奇怪的不一致行为？

Question

在询问another question 时，我发现SQL Server（在2005 年和2008 年都发生）在处理窗口函数子句中的CASE 语句时似乎有奇怪的不一致行为。以下代码报错：

declare @t table (SortColumn int)
insert @t values (1), (2), (3)
declare @asc bit
set @asc = 0

select  row_number() over (order by
            case when 1=1 then SortColumn end asc,
            case when 1=0 then SortColumn end desc) RowNumber
,       *
from    @t

错误是窗口函数不支持常量作为 ORDER BY 子句表达式。我认为这是因为 case 语句可能计算为 NULL，这是一个常量。正如所料，这段代码给出了同样的错误：

declare @t table (SortColumn int)
insert @t values (1), (2), (3)
declare @asc bit
set @asc = 0

select  row_number() over (order by
            NULL asc,
            NULL desc) RowNumber
,       *
from    @t

...大概是出于同样的原因。但是，这段代码并没有报错：

declare @t table (SortColumn int)
insert @t values (1), (2), (3)
declare @asc bit
set @asc = 0

select  row_number() over (order by
            case when @asc=1 then SortColumn end asc,
            case when @asc=0 then SortColumn end desc) RowNumber
,       *
from    @t

这里与第一个代码块的唯一区别是我将case 语句的条件操作数之一移动到变量@asc 中。这现在工作正常。为什么呢？ case 语句仍可能评估为 NULL，这是一个常数，因此它不应该工作......但它确实有效。这在某种程度上是一致的，还是 Microsoft 提出的特殊情况行为？

所有这些行为都可以通过this query 来检查。

---

更新：此限制不仅适用于 OVER 子句（尽管它们确实给出了不同的错误）- 它适用于自 SQL Server 2005 以来的所有 ORDER BY 子句。Here's a query这也显示了常规 SELECT 的 ORDER BY 子句的限制。

Answer 1

在线书籍指出“排序列可以包含表达式，但是当数据库处于 SQL Server (90) 兼容模式时，表达式无法解析为常量。”但是它没有定义“常数”。

从思考和一些实验来看，这似乎很清楚，这意味着可以在编译时成功计算出文字常量值的表达式。

/*Works - Constant at run time but SQL Server doesn't do variable sniffing*/
DECLARE @Foo int
SELECT ROW_NUMBER() OVER (ORDER BY @Foo) 
FROM master..spt_values 

/*Works - Constant folding not done for divide by zero*/
SELECT ROW_NUMBER() OVER (ORDER BY $/0) 
FROM master..spt_values 

/*Fails - Windowed functions do not support 
   constants as ORDER BY clause expressions.*/
SELECT ROW_NUMBER() OVER (ORDER BY $/1) 
FROM master..spt_values 

Answer 2

第一个示例中的评估永远不会改变。

您正在将一个常数与一个常数进行比较，该常数将不断产生一个常数。

1=1 永远是TRUE。
1=0 永远是FALSE。