Replacement functions

Некоторые функции, для которых реализация предоставляет определение, являются заменяемыми  . Программа на C++ может предоставить определение с сигнатурой заменяемой функции, называемое заменяющей функцией  . Заменяющая функция, если она предоставлена, используется вместо версии по умолчанию, предоставляемой реализацией. Такая замена происходит до запуска программы.

Если объявление функции замены не удовлетворяет ни одному из следующих условий, программа является некорректной, диагностика не требуется:

• Он не является inline .
• Он attached к глобальному модулю.
• Имеет C++ language linkage .
• Имеет тот же возвращаемый тип, что и заменяемая функция.
• Если заменяемая функция объявлена в стандартном заголовочном файле библиотеки , это будет допустимо как переобъявление объявления в этом заголовочном файле.

Стандартная библиотека

Следующие функции стандартной библиотеки являются заменяемыми, и описание семантики функций применяется как к версии по умолчанию, определённой стандартной библиотекой C++, так и к заменяющей функции, определённой программой:

Пример

#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!