77

Já vi programas assim :

if(!clienteExiste(1))
{
    return "Cliente não existe.";
}

e outros assim

if(!clienteExiste(1))
{
   throw new Exception("Cliente não existe.");
}

O segundo código vai consumir mais processamento?

13
  • 12
    Apenas para apimentar isso, olha o que o criador do C++ disse sobre exceções: "Exception specifications provide run-time enforcement of which exceptions a function is allowed to throw. They were added at the energetic initiative of people from Sun Microsystems. Exception specifications turned out to be worse than useless for improving readability, reliability, and performance. They are deprecated (scheduled for future removal) in the 2011 standard."
    – utluiz
    Commented 14/02/2014 às 17:38
  • 9
    Vale uma tradução para os não-leitores de inglês. Commented 14/02/2014 às 17:44
  • 1
    Se não por todo o processimento que o Runtime tem que realizar, a construção try-catch seria mais lenta simplesmente pela construção do objeto da exceção ;) Commented 14/02/2014 às 18:06
  • 3
    @utluiz Isso refere-se a especificações de exceções, que não são o mesmo que exceções.
    – luiscubal
    Commented 14/02/2014 às 18:44
  • 5
    @PhilippeGioseffi Segue a tradução: "A especificação de exceções provê uma forma de reforçar em tempo de execução quais exceções uma função pode lançar. Elas foram adicionadas numa iniciativa energética do pessoal da Sun Microsystems. A especificação de exceções se mostrou pior que inútil para melhorar a legibilidade, a confiabilidade e o desempenho. Elas estão depreciadas (agendadas para remoção futura) no padrão de 2011." (Bjarne Stroustrup, sobre o padrão C++ de 98)
    – utluiz
    Commented 14/02/2014 às 19:03

5 Respostas 5

53

Sim.

O .NET usa um modelo de processamento em que o try/catch é uma operação "gratuita" quando não há exceções (o que é o cenário mais comum), e o processamento é movido para o throw (que fica mais lento como consequência).

No entanto, o return não é substituto para o throw porque têm significados diferentes.

  1. O return deve ser usado para resultados "normais" (embora possa significar erros, como no caso do TryParse: no caso em que os erros são tão comuns e esperados que faz sentido utilizar o return);
  2. O throw deve ser usado para erros possíveis e recuperáveis, mas invulgares. Não deve ser usado para controlo de fluxo;
  3. Para erros irrecuperáveis nem return nem throw devem ser usados (use System.Environment.FailFast).

Em particular, o return pura e simplesmente não é uma opção em construtores.

Para cenários invulgares, as exceções servem perfeitamente. Porque um throw não é lento: vários milhões de throws é que são.

Adicionalmente, estas recomendações aplicam-se ao C#, mas não necessariamente a outras linguagens.

3
  • 13
    +1 Em suma... O problema não é o throw, mas sim programação orientada a try/catch. Commented 14/02/2014 às 17:48
  • 7
    Faço minhas as palavras do @GabrielGartz e acrescento: usem exceções para casos excepcionais, de erro! Erros são coisas do tipo dados inválidos, problemas ao conectar a banco de dados, queda de conexão, sistema indisponível, etc. Parece óbvio, mas tem muito código por aí usando exceções para implementar regra de negócio. Aí vemos pérolas tipo catch ClienteBloqueadoSPCException{} catch ClienteBloqueadoSerasaException{} catch ClienteDesempregadoException{} ... não, não e não! Commented 15/02/2014 às 19:20
  • 3
    @NothingsImpossible Para adicionar a' lista de situacoes em que nao devem ser usadas excepcoes: validar input to utilizador.
    – dcastro
    Commented 17/02/2014 às 8:25
31

Sim, o segundo código vai consumir mais processamento.

Situação excepcional

Mas quem se importa? Se realmente aconteceu algo excepcional, algo fora do fluxo normal do programa, este processamento extra, que nem é tão grande assim, dependendo com o que você analisa, não vai degradar a performance geral da aplicação. Pelo menos esse consumo será um problema muito pequeno perto do problema maior que você teve.

Fluxo normal

Mas analisando o código mais friamente ele parece estar usando uma exceção para controlar fluxo do programa. Está manipulando regra de negócio. Aí pode ser que a exceção esteja consumindo uma quantidade de processamento que afete a performance geral, afinal a aplicação pode ter que lidar com milhares ou milhões de clientes que não existem. Você multiplica algo que era quase imperceptível por esta grandeza e a aplicação fica uma carroça.

Mas aí vem a questão: porque usar uma exceção para determinar uma regra de negócio? Isto não faz sentido. Isto não é realmente uma situação excepcional. Você tem apenas um dado inválido. Se você tem uma regra de negócio, suas estruturas devem saber se comunicar com esta regra de uma forma tradicional.

Uma exceção só deve ser usada para indicar falha no processamento e não invalidade do dado processado.

Não vou me aprofundar nisto já que respondi algumas vezes sobre o assunto. Leia mais em melhor forma de lidar com exceções e É uma boa prática lançar exceção nesses casos? e Diferenças entre Parse() vs TryParse() (bom exemplo de como construir uma API que comunique a invalidade do dado).

Custo da exceção

Note que no .NET, principalmente na versão 2.0 ou posterior, o custo da exceção foi todo transferido para o ato de lançar a exceção. Não há custo significativo (não é zero) para "proteger" uma trecho de código com try.

Este é um recurso tão complexo que é difícil medir sua performance. Alguns já tentaram, como já foi apontado em outras respostas, e não conseguiram um resultado definitivo e confiável. Apenas dá para dizer em linhas gerais que o lançamento (throw) da exceção é bem lenta para o uso normal da aplicação.

Podemos quantificar bem aproximadamente em alguns poucos microssegundos para executar o lançamento de uma exceção propriamente dito, em pilhas de chamadas curtas, na maioria dos casos. O que é nada para uma situação de falha mas é muito para o fluxo normal. Claro que você pode ter outras perdas porque o seu uso pode dificultar otimizações, e até uma pior utilização do cache do processador e falhas de páginas em memória. Para dar uma comparação, uma exceção é mais rápida que um acesso ao SSD ou equivale à várias centenas de acessos à memória.

Uso indevido

Em algum lugar, em algum momento, as pessoas começaram ser induzidas a pensar que você não pode nunca se comunicar através de estruturas de dados (que pode ser só uma string, um valor numérico como uma enumeração ou mesmo um valor booleano, e que só o uso da exceção é correto. Isto não é verdade. Se você precisa comunicar uma invalidade de um dado, uma violação de uma regra, um desvio qualquer, e esta comunicação exija informações mais complexas, crie uma estrutura que consiga guardar todas informações necessárias e entregue de alguma forma esta estrutura para quem precisa ser notificado disto, mas não use o mecanismo da exceção pelos motivos apresentados acima.

Economia de try-catch

Se precisarmos resumir quais são as exceções pertinentes temos apenas os erros de programação e as falhas de recursos que a aplicação não tem controle.

Alguns especialistas acham que as pessoas lançam exceções em demasia e as capturam em demasia também.

Muitas aplicações grandes, robustas sobrevivem bem com apenas um try-catch só para tratar os erros de programação. O uso do using que na prática é um try-finally já é mais necessário. Em alguns casos você pode ter que capturar e tratar uma exceção de forma mais específica, por exemplo um acesso ao banco de dados, mas mesmo nestes casos, dificilmente precisará de mais que um ou dois blocos try-catch se souber organizar a aplicação. Utilize métodos auxiliares para centralizar as criações e as manipulações de exceções relacionadas que aceitam a mesma ação ou possa definir ações através de parâmetros.

E se eu tiver uma situação adequada para a exceção e preciso de performance?

Não use exceções. Eu realmente não consigo ver um caso real assim, mas se existir, você vai medir a situação real da sua aplicação, entenderá que precisa melhorar a performance, observará que o lançamento da exceção está consumindo boa parte deste processamento e vai procurar um meio de usar outra forma de comunicação da falha mesmo que a exceção fosse adequada naquela situação. Nenhuma regra é tão dourada que não possa ser evitada quando é pertinente.

Relacionado.

Coloquei no GitHub para referência futura.

1
  • algo que você comentou faz todo sentido, qual a diferença de performance visto que todo um processo será parado por causa de uma excessão, acho que o problema de uma exceção para o cliente é pior que a performance.
    – Dorath
    Commented 26/02/2016 às 17:56
20

Esse assunto é complexo, mas para demonstrar qual caminho eu prefiro seguir, segue um trecho do código fonte do EntityFramework:

public DbRawSqlQuery<TElement> SqlQuery<TElement>(string sql, params object[] parameters)
{
    Check.NotEmpty(sql, "sql");
    Check.NotNull(parameters, "parameters");

    return
        new DbRawSqlQuery<TElement>(
            new InternalSqlNonSetQuery(_internalContext, typeof(TElement), sql, parameters));
}

Esse método usa duas chamadas estáticas de uma classe Check que faz o seguinte:

internal class Check
{
    public static T NotNull<T>(T value, string parameterName) where T : class
    {
        if (value == null)
        {
            throw new ArgumentNullException(parameterName);
        }

        return value;
    }

    public static T? NotNull<T>(T? value, string parameterName) where T : struct
    {
        if (value == null)
        {
            throw new ArgumentNullException(parameterName);
        }

        return value;
    }

    public static string NotEmpty(string value, string parameterName)
    {
        if (string.IsNullOrWhiteSpace(value))
        {
            throw new ArgumentException(Strings.ArgumentIsNullOrWhitespace(parameterName));
        }

        return value;
    }
}

Veja como são tratadas simples verificações de parâmetros: com Exceptions. Na minha opinião usar Excpetions para desviar o código é fundamental, é questão de design e arquitetura, e quando se fala nesse assunto não se deve priorizar quem consome mais ou menos processamento. Se fosse assim, não teríamos linguagens de alto nível, estaríamos escrevendo código em assembly.

Devemos priorizar a escrita de código com bons padrões, pois se não fizermos isso, o ganho que parece levarmos em uma única chamada, como o caso dessa pergunta, será perdido com um código mal escrito que em pouco tempo poderá se tornar pesado e lento por razões que não teremos condições de descobrir.

Por último um pequeno artigo em inglês que cita o seguinte:

Do not use error codes because of concerns that exceptions might affect performance negatively.

Use design to mitigate performance issues.

Traduzido para:

Não use códigos de erro por preocupações de que as exceções podem afetar negativamente o desempenho.

Utilize design para investigar problemas de desempenho.

No final o artigo descreve dois padrões para o melhor uso das Exceptions.

1
  • Boa! Prefiro um código legível e onde possa facilmente encontrar algum eventual problema do que um código eficientíssimo onde, quando ocorre algum erro, é praticamente impossível descobrir sua origem.
    – E.Thomas
    Commented 14/02/2014 às 22:12
16

Jon Skeet escreveu "Exceptions and Performance in .NET" (jan. 2006), atualizado em "Exceções e desempenho Redux" (graças @ Gulzar). Rico Mariani entrou na conversa com The True Cost of .NET Exceptions -- Solution.

A conclusão deles é que sim, pois é mais custoso lançar e tratar uma exceção do que puramente tratar o retorno e além disso pode haver perdas ocultas, como partes do contexto não guardado em cache, entre outras.

0
8

O tempo "perdido" nas Exceptions é muito pequeno se comparado com legibilidade de código. Outros desenvolvedores devem olhar para o seu código e entender claramente que aquilo é um tratamento de erro. Mesmo assim, no .NET, Exceptions são gratuitas quando tudo ocorre certo, caso haja uma excepção o tempo perdido não fará diferença já que a execução irá parar de qualquer forma.

Use if para tomadas de decisão e Exceptions para tratamento de erros.

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 .