🚀 go-pugleaf

In article 41C67EA6@ecid.cig.mot.com, Joe Walker <walkerjj@ecid.cig.mot.com> writes:
>
>As I understand the DWP this is legal:
>
>  void func () throw ()
>  {
>    throw 1;
>  }
>
>The question is, why?
>Surely this should be a compiler error.

It is an error if the throw statement is executed, but not otherwise.
That is, "func" might not ever be called.

That may sound like nit-picking, but it avoids having to 
decide whether examples like the following are valid:

void f1(int j) throw()
{
	if( j == 0 )
		throw 1; // the programmer believes j is always > 0
}

#include <math>
void f2(unsigned x) throw()
{
	if( std::sqrt((double)x) ) < 0.0 )
		throw 1; // really can't happen, but must compiler deduce that?
}

---
Steve Clamage, stephen.clamage@eng.sun.com




---
[ comp.std.c++ is moderated.  Submission address: std-c++@ncar.ucar.edu.
  Contact address: std-c++-request@ncar.ucar.edu.  The moderation policy
  is summarized in http://dogbert.lbl.gov/~matt/std-c++/policy.html. ]