Replacement functions

Bestimmte Funktionen, für die eine Definition durch die Implementierung bereitgestellt wird, sind ersetzbar  . Ein C++-Programm kann eine Definition mit der Signatur einer ersetzbaren Funktion bereitstellen, die als Ersatzfunktion  bezeichnet wird. Die Ersatzfunktion, falls bereitgestellt, wird anstelle der standardmäßig durch die Implementierung gelieferten Version verwendet. Ein solcher Austausch erfolgt vor Programmstart.

Wenn eine Deklaration der Ersetzungsfunktion keine der folgenden Bedingungen erfüllt, ist das Programm fehlerhaft, keine Diagnose ist erforderlich:

• Es ist nicht inline .
• Es ist attached zum globalen Modul.
• Es besitzt C++ language linkage .
• Es hat denselben Rückgabetyp wie die ersetzbare Funktion.
• Wenn die ersetzbare Funktion in einem standard library header deklariert ist, wäre sie gültig als Neudeklaration der Deklaration in diesem Header.

Standardbibliothek

Die folgenden Standardbibliotheksfunktionen sind ersetzbar, und die Beschreibung der Funktionssemantik gilt sowohl für die Standardversion, die durch die C++-Standardbibliothek definiert ist, als auch für die Ersatzfunktion, die durch das Programm definiert wird:

Beispiel

#include <cstddef>
#include <new>
#include <print>
// replacement function
void* operator new(std::size_t count)
{
    std::print("Replaced!");
    return nullptr;
}
int main()
{
    int* ptr = new int; // invokes the replacement version defined by the program
}

Replaced!