Thread: Delete[] Error...

Originally Posted by Zach L.

Hmm... How does std::exception work (in general), then? I had the same idea in my head that Daved did.

The way std::exception works is that all members (including constructors) are required not to throw exceptions. So, for exception types with constructors that accept a string argument (eg logic_error) will attempt to copy the string into the place returned by the what() member function. If that operation fails (i.e. an exception is thrown) the result is that exceptions specification of the affected constructor has been violated, which results in program termination (via a call to terminate()).

>> Strictly speaking (the letter of the standard) it is out of scope for the caller and therefore an access to it (particularly dereferencing it) yields undefined behaviour.

These sections of the standard seem to indicate otherwise.

Section 2.13.4, paragraph 1:

A string literal is a sequence of characters (as defined in 2.13.2) surrounded by double quotes, optionally beginning with the letter L, as in "..." or L"...". A string literal that does not begin with L is an ordinary string literal, also referred to as a narrow string literal. An ordinary string literal has type “array of n const char” and static storage duration (3.7), where n is the size of the string as defined below, and is initialized with the given characters.

Section 3.7.1, paragraph 1:

All objects which neither have dynamic storage duration nor are local have static storage duration. The storage for these objects shall last for the duration of the program (3.6.2, 3.6.3).

What are we missing?