Replacement functions

実装によって定義が提供される特定の関数は replaceable（置換可能） です。C++プログラムは、置換可能関数の signature（シグネチャ） を持つ定義を提供することができ、これを replacement function（置換関数） と呼びます。提供された置換関数は、実装によって提供されるデフォルトバージョンの代わりに使用されます。このような置換はプログラムの開始前に行われます。

置換関数の宣言が以下のいずれかの条件を満たさない場合、プログラムは不適格であり、診断は不要です：

• これは 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!