AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / coding / Perguntas / 79488133
Accepted
Bob
Bob
Asked: 2025-03-06 10:51:14 +0800 CST2025-03-06 10:51:14 +0800 CST 2025-03-06 10:51:14 +0800 CST

Posso verificar se há nulos em várias variáveis ​​de uma só vez sem disparar avisos de nulidade?

  • 772

Estou tentando validar vários parâmetros de configuração, idealmente relatando todos os problemas em uma única passagem. Isso assume um formato semelhante a:

var isValid = true;
if (arg1 == null)
{
    // logger.LogError...
    isValid = false;
}
if (arg2 == null)
{
    // logger.LogError...
    isValid = false;
}
if (!isValid)
{
    return;
}

arg1.DoSomething(); // possible null warning

Agora, se eu abortar individualmente quando um único argumento for nulo, não há problema: a análise nula detecta com sucesso que isso foi verificado e não precisa avisar. Infelizmente, isso significa que não posso relatar vários erros de uma vez, e o usuário precisará fazer vários ciclos de edição-execução para resolver todos os problemas.

Alternativamente, posso ignorar forçosamente avisos nulos com o operador null-forgiving ( !). Mas isso me deixa vulnerável a realmente esquecer uma verificação nula ou remover uma acidentalmente mais tarde.

Posso ter meu bolo e comê-lo também? Existe um padrão mais organizado para fazer validação de múltiplos argumentos sem sacrificar a análise de nulidade?

Exemplo completo:

using System;

#nullable enable

public class Program
{
    public static void Main()
    {       
        Warning();
        NoWarning();
    }
    
    public static void Warning()
    {
        string? canBeNull = Random.Shared.Next(2) == 1 ? "not-null" : null;
        string? canBeNull2 = Random.Shared.Next(2) == 1 ? "not-null" : null;
        
        var isValid = true;
        
        if (canBeNull == null)
            isValid = false;
        
        if (canBeNull2 == null)
            isValid = false;
        
        if (!isValid)
            return;
        
        Console.WriteLine(canBeNull.Length);
    }
    
    public static void NoWarning()
    {
        string? canBeNull = Random.Shared.Next(2) == 1 ? "not-null" : null;
        string? canBeNull2 = Random.Shared.Next(2) == 1 ? "not-null" : null;
        
        if (canBeNull == null)
            return;
        
        if (canBeNull2 == null)
            return;
        
        Console.WriteLine(canBeNull.Length);
    }
}
c#
  • 2 2 respostas
  • 77 Views

2 respostas

  • Voted
  1. Best Answer
    Orion
    2025-03-06T17:08:50+08:002025-03-06T17:08:50+08:00

    Você pode usar um método validador auxiliar que verifica todas as coisas e consolida as mensagens de erro, com atributos [NotNullWhen] aplicados a cada parâmetro.

    public class UserValidator(ILogger logger)
    {
        public void ValidateUser(string? name, string? role)
        {
            if (!IsValid(name, role))
            {
                return;
            }
    
            Console.WriteLine(name.ToLower()); // no null warning;
                                               // method returned true,
                                               // so all params are not null
        }
    
        public bool IsValid(
            [NotNullWhen(true)] string? name,
            [NotNullWhen(true)] string? role)
        {
            bool isValid = true;
    
            if (name is null)
            {
                logger.LogError("Name was null");
                isValid = false;
            }
    
            if (role is null)
            {
                logger.LogError("Role was null");
                isValid = false;
            }
    
            return isValid;
        }
    }
    
    • 4
  2. Fildor
    2025-03-06T15:35:16+08:002025-03-06T15:35:16+08:00

    Não está realmente resolvendo o problema "na hora", eu consideraria isso mais como uma "solução alternativa" - apenas como um aviso.

    Se você tiver um método como este:

    bool IsNotNull ( string? candidate, out string notNullCandidate )
    {
        notNullCandidate = candidate ?? "";
        return candidate is not null;
    }
    

    então você verifica o candidato anulável e se ele for aprovado, usa a saída não anulável.

    Atenção: isso também funcionará como um método estático, mas, pelo que sei, não como um método de extensão (por causa da palavra-chave out).

    • 1

relate perguntas

  • Polly DecorrelatedJitterBackoffV2 - como calcular o tempo máximo necessário para concluir todas as novas tentativas?

  • Wpf. Role o DataGrid dentro do ScrollViewer

  • A pontuação que ganhei na página do jogo com .NET MAUI MVVM não é visível em outras páginas. Como posso manter os dados de pontuação no dispositivo local

  • Use a hierarquia TreeView com HierarchicalDataTemplate de dentro de um DataTemplate

  • Como posso melhorar essa interface de validação no .NET?

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve