idempotent
Une définition du Jargon Français.
adjectif→. [mathématique]. Au sens mathématique, se dit d'une fonction qui a exactement le même résultat, qu'on l'appelle une fois ou plusieurs.
C'est le cas, en informatique, de tout ce qui ne crée par d'effet de bord.
Un header en C correct, par exemple, peut être sans problème inclus dans plusieurs autres (voir transclusion) mais ce cas est à la limite car il lui faut pour cela détecter qu'il a déjà été inclus, d'ordinaire en déclarant un symbole global servant de marqueur, ce qui n'est pas neutre vis-à-vis du reste.
Exemple : "stdio.h" commence ainsi :
#ifndef _STDIO_H /* si le symbole _STDIO_H n'est pas déjà défini # define _STDIO_H /* ... le définir ... */ ((tout le reste)) #endif /* !_STDIO_H */ /* rien ne sera donc inclus si _STDIO_H a déjà été défini */
Voir aussi fonctionnel.
