17 Language support library [support] (original) (raw)

17.6 Dynamic memory management [support.dynamic]

17.6.4 Storage allocation errors [alloc.errors]

17.6.4.3 Type new_handler [new.handler]

using new_handler = void (*)();

The type of ahandler functionto be called byoperator new()oroperator new[]() ([new.delete]) when they cannot satisfy a request for additional storage.

Required behavior: A new_handler shall perform one of the following:

• make more storage available for allocation and then return;
• throw an exception of typebad_allocor a class derived frombad_alloc;
• terminate execution of the program without returning to the caller.