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#?
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.
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);
}
}