Replacement functions

某些由实现提供定义的函数是 可替换的 。C++ 程序可以提供具有可替换函数签名的定义，称为 替换函数 。如果提供了替换函数，则将使用该函数而非实现提供的默认版本。此类替换发生在程序启动之前。

如果替换函数的声明不满足以下任一条件，则程序非良构，不要求诊断：

• 它不是 inline 的。
• 它 附着 于全局模块。
• 具有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!