14

Vi um código:

using (IEnumerator<TSource> e = source.GetEnumerator()) {
     checked {
         while (e.MoveNext()) count++;
     }
}

Qual a finalidade do código checked {} nesse código C#?

0

2 Respostas 2

15

O checked é usado para determinar se o estouro aritmético será considerado como um erro. Então se o valor passar do limite que o tipo suporta uma exceção será lançada impedindo que o valor seja usado inadvertidamente. Por razões de performance o padrão é não emitir exceção e deixar o código correr errado.

Obviamente esse modo só está ativo dentro do bloco delimitado pelas chaves.

São raros os casos que ele é necessário. Ele pode ser útil em casos que quase nunca ocorrerá o problema, mas quando ocorrer é bom que não "passe batido". O mais comum é garantir que não estoure. Curiosamente para verificar antes é menos performático já que há um custo razoável para fazer um branch (if). Se não lançar a exceção fica mais rápido. Se lançar a exceção ficará bem lento. Sempre devemos evitar exceções até que ela faça muito sentido.

Existe também o unchecked para desconsiderar erros. Obviamente que se não der erro pode ocorrer do cálculo produzir resultados não esperados. Ele só é necessário quando o código é compilado com /checked ligado, mudando o padrão, aí se quiser desligar em algum ponto específico tem que fazer o desligamento pontual. Ele quase nunca é usado.

Os artigos do Eric Lippert, que é autoridade no assunto, fala sobre os detalhes. Parte 1 e Parte 2.

Veja funcionando no ideone. E no .NET Fiddle. Também coloquei no GitHub para referência futura.

4
  • O que é inadvertidamente?
    – novic
    Commented 7/10/2016 às 17:42
  • @VirgilioNovic de forma descuidada, sem ser o que esperava: dicionarioinformal.com.br/inadvertidamente, dicio.com.br/inadvertidamente, sinonimos.com.br/inadvertidamente,
    – Maniero
    Commented 7/10/2016 às 17:47
  • entendi agora @bigown, não conhecia ! achei que fosse erro de digitação.
    – novic
    Commented 7/10/2016 às 18:11
  • @VirgilioNovic advertência -> aviso, ciência; advertido-> você está ciente; inadvertido -> não está ciente, ocorre à sua revelia; inadvertidamente -> forma de inadvertência -> ocorre sem que você perceba.
    – Maniero
    Commented 7/10/2016 às 18:33
6

A palavra-chave checked é usada para permitir explicitamente a verificação de estouro de tipos integrais de operações aritméticas e conversões.

Por padrão, uma expressão que contém somente valores constantes causa um erro do compilador se a expressão produz um valor que está fora do intervalo do tipo de destino. Se a expressão contém um ou mais valores não constante, o compilador não detecta o estouro. Exemplo:

int x = int.MaxValue;  
int y = x + x;          
Console.WriteLine(y);   

Colocar esse trecho em um checked bloco impede o overflow, e em vez disso o tempo de execução lança uma OverflowException:

checked 
{ 
     int x = int.MaxValue; 
     int y = x + x; 
     Console.WriteLine(y); 
} 

Você pode tratar a exceção acrescentando blocos try catch:

checked 
{ 
    try 
    { 
        int x = int.MaxValue; 
        int y = x + x; 
        Console.WriteLine(y); 
    } 
    catch (Exception  exception) 
    { 
        Console.WriteLine(exception); 
    } 
} 

O unchecked palavra-chave é usada para suprimir a verificação de estouro para operações aritméticas de tipo integral e conversões.

Em um contexto unchecked, se uma expressão produz um valor que está fora do intervalo do tipo de destino, o estouro não está sinalizado.

A solução "ideal" seria usar o unchecked junto:

checked 
{ 
    try 
    { 
        int x = int.MaxValue; 
        int y = x + x; 
        Console.WriteLine (y); 
    } 
    catch (Exception  exception) 
    { 
        Console.WriteLine (exception); 
    } 

    unchecked 
    {
        int z = 2 + 10 ; 
        Console.WriteLine(z); 
    } 

} 

Você deve fazer log-in para responder a esta pergunta.

Esta não é a resposta que você está procurando? Pesquise outras perguntas com a tag .