繰り返し呼び出されたときに、一度呼び出すのと同じ効果を持つ関数の用語は何ですか？

（シングルスレッド環境を想定）

この基準を満たす関数は次のとおりです。

bool MyClass::is_initialized = false;

void MyClass::lazy_initialize()
{
    if (!is_initialized)
    {
        initialize(); //Should not be called multiple times
        is_initialized = true;
    }
}

本質的に、この関数を複数回呼び出すことができ、MyClass複数回初期化することを心配する必要はありません

この基準を満たさない関数は次のとおりです。

Foo* MyClass::ptr = NULL;

void initialize()
{
    ptr = new Foo();
}

initialize()複数回呼び出すと、メモリリークが発生します。

動機

この基準を満たすことが期待される関数に適切にコメントできるように、この動作を説明する簡潔な単語を1つ用意しておくとよいでしょう（特に、オーバーライドされると予想されるインターフェース関数を記述する場合に便利です）

このタイプの関数/操作は、べき等と呼ばれます

dem等性（英国：/ ˌɪdɛmˈpoʊtəns /、[1]米国：/ˌaɪdəm-/）[2]は、数学およびコンピューターサイエンスの特定の操作の特性であり、最初の適用を超えて結果を変更せずに複数回適用できます。

数学では、これは場合を意味fは冪等であるF（F（X））= fは（x）は、と言っと同じであるF ∘ F = Fを。

コンピューターサイエンスでは、これがべきf(x);等である場合f(x);、と同じであることを意味しf(x); f(x);ます。

注：これらの意味は異なるように見えますが、状態の表示的意味論では、「べき等」という言葉は実際には数学とコンピューターサイエンスの両方でまったく同じ意味を持っています。

これの正確な用語は（ウーファスが言及しているように）べき等です。私はあなたを呼び出すことができながら、ことを追加したいfunc1メソッドの冪等を、あなたはそれを呼び出すことができませんでした純粋な機能。純粋関数のプロパティは2つあります。それはi等である必要があり、副作用、つまりローカル静的変数、非ローカル変数、可変参照引数またはI / Oストリームの変更がないことです。

私がこれに言及する理由は、技術的にi等性は副作用ではなく関数の戻り出力を参照するため、副作用を持つwith等関数も良くないからです。したがって、技術的にfunc2は、出力は入力に応じて変化しないため、メソッドはべき等です。

ほとんどの場合、純粋な関数が必要であることを指定する必要があります。純関数の例は次のとおりです。

int func1(int var)
{
    return var + 1;
}

詳細については、ウィキペディアの記事「純粋な機能」を参照してください。

用語はI等です。以下で、べき等関数（それ自体で再帰的に呼び出される; 2番目のコードブロックと数学的定義）と機能的i等性（同じ入力で繰り返し呼び出される;最初のコードブロックとプログラミングでしばしば使用される用語）には明確な違いがあることに注意してください。

副作用のある関数fは、逐次合成fのもとでi等であると言われます。f、同じ引数のリストで2回呼び出されたときに2番目の呼び出しに副作用がなく、最初の呼び出しと同じ値を返す場合[引用が必要]（最初の呼び出しの終わりから開始までの間に他の手続きが呼び出されなかったと仮定する2番目の呼び出しの）。

たとえば、次のPythonコードを検討してください。

x = 0

def setx(n):
    global x
    x = n

setx(5)
setx(5)

ここで、setxの2番目の呼び出し（同じ引数）は可視のプログラム状態を変更しないため、setxはべき等です。xは最初の呼び出しですでに5に設定され、2番目の呼び出しで再び5に設定されます。同じ値。これは、関数合成f∘fにおけるi等性とは異なることに注意してください。たとえば、絶対値は関数合成の下ではべき等です。

def abs(n):
    if n < 0:
        return -n
    else:
        return n

abs(-5) == abs(abs(-5)) == abs(5) == 5

物理学では、これが投影と呼ばれることを聞いたことがあります。

突起は線形変換であり、P自体のベクトル空間からようにP ² = P。つまり、Pが任意の値に2回適用されるたびに、1回適用された場合と同じ結果が得られます（べき等）。

グラフィカルに、これはベクトル投影の漫画を見ると理にかなっています：

画像において、₁の投影であるまでに、Bあなたの関数の最初のアプリケーションのようです。a ₁からbへの後続の投影では、同じ結果a _{1が得られ}ます。つまり、プロジェクションを繰り返し呼び出すと、1回呼び出すのと同じ効果があります。

公正な警告：これが物理学以外で使用されることは聞いたことがないので、チームにこれらのタイプがない場合は、全員を混乱させる可能性があります。

同じ入力（この場合は入力なし）が与えられると、決定論的アルゴリズムであり、常に同じ出力を生成します。

コンピュータサイエンスでは、決定論的アルゴリズムは、特定の入力が与えられると、常に同じ出力を生成し、基になるマシンは常に同じ状態シーケンスを通過するアルゴリズムです。確定的アルゴリズムは、実際のマシンで効率的に実行できるため、これまでで最も研究されていて使い慣れたアルゴリズムであり、最も実用的なアルゴリズムの1つです。

SQLデータベースは、確定的関数に関心があります。

決定論的な関数は、入力が同じ場合、常に同じ答えを返します。SQLiteのほとんどの組み込みSQL関数は決定的です。たとえば、abs（X）関数は、入力Xが同じである限り、常に同じ答えを返します。

関数は、インデックスの計算に使用される場合、確定的でなければなりません。

例えば、SQLiteの中で、以下の非決定的関数は、インデックスで使用することはできません：random()、changes()、last_insert_rowid()とsqlite3_version()。

この性質を有するfunctonに特定の入力がある場合、他の回答に加えて、それは固定点、不変点又は不動点機能。たとえば、1の任意の累乗は1に等しいため、（1ⁿ）ⁿ=1ⁿ= 1です。

出力として自分自身を生成するプログラムの特殊なケースは、クインです。