Effet de bord (informatique)

Un article de Wikipédia, l'encyclopédie libre.

Pour les articles homonymes, voir Effet de bord.

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 s'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.

[modifier] 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.

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

#include <iostream>
 
using namespace std;
 
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.