主页 / dba / 问题 / 262424
Accepted
Saeed Neamati
Asked: 2020-03-22 02:54:14 +0800 CST

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

  • 772

我有一个表，Id作为主键。

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

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

在此处输入图像描述

如您所见， columnId不是null。

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

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.

sql-server sql-server-2016

2 个回答

  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 回答的那样强制一个非空结果。

    • 8
  2. Best Answer

    要回答您的实际问题-我不知道。我的猜测是解析器可以直接检查列以确定可空性。如果列引用和输出之间存在任何可能影响可空性的内容（例如函数或表达式），则假定输出可以为空。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 作为替换值，因为它超出了标识的范围，所以如果看到它会是一个明显的错误。我想，任何常数都会起作用。

    • 6

相关问题