Exceções em C: devemos especificá-las em protótipos de funções?

Em C, os especificadores de exceção permitem que as funções declarem se podem lançar exceções . No entanto, seu uso foi questionado devido a preocupações sobre sua eficácia e consequências.

Motivos contra o uso de especificadores de exceção:

• Aplicação fraca: O compilador não impõe estritamente especificadores de exceção, portanto, violá-los pode não resultar em erro. Isso prejudica sua confiabilidade.
• Rescisão do programa: A violação de um especificador de exceção normalmente aciona o encerramento do programa, o que é um resultado desfavorável na maioria dos casos.
• Padrão Não- Conformidade: Alguns compiladores, como VS.Net, tratam throw(X) como throw(...), o que viola o padrão e pode levar a um comportamento não confiável.

Razões para evitar especificadores de exceção:

• Difícil de implementar em modelos: Os especificadores de exceção dificultam o código do modelo porque é um desafio antecipar todas as exceções possíveis que podem surgir.
• Evitar extensibilidade: Especificar exceções específicas pode restringir a evolução futura do comportamento de uma função devido ao seu impacto potencial no código existente.
• Incerteza no código legado: A interface com bibliotecas externas que podem gerar exceções imprevistas pode dificultar o tratamento adequado de erros e garantir a estabilidade do programa.

Alternativas aos especificadores de exceção:

Em vez de usar especificadores de exceção, geralmente é aconselhável:

• Retornar códigos de erro ou objetos indicando status ou condições específicas.
• Capturar exceções e tratá-las de maneira controlada.
• Conte com blocos try-catch para interceptar e tratar casos excepcionais explicitamente.

Em conclusão, embora os especificadores de exceção forneçam um mecanismo para comunicar o potencial de exceções, suas limitações e possíveis consequências negativas fazem com que menos aconselháveis ​​para uso geral. Ao adotar estratégias alternativas para tratamento de erros, os desenvolvedores podem melhorar a robustez e a capacidade de manutenção de seu código.