Re: Help Me Please :)

[Hyman Rosen <hymie@prolifics.com>]

Robert A Duff <bobduff@world.std.com> writes:
> The "raises set" of a procedure defines what exceptions it can raise.
> The problem is that this rule is checked at run time.  Java is closer to
> the right solution -- it checks that rule at compile time.  However,
> Java suffers from the "cry wolf" problem.  I think it's possible to
> avoid the "cry wolf" problem, and still do most of that checking at
> compile time.

Most people on comp.lang.c++.moderated have concluded that C++ throw
specifications are useless, except for the throw() spec which says
that a function will throw no exceptions at all. It would be interesting
to see a design which works well.