为什么视图中选择查询中完全确定性和包罗万象的“案例”的结果可以为空？

Question

我有一张桌子，Id作为主键。

create table Anything
(
    Id bigint not null primary key identity(1, 1)
)

当我查看 中的这张表时Object Explorer，我当然会看到这张图片：

正如你所看到的，列Id是不为空。

然后我在这个虚拟表上创建一个虚拟视图：

create view IdIsTwoView
as

select
    Id,
    (
        case
        when Id = 2
        then cast(1 as bit)
        else cast(0 as bit)
        end
    ) as IdIsTwo
from Anything

但这一次，在对象资源管理器中，我看到了这个结果：

如您所见，尽管我的case子句包罗万象，涵盖了所有记录的 100%，并且对所有记录都有答案，但它可以为空。

为什么 SQL Server 有这种奇怪的行为？我如何强制它不为 null？

PS我们有一个动态生成代码的基础设施，这种行为给我们带来了麻烦，我们必须手动将bool?C# 中的所有类型更改为bool.

Answer 1

要回答问题的原因部分，CASE表达式结果可以为空，因为CAST函数结果可以为空。这可以通过以下方式观察到：

EXEC sp_describe_first_result_set N'SELECT CAST(1 AS bit) AS result;';

结果（缩写）：

+-----------+----------------+--------+-------------+----------------+------------------+
| is_hidden | column_ordinal |  name  | is_nullable | system_type_id | system_type_name |
+-----------+----------------+--------+-------------+----------------+------------------+
|         0 |              1 | result |           1 |            104 | bit              |
+-----------+----------------+--------+-------------+----------------+------------------+

当没有函数指定常量时，结果不为空：

EXEC sp_describe_first_result_set N'SELECT 1 AS result;';

+-----------+----------------+--------+-------------+----------------+------------------+
| is_hidden | column_ordinal |  name  | is_nullable | system_type_id | system_type_name |
+-----------+----------------+--------+-------------+----------------+------------------+
|         0 |              1 | result |           0 |             56 | int              |
+-----------+----------------+--------+-------------+----------------+------------------+

但是结果数据类型int不是所需的，bit因为 SQL Server 没有bit没有隐式或显式转换的常量，ISNULL需要像@MichaelGreen 回答的那样强制非空结果。

Answer 2

回答你的实际问题 - 我不知道。我的猜测是解析器可以直接检查列以确定可空性。如果列引用和输出之间存在任何可能影响可空性的内容（例如函数或表达式），则假定输出可以为空。MS 根本没有编写代码来深入检查所有情况以及有关结果的原因。他们也有预算、时间表和积压工作，就像其他人一样。这根本没有得到优先考虑。

不过，这个假设让我思考。如果它可以解释列，它可以推理什么结构？如果我可以为它提供一个足够简单且保证不为空的表达式，它会产生所需的输出。答案是肯定的，使用ISNULL：

create or alter view IdIsTwoView
as

select
    Id,
    (
        case
        when Id = 2
        then cast(1 as bit)
        else cast(0 as bit)
        end
    ) as IdIsTwo,
    isnull(
        case
        when Id = 2
        then cast(1 as bit)
        else cast(0 as bit)
        end
    , -1) as X
from Anything;

我选择 -1 作为替换值，因为它超出了标识的范围，因此如果看到将是一个明显的错误。我想，任何常数都可以。