Variable statique

programmation informatique , une variable statique est une variable allouée de manière statique, c'est-à-dire que sa durée de vie correspond à l'exécution complète du programme. Elle se distingue des variables automatiques , dont la durée de vie est plus courte et dont l'espace mémoire est alloué et libéré sur la pile d'appels ; et des objets alloués dynamiquement , dont l'espace mémoire est alloué et libéré dans le tas .

La durée de vie d'une variable s'oppose à sa portée (l'endroit où elle peut être utilisée) : les termes « global » et « local » font référence à la portée, et non à la durée de vie, mais la portée implique souvent la durée de vie. Dans de nombreux langages, les variables globales sont toujours statiques, mais dans certains, elles sont dynamiques , tandis que les variables locales sont généralement automatiques, mais peuvent être statiques.

En général,L'allocation de mémoire statique est l'allocation de mémoire aumoment de la compilation, avant que le programme associé ne soit exécuté, contrairement àl'allocation de mémoire dynamiqueouà l'allocation de mémoire automatiqueoù la mémoire est allouée en fonction des besoins aumoment de l'.

ALGOL 60 (1960), où elles sont connues sous le nom de variables propres :

Une déclaration peut être marquée avec le déclarateur supplémentaire `own`. Cela a l'effet suivant : lors d'une nouvelle entrée dans le bloc, les valeurs des variables déclarées avec `own` resteront inchangées par rapport à leurs valeurs lors de la dernière sortie, tandis que les valeurs des variables déclarées sans ` own` seront indéfinies.

— Rapport révisé sur ALGOL 60, section « 5. Déclarations », p. 14

Cette définition diffère subtilement de celle d'une variable statique : elle spécifie uniquement le comportement, et donc la durée de vie, et non le stockage : une variable propre peut être allouée lors du premier appel d'une fonction, par exemple, plutôt qu'au moment du chargement du programme.

L'utilisation du terme « static » pour désigner ces variables remonte au moins à BCPL (1966) et a été popularisée par le langage de programmation C , fortement influencé par BCPL. La définition de BCPL est la suivante :

staticmot-clé est utilisé en C et dans les langages apparentés, aussi bien pour les variables statiques que pour d'autres concepts.

Adressage

mode d'adressage absolu ne peut être utilisé qu'avec les variables statiques, car ce sont les seules variables dont l'emplacement est connu du compilateur lors de la compilation. Lorsque le programme ( exécutable ou bibliothèque ) est chargé en mémoire, les variables statiques sont stockées dans le segment de données de l' espace d'adressage du programme (s'il est initialisé), ou dans le segment BSS (s'il n'est pas initialisé), et sont stockées dans les sections correspondantes des fichiers objets avant leur chargement.

Portée

portée et d'étendue , les variables statiques ont une portée globale, c'est-à-dire qu'elles sont accessibles pendant toute la durée d'exécution du programme, mais leur portée peut être plus limitée . On distingue principalement les variables statiques globales , qui ont une portée globale et sont donc accessibles dans tout le programme, des variables statiques locales , qui ont une portée locale. Une variable statique locale se distingue d'une variable locale par le fait qu'elle n'est initialisée qu'une seule fois, quel que soit le nombre d'appels à la fonction dans laquelle elle est définie. Sa valeur est conservée et accessible lors de nombreux appels à cette fonction, par exemple pour être utilisée comme variable de comptage. Une variable statique peut également avoir une portée de module ou une variante, comme la liaison interne en C , qui est une forme de portée de fichier ou de module.

Exemple

Exemple de variable locale statique en C :

" , x ); // affiche la valeur de x }int main () { func (); // affiche 1 func (); // affiche 2 func (); // affiche 3 func (); // affiche 4 func (); // affiche 5retourner 0 ; }

Programmation orientée objet

programmation orientée objet , il existe également le concept de variable membre statique , qui est une « variable de classe » d'une classe définie statiquement, c'est-à-dire une variable membre d'une classe donnée partagée par toutes les instances (objets) et accessible en tant que variable membre de ces objets. Une variable de classe d'une classe définie dynamiquement, dans les langages où les classes peuvent être définies à l'exécution, est allouée lors de la définition de la classe et n'est pas statique.

Les constantes d'objet connues à la compilation, telles que les chaînes de caractères , sont généralement allouées statiquement. En programmation orientée objet, les tables de méthodes virtuelles des classes sont également généralement allouées statiquement. Une valeur définie statiquement peut aussi être globale, garantissant ainsi l'utilisation de la même valeur immuable tout au long de l'exécution, pour plus de cohérence.