Thread: Why does C++ need throw()

The latter is an impossibility, of course, because you can't introduce such an incompatibility. Also, the same reasons that made exception specifications what they are and not what programmers (especially Java programmers) expect still apply. Finally, exception specifications such as Java's may not be the best idea either; at least, many Java programmers (such as the Spring framework design team) and the designers of C# think so.

As for educating programmers, that would be possible, but to what end? Here's the effect of a throw statement: it transforms

Code:

void foo() throw(A, B)
{
  // Code
}

into

Code:

void foo()
try {
  // Code
} catch(A &) {
  throw;
} catch(B &) {
  throw;
} catch(...) {
  try {
    std::unexpected();
  } catch(A &) {
    throw;
  } catch(B &) {
    throw;
  } catch(...) {
    std::terminate();
  }
}

unless the exception specification explicitly includes std::bad_exception, in which case the std::terminate() call is replaced by throwing a std::bad_exception.

The obvious problem is: how is that useful?

Originally Posted by grumpy

Not true. The STL is designed with defined levels of exception safety in the presence of any exception: for example, if an operation on an element of a container throws an exception, then the container remains in a sensible state (it can be destroyed safely, does not generate memory leaks, etc) and the exception propagates to the caller. There are a few conditions on this (eg destructors of container elements are not allowed to throw exceptions, elements of containers must also keep themselves in a destructible state if an exception is thrown, etc). The net effect is that the STL behaves in a rational manner if any exception is thrown, and does not need to know anything about exceptions which might be thrown.

That's all true. I was just saying that the STL does't use throw declarations in function prototypes. cpjust sais it does, and he's probably right.

Originally Posted by King Mir

That's all true. I was just saying that the STL does't use throw declarations in function prototypes. cpjust sais it does, and he's probably right.

Or more likely, it's implementation dependent.