C++Talk.NET

Daniel Spangenberg · Guest

Hello, C++ community,

I am wondering, whether I can be sure, that a compliant implementation
of
the std::vector class template gives some throw-guarantees during an
invocation
of push_back in the following example:

std::vector<T> v;
....
v.push_back(T());

(Note, that I am not asking, whether push_back can destroy the
container, this
is quite clearly specified in the standard)
Assume, that the push_back occurs during near out-of-memory conditions
and assume, that the actions inside push_back finally lead to an
out-of-mem
condition, can I be sure, that push_back throws bad_alloc or a similar
std
exception? Or do I have no such guarantees?

I am a little bit confused, because Josuttis "The C++ Standard Library"
seems
to imply the first in para 6.2.4 "Exception handling"

"[..] In addition the standard requires that only the usual standard
exceptions
may occur, such as bad_alloc for a lack of memory or exceptions of
user-defined
operations"

while my personal interpretation of The current C++98
standard bases on 17.4.4.8 "Restrictions on exception handling"

"Any of the functions defined in the C++ Standard Library can report a
failure by
throwing an exception of the type(s) described in their Throws:
paragraph and/or
their exceptionspecification (15.4). [..]
Any other functions defined in the C++ Standard Library that do not have
an
exceptionspecification may throw implementationdefined exceptions unless

otherwise specified."

with the (non-binding) footnote 178:

"In particular, they can report a failure to allocate storage by
throwing an exception
of type bad_alloc, or a class derived from bad_alloc (18.4.2.1). Library
implementations
are encouraged (but not required) to report errors by throwing
exceptions from (or
derived from) the standard exception classes"

and lead me to the second conclusion. Of course, in the end, the
standard is right,
but maybe I do have a false view on the standard?

The question arose because our current VC7.1 library does not seem to
use any
std exception in this case and it costs us some time to find that out.
("Unusual"
system exceptions are normally caused by programmer errors, so we
couldn't believe
that push_back was the actual reason for it and checked intensively for
different sources)

Thanks for your input,

Daniel Spangenberg

---
[ comp.std.c++ is moderated. To submit articles, try just posting with ]
[ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ]
[ --- Please see the FAQ before posting. --- ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html ]

James Kuyper · Guest

[email]dsp (AT) bdal (DOT) de[/email] (Daniel Spangenberg) wrote in message news:<3FA8AA75.26AEB07B (AT) bdal (DOT) de>...

Thorsten Ottosen · Guest

"James Kuyper" <kuyper (AT) wizard (DOT) net> wrote

Thorsten Ottosen · Guest

""Thorsten Ottosen"" <nesotto (AT) cs (DOT) auc.dk> wrote