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 pas 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 nécessairement sans effet sur le 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.
