Функции-замены

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

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

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

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

Следующие функции стандартной библиотеки являются заменяемыми; описание семантики функций применимо как к версии по умолчанию, определённой стандартной библиотекой 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!