Effet de bord (informatique) - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

En informatique, une fonction est dite à effet de bord si elle modifie un état autre que sa valeur de retour. Par exemple, une fonction peut modifier une variable statique ou globale, modifier un ou plusieurs de ses arguments, écrire des données vers un écran ou un fichier ou lire des données provenant d'autres fonctions à effet de bord. Les effets de bord rendent souvent le comportement des programmes plus difficiles à comprendre.

Effet de bord est un barbarisme né d'une traduction fautive de l'anglais side-effect. (Le mot side signifiant " côté " et non pas " bord ", une traduction littérale et correcte aurait donné " effet latéral " ; cependant, en français, on utilise plus fréquemment l'expression synonyme " effet secondaire ".)

La programmation impérative emploie des effets de bord dans le fonctionnement de ses programmes. La programmation fonctionnelle cherche a minimiser les effets de bord et les isole souvent dans des structures prévue notamment pour cela : les monades.

Dans la conception des processeurs, les instructions à effet de bord sont celles qui modifient l'état interne du processeur sans le déclarer explicitement. Par exemple une instruction d'addition peut ou non modifier des variables de conditions (retenue, zéro, débordement...). Cela peut poser un problème lors de la conception d'un processeur si il comporte un pipeline d'instructions et des instructions à effet de bord. Il faut prendre soin d'éviter ces aléas. Il est possible d´éviter cela en limitant le jeu d'instruction à des instructions sans effet de bord. Dans le pire des cas, de la circuiterie additionnelle détecte les effets de bord et invalide le pipeline si l'instruction suivante dans celui-ci dépend des valeurs affectées.

Transparence référentielle

Ne pas avoir d'effet de bord est nécessaire mais non suffisant pour la transparence référentielle. Celle-ci signifie qu'une expression (telle qu'un appel de fonction) peut être remplacée par sa valeur sans affecter le comportement du programme. Cela requiert que l'expression n'a pas d'effet de bord et qu'elle est une fonction pure, c’est-à-dire qu'elle retourne toujours la même valeur sur les mêmes entrées.

Exemple d'un programme utilisant un effet de bord en C++

#include 
int a;
void f()
{
a = 2;
}
int main ()
{
a = 1;
cout << a << endl;
f();
cout << a << endl;
}

Ce programme affiche :

1
2

L'effet de bord de la fonction f est de modifier la valeur de la variable globale a.

Page générée en 0.024 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise