exception checking

[Michal Liptak]

On 28 Feb 2003 13:58:10 -0800
LLeweLLyn Reese <llewelly@lifesupport.shutdown.com> wrote:

>Michal Liptak <liptak@isdd.sk> writes:
>
>> Is exception checking at compile time planned to be implemented in gcc/g++?
>
>I doubt it. For one, most C++ experts think exception specifications
>    would remain useless if checked at compile time. 

I don't think so.. I think it would save me a lot of abort() calls.. ;)
Now I end up not specifying the thrown exceptions at the function's declaration
because of these problems..

>Two, the c++
>    standard requires that an implementation shall not reject a
>    program due to a mismatch in exception specifications, and/or
>    catch blocks. 

A warning would be enough for me.

>Three, there is no way to write an exception
>    specification for a template function which is both sufficiently
>    general, and significantly more restrictive than allowing anything
>    to be thrown. There are further problems, some involving function
>    pointers, and another involving shared libraries, but I've
>    forgotten them.