Qu'est-ce qu'un terme pour une fonction qui, lorsqu'elle est appelée à plusieurs reprises, a le même effet que d'appeler une fois?

(En supposant un environnement mono-threadé)

Une fonction qui remplit ce critère est:

bool MyClass::is_initialized = false;

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

En substance, je peux appeler cette fonction plusieurs fois et ne pas m'inquiéter de l'initialiser MyClassplusieurs fois.

Une fonction qui ne remplit pas ce critère pourrait être:

Foo* MyClass::ptr = NULL;

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

Appeler initialize()plusieurs fois provoquera une fuite de mémoire

Motivation

Il serait bien d’avoir un seul mot concis pour décrire ce comportement afin que les fonctions censées répondre à ce critère puissent être dûment commentées (particulièrement utile lors de la description de fonctions d’interface censées être remplacées)

Ce type de fonction / opération s'appelle Idempotent

Idempotence (UK: / ˌɪdɛmˈpoʊtəns /, [1] États-Unis: / ˌaɪdəm - /) [2] est la propriété de certaines opérations en mathématiques et en informatique selon lesquelles elles peuvent être appliquées plusieurs fois sans changer le résultat au-delà de l'application initiale.

En mathématiques, cela signifie que si f est idempotent, f ( f (x)) = f (x), ce qui revient à dire que f ∘ f = f .

En informatique, cela signifie que si f(x);est idempotent, f(x);est identique à f(x); f(x);.

Remarque: ces significations semblent différentes, mais sous la sémantique dénotationnelle d'état , le mot "idempotent" a en fait la même signification exacte en mathématiques et en informatique.

Le terme précis pour cela (comme le mentionne Woofas ) est idempotence. Je voulais ajouter que même si vous pouviez appeler votre func1méthode idempotente, vous ne pouviez pas l'appeler une fonction pure . Les propriétés d'une fonction pure sont deux: elle doit être idempotente et ne pas avoir d'effets secondaires, c'est-à-dire aucune mutation de variables statiques locales, de variables non locales, d'arguments de référence modifiables ou de flux d'E / S.

La raison pour laquelle je mentionne ceci est qu’une fonction idempotente avec des effets secondaires n’est pas bonne non plus, puisque techniquement idempotent fait référence au résultat de la fonction, et non aux effets secondaires. Donc techniquement, votre func2méthode est idempotente, car la sortie ne change pas en fonction de l’entrée.

Vous voudrez probablement spécifier que vous voulez une fonction pure. Voici un exemple de fonction pure:

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

Vous trouverez plus de lectures dans l'article de Wikipedia "Fonction pure" .

Le terme est Idempotence . Notez ci-dessous qu'il existe une différence distincte entre une fonction Idempotente (appelée récursivement sur elle-même; deuxième bloc de code et la définition mathématique) et idempotence fonctionnelle (appelée à plusieurs reprises avec la même entrée de manière séquentielle; premier bloc de code et souvent le terme utilisé dans la programmation).

Une fonction f avec des effets secondaires est dite idempotente dans la composition séquentielle f; f si, lorsqu'il est appelé deux fois avec la même liste d'arguments, le deuxième appel n'a aucun effet secondaire et renvoie la même valeur que le premier appel [citation nécessaire] (en supposant qu'aucune autre procédure n'a été appelée entre la fin du premier appel et le début du deuxième appel).

Par exemple, considérons le code Python suivant:

x = 0

def setx(n):
    global x
    x = n

setx(5)
setx(5)

Setx est idempotent car le second appel à setx (avec le même argument) ne modifie pas l'état visible du programme: x était déjà défini sur 5 dans le premier appel et est à nouveau défini sur 5 dans le second appel, conservant ainsi le même valeur. Notez que ceci est distinct de idempotence dans la composition de fonction f ∘ f. Par exemple, la valeur absolue est idempotente dans la composition de fonction:

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

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

En physique, j'ai entendu parler de projection :

une saillie est une transformation linéaire P à partir d' un espace vectoriel à lui-même de telle sorte que P ² = P . Autrement dit, chaque fois que P est appliqué deux fois à une valeur, il donne le même résultat que s'il était appliqué une fois (idempotent).

Graphiquement, cela a du sens si vous regardez un dessin animé d’une projection vectorielle :

Dans l'image, un ₁ est la projection de a sur b , ce qui ressemble à la première application de votre fonction. Projections ultérieures de un ₁ sur de b donnent le même résultat a ₁ . En d'autres termes, lorsque vous appelez une projection à plusieurs reprises, cela a le même effet que si vous l'appeliez une fois.

Avertissement juste: je n'ai jamais entendu dire que ce soit utilisé en dehors de la physique, donc à moins que vous n'ayez de tels types dans votre équipe, vous risquez de dérouter tout le monde.

C'est un algorithme déterministe car, avec la même entrée (dans ce cas aucune entrée), il produira toujours la même sortie.

En informatique, un algorithme déterministe est un algorithme qui, avec une entrée particulière, produira toujours la même sortie, la machine sous-jacente passant toujours par la même séquence d'états. Les algorithmes déterministes sont de loin le type d'algorithme le plus étudié et le plus familier, ainsi que l'un des plus pratiques, car ils peuvent être exécutés efficacement sur de vraies machines.

Les bases de données SQL sont intéressées par les fonctions déterministes .

Une fonction déterministe donne toujours la même réponse quand elle a les mêmes entrées. La plupart des fonctions SQL intégrées à SQLite sont déterministes. Par exemple, la fonction abs (X) renvoie toujours la même réponse tant que son entrée X est la même.

Une fonction doit être déterministe si elle est utilisée dans le calcul d’un index.

Par exemple, dans SQLite, les fonctions non déterministes suivantes ne peuvent pas être utilisées dans un index: random(), changes(), last_insert_rowid()et sqlite3_version().

En plus des autres réponses, s'il existe une entrée spécifique dans le functon qui possède cette propriété, il s'agit d'un point fixe , d' un point invariant ou d'un point fixe de la fonction. Par exemple, 1 pour tout pouvoir est égal à 1, donc (1ⁿ) = 1ⁿ = 1.

Le cas particulier d'un programme qui se produit en sortie est un quine .