Qual è un termine per una funzione che quando viene chiamata ripetutamente, ha lo stesso effetto di chiamare una volta?

(Supponendo un ambiente a thread singolo)

Una funzione che soddisfa questo criterio è:

bool MyClass::is_initialized = false;

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

In sostanza, posso chiamare questa funzione più volte e non preoccuparmi dell'inizializzazione MyClasspiù volte

Una funzione che non soddisfa questo criterio potrebbe essere:

Foo* MyClass::ptr = NULL;

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

La chiamata initialize()più volte provoca una perdita di memoria

Motivazione

Sarebbe bello avere una sola parola concisa per descrivere questo comportamento in modo che le funzioni che dovrebbero soddisfare questo criterio possano essere debitamente commentate (particolarmente utili quando si descrivono funzioni di interfaccia che dovrebbero essere sovrascritte)

Questo tipo di funzione / operazione si chiama Idempotent

Idempotence (UK: / ˌɪdɛmˈpoʊtəns /, [1] US: / ˌaɪdəm - /) [2] è la proprietà di alcune operazioni in matematica e informatica in base alle quali possono essere applicate più volte senza modificare il risultato oltre l'applicazione iniziale.

In matematica, ciò significa che se f è idempotente, f ( f (x)) = f (x), che equivale a dire f ∘ f = f .

In informatica, ciò significa che se f(x);è idempotente, f(x);è lo stesso di f(x); f(x);.

Nota: questi significati sembrano diversi, ma sotto la semantica denotazionale dello stato , la parola "idempotente" ha in realtà lo stesso significato esatto sia in matematica che in informatica.

Il termine preciso per questo (come menziona Woofas ) è idempotenza. Volevo aggiungere che mentre potevi definire func1idempotente il tuo metodo, non potevi definirlo una pura funzione. Le proprietà di una funzione pura sono due: deve essere idempotente e non deve avere effetti collaterali, vale a dire nessuna mutazione di variabili statiche locali, variabili non locali, argomenti di riferimento mutabili o flussi I / O.

Il motivo per cui menziono questo è che una funzione idempotente con effetti collaterali non è neanche buona, dal momento che tecnicamente idempotente si riferisce all'output di ritorno della funzione e non agli effetti collaterali. Quindi tecnicamente il tuo func2metodo è idempotente, poiché l'output non cambia in base all'input.

Molto probabilmente vuoi specificare che vuoi una funzione pura. Un esempio di una funzione pura potrebbe essere il seguente:

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

Altre letture sono disponibili nell'articolo di Wikipedia "Funzione pura" .

Il termine è idempotenza . Si noti di seguito che esiste una netta differenza tra una funzione idempotente (chiamata in modo ricorsivo su se stessa; secondo blocco di codice e la definizione matematica) e l'idempotenza funzionale (chiamata ripetutamente con lo stesso input in sequenza; primo blocco di codice e spesso il termine inteso nella programmazione).

Una funzione f con effetti collaterali si dice idempotente nella composizione sequenziale f; f se, quando viene chiamato due volte con lo stesso elenco di argomenti, la seconda chiamata non ha effetti collaterali e restituisce lo stesso valore della prima chiamata [citazione necessaria] (supponendo che non siano state chiamate altre procedure tra la fine della prima chiamata e l'inizio della seconda chiamata).

Ad esempio, considera il seguente codice Python:

x = 0

def setx(n):
    global x
    x = n

setx(5)
setx(5)

Qui setx è idempotente perché la seconda chiamata a setx (con lo stesso argomento) non cambia lo stato del programma visibile: x era già impostato su 5 nella prima chiamata ed è nuovamente impostato su 5 nella seconda chiamata, mantenendo così stesso valore. Si noti che questo è distinto dall'idempotenza nella composizione della funzione f ∘ f. Ad esempio, il valore assoluto è idempotente nella composizione della funzione:

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

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

In fisica ho sentito questo indicato come una proiezione :

una sporgenza è una trasformazione lineare P da uno spazio vettoriale per sé tale che P ² = P . Cioè, ogni volta che P viene applicato due volte a qualsiasi valore, dà lo stesso risultato come se fosse applicato una volta (idempotente).

Graficamente, questo ha senso se guardi un cartone animato di una proiezione vettoriale :

Nell'immagine, a ₁ è la proiezione di a on a b , che è come la prima applicazione della tua funzione. Le successive proiezioni di a ₁ su b danno lo stesso risultato a ₁ . In altre parole, quando si chiama ripetutamente una proiezione, ha lo stesso effetto di chiamarla una volta.

Avviso equo: non l'ho mai sentito al di fuori della fisica, quindi a meno che tu non abbia questi tipi nella tua squadra, potresti confondere tutti.

È un algoritmo deterministico perché dato lo stesso input (in questo caso nessun input), produrrà sempre lo stesso output.

In informatica, un algoritmo deterministico è un algoritmo che, dato un input particolare, produrrà sempre lo stesso output, con la macchina sottostante che passa sempre attraverso la stessa sequenza di stati. Gli algoritmi deterministici sono di gran lunga il tipo di algoritmo più studiato e familiare, oltre che uno dei più pratici, poiché possono essere eseguiti su macchine reali in modo efficiente.

I database SQL sono interessati alle funzioni deterministiche .

Una funzione deterministica dà sempre la stessa risposta quando ha gli stessi input. La maggior parte delle funzioni SQL integrate in SQLite sono deterministiche. Ad esempio, la funzione abs (X) restituisce sempre la stessa risposta purché il suo input X sia lo stesso.

Una funzione deve essere deterministica se utilizzata nel calcolo di un indice.

Ad esempio, in SQLite, le seguenti funzioni non deterministiche non possono essere utilizzati in un indice: random(), changes(), last_insert_rowid()e sqlite3_version().

Oltre alle altre risposte, se esiste un input specifico per la funzione che ha questa proprietà, si tratta di un punto fisso , un punto invariante o un punto fisso della funzione. Ad esempio, 1 per qualsiasi potenza è uguale a 1, quindi (1ⁿ) ⁿ = 1ⁿ = 1.

Il caso speciale di un programma che si produce come output è un quinino .