Re: [boost] Re: Attempting resolution of Threads & Exceptions Issue

From: Peter Dimov (pdimov_at_[hidden])
Date: 2002-08-16 08:46:46

From: "Alexander Terekhov" <TEREKHOV_at_[hidden]>
>
> David Abrahams wrote:
> [...]
> > > > If all the code is exception-neutral and gives the basic guarantee,
> > > > by the time the thread exits, all program invariants are intact.
> > >
> > > Even if some throw() operation would suddenly throw?
> >
> > What language are you talking about here?
>
> Here, I'm talking about boostified(*) ``C++ language'' and boostified C++
> libraries full of "operation() // throw()", "operation() // never throws",

These operations cannot "suddenly throw". If you assume that they can
"suddenly throw", you must assume that the rest of the documentation is
wrong, too. In other words, you must assume that the functions don't work.

> and etc. "throw()" functions WITHOUT proper exception specifications.

Define "proper" exception specifications. I've never seen one.