exception specifications

[Martin v. Loewis]

> Ignoring the cv-quals here makes checking a throw through an exceptions
> specifier the same as checking catch clauses (15.3/3). I believe that's what
> most users would expect (I sure did, until I went over it with a microscope).

I found that Stroustrup also suggests this interpretation. He says,
that

void foo()throw(x1,x2)
{
  //stuff
}

is 'almost identical' (I forgot the exact wording) to

void foo()
try{
  // stuff
}catch(x1){
  throw;
}catch(x2){
  throw;
}catch(...){
  unexpected();
}

I promise this is the last message in this thread on egcs.

Regards,
Martin