Linguagem de Programação II Carlos Oberdan Rolim Ciência da Computação Sistemas de Informação

Tratamento de exceções

Mecanismo que permite tratar de erros em tempo de execução de modo mais controlado, simplificado e eficiente que as formas tradicionais de detecção e tratamento de erros Trata dos mecanismos de disparo, captura e tratamento de exceções Problemas durante a execução de um programa

Exceções Exceções são erros que ocorrem durante a execução de um programa. Normalmente, muitos desses erros podem ser previstos pelo programador que utiliza funções próprias para trata-los Exceções em C++ constituem um novo mecanismo, uma ferramenta poderosa e flexível para simplificar a detecção e tratamento de erros durante a execução do programa

Modo tradicional Forma tradicional uma função retorna um valor determinando a ocorrência de um erro. Necessita verificar o valor retornado todas as vezes Com o uso de classes e objetos como saber se ocorreu um erro durante a execução do construtor ou do destrutor ?

O mecanismo de exceções Exceção em C++ é uma resposta a uma situação anormal que surge enquanto um programa está em execução Exemplo: divisão por zero Podem provocar a transferência do controle para uma parte do programa para outra parte. Envolve três conceitos: Utilização de um bloco try (try) Captura da uma exceção por um manipulador de exceções (catch) Disparo de uma exceção (throw)

O mecanismo de exceções Envolver o bloco suspeito de gerar exceção com um try. Começa com um comando try seguido do código entre chaves Pode ser seguido de um ou mais catch A captura de uma exceção é feita por um catch. Começa com a palavra catch seguido seguido por uma declaração de tipo associada ao tipo de exceção a qual responde Corpo igual a uma função ou método normal Será disparado por um throw Throw indica o disparo de uma exceção quando surge algum problema implicando o desvio para um outro ponto (bloco catch) É seguido de um valor (string, constante, obj, etc) que indica o tipo de exceção

O mecanismo de exceções Bloco catch Exceção ? Bloco try S N

Int main ( ) { Int dividendo, divisor, quociente; cin >> dividendo; cin >> divisor; try { if (divisor == 0) throw Tentativa de divisão por zero; quociente = dividendo / divisor; cout << Resultado << dividendo; }catch (const char * msg) { cout << Erro : << msg << endl; } return 1; } Exemplo básico de tratamento de exceção

Informações adicionais Um try pode por meio de um throw disparar mais de uma exceção Disparo de throw lembra um return mas ao invés de retornar o controle a função chamadora faz com que o programa vá para o catch correspondente No bloco catch( const char *msg) existe a correspondencia com a exceção disparada que é uma string. Declaração de msg assemelha-se a um argumento de função Caso um bloco try seja executado sem disparar exceções os blocos catch não serão executados. Caso haja o disparo de exceção o bloco catch será executado e o programa continuará após o último bloco catch

Int main ( ) { Int dividendo, divisor, quociente; cin >> dividendo; cin >> divisor; try { if (divisor == 0) throw Tentativa de divisão por zero; if (divisor < 0) throw 8888; quociente = dividendo / divisor; cout << Resultado << dividendo; }catch (const char * msg) { cout << Erro : << msg << endl; } }catch (int erro) { cout << Erro : << erro << endl; } return 1; } Exemplo disparando mais de uma exceção

Exceções e funções A definição de uma função pode ser qualificada com a especificação da exceção para indicar quais tipos de exceção essa função pode disparar E um bloco catch poderá responder a mais de uma exceção Para qualificar a função usar nomeFunção (argumentos) throw (excessção1, exceção2,...) Exemplo int calcular(int valor1, int valor2) throw (const char *); Ou int calcular(int valor1, int valor2) throw (const char *, int);

..... double calcRaiz(double) throw (const char *); int main () { double numero, raizq; cin >> numero; try { raizq = calcRaiz(numero); cout << Raiz: << raizq; } catch ( const char * msg) { cout << Erro << msg << endl; } cout << Termino do programa << end; return 1; } double calcRaiz(double numero) throw (const char *){ if (numero == 0) throw Raiz de num negativo; return sqrt(numero); } Exemplo de código com função qualificada com exceção

Múltiplos blocos try Pode-se utilizar vários blocos try dentro de um programa.... cin >> numero; try { raizq = calcRaiz(numero); cout << Raiz: << raizq; } catch ( const char * msg) { cout << Erro << msg << endl; } try { raizq = Dobro(numero); cout << Dobro: << dobro; } catch ( const char * msg) { cout << Erro << msg << endl; }

Captura de qualquer exceção É possível usar um bloco catch genérico que é executado quando qualquer exceção for disparada Basta escrever... (reticencias) no lugar do tipo de exceção

Int main ( ) { Int dividendo, divisor, quociente; cin >> dividendo; cin >> divisor; try { if (divisor == 0) throw Tentativa de divisão por zero; if (divisor < 0) throw 8888; quociente = dividendo / divisor; cout << Resultado << dividendo; }catch (...) { cout << Ocorreu uma exceção << endl; } return 1; } Exemplo com catch genérico capturando qualquer tipo de exceção

Exceções e classes Exceções podem ser aplicadas em classes com algumas diferenças Por exemplo um construtor poderia disparar uma exceção quando uma chamada ao new fosse mal sucedida Na utilização de exceções associadas a classes a prática é disparar objetos como exceções e captura-los com referência Para um método que dispara uma exceção, define-se uma classe de exceção dentro da classe principal para ser utilizada como o tipo da exceção disparada

Exceções e classes Declaração de classe dentro da classe é conveniente, pois o tipo de exceção indica a classe que a originou, além de ajudar a evitar nomes conflitantes class vetor { public: class erro { }; private:.... }; Assim será possível disparar uma exceção do tipo throw erro(); a ser tratada por um bloco catch ( vetor :: erro ) {... }

class numExtenso { public: ler(); class Erro { }; private: int numero; }; int main () { numExtenso num; try { num.ler(); } catch(numExtenso :: Erro ){ cout << Numero fora do invervalo; return 1; } return 0; } void numExtenso :: ler () { cin 5) throw Erro; } Exemplo com classe de exceção vazia

class numExtenso { public: ler(); class Erro { public: Erro(); int indice; }; private: int numero; }; int main () { numExtenso num; try { num.ler(); } // catch(numExtenso :: Erro ){ catch(numExtenso :: Erro & i ){ cout << i. indice << fora do invervalo; return 1; } return 0; } void numExtenso :: ler () { cin 5) throw Erro(numero); } numExtenso :: Erro :: Erro (int i){ indice = i; } Exemplo com classe de exceção com membros

Exceções e o operador new Com o mecanismo de exceção quando a alocação de memória com o operador new for mal sucesidade será disparada uma exceção do tipo bad_alloc que é uma classe derivada da classe exception. Em função da derivação bad_alloc herda um método virtual chamado what() que retorna um string indicativo da ocorrência de uma exceção Essa string varia de acordo com implementação do C++

struct conta { double saldo[5000]; }; Int main ( ) { conta * ptr; try { cout << operador new tenta alocar espaco em memória; ptr = new conta[10000]; } catch ( bad_alloc & msg){ cout << String do metodo what(): << msg.what() << endl; return 1; } delete [ ] ptr; return 0; } Exemplo de exceção com alocação dinâmica Saída: O operador new tenta alocar espaço em memória String do método what(): st9bad_alloc