Início / dba / Perguntas / 262424
Accepted
Saeed Neamati
Asked: 2020-03-22 02:54:14 +0800 CST

Por que o resultado de um "caso" totalmente determinístico e abrangente na consulta de seleção na exibição é anulável?

  • 772

Eu tenho uma tabela, com Idcomo chave primária.

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

Quando olho para esta tabela em Object Explorer, vejo esta imagem, claro:

Insira a descrição da imagem aqui

Como você pode ver, a coluna não Idé null .

Então eu crio uma visão fictícia nesta tabela fictícia:

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

Mas desta vez, no Object Explorer, vejo este resultado:

Insira a descrição da imagem aqui

Como você pode ver, apesar de minha casecláusula ser abrangente e cobrir 100% de todos os registros, e ter uma resposta para todos os registros, ela é anulável.

Por que o SQL Server tem esse comportamento estranho? E como forçá-lo a não ser nulo ?

PS temos uma infraestrutura para gerar código dinamicamente, e esse comportamento nos causa problemas e temos que ir manualmente e alterar todos os bool?tipos em C# para bool.

sql-server sql-server-2016

2 respostas

  1. Para responder a parte do porquê da sua pergunta, a CASEexpressão result é anulável porque o CASTresultado da função é anulável. Isso pode ser observado com:

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

    Resultado (abreviado):

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

    O resultado não é nulo quando uma constante é especificada sem a função:

    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              |
+-----------+----------------+--------+-------------+----------------+------------------+

    Mas o tipo de dados do resultado é intem vez do desejado bit, pois o SQL Server não possui bitconstante sem conversão implícita ou explícita, ISNULLé necessário coagir um resultado não nulo como @MichaelGreen respondeu.

    • 8
  2. Best Answer

    Para responder à sua pergunta real - não tenho ideia. Meu palpite é que o analisador pode examinar colunas diretamente para determinar a nulidade. Se houver algo entre a referência de coluna e a saída - como uma função ou uma expressão - que possa afetar a nulidade, a saída será considerada anulável. A MS simplesmente não escreveu um código para examinar todas as circunstâncias em profundidade e raciocinar sobre os resultados. Eles também têm orçamentos, cronogramas e pendências como todos os outros. Isso simplesmente não tem prioridade.

    Essa hipótese me fez pensar, no entanto. Se ele pode interpretar colunas, sobre quais construções ele pode raciocinar? Se eu pudesse oferecer uma expressão suficientemente simples que garantisse não ser nula, ela produziria a saída desejada. A resposta é sim, com 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;

    Eu escolhi -1 para o valor de substituição, pois está fora do intervalo da identidade, portanto, será um erro óbvio se for visto. Qualquer constante funcionaria, eu acho.

    • 6

relate perguntas