Activation des enregistrements et des tableaux dans Fortran (ou les langues qui ont tous les environnements statiques)

Question

Lors de la création d'un tableau, comment un langage comme fortran effectue-t-il des enregistrements d'activation lorsqu'il se trouve dans un environnement entièrement statique (car il ne connaît pas la taille de le tableau pendant la compilation)? Je sais qu'il utilise le passage par référence, cela signifie-t-il que dans l'enregistrement d'activation, il stocke une référence au lieu d'un tableau, ce qui lui permet de stocker une référence à un tableau qui n'a pas encore été créé?

Answer 1

Vous pourriez être dérouté car il est généralement dit que, dans de nombreuses implémentations de FORTRAN, il existe un seul enregistrement d'activation pour chaque sous-programme qui peut être alloué statiquement en tant qu'extension du segment de code. (voir par exemple: 4ème édition de "Programming Languages, Design and implementation" par TW Pratt & MV Zelkowitz.)

Il faut garder à l'esprit que même dans ce cas, l'enregistrement d'activation est toujours rempli pendant l'exécution, seulement l'espace est alloué statiquement. C'est simple à comprendre car il peut y avoir beaucoup d'appels au même sous-programme. Et tous ces appels partagent le même enregistrement d'activation, un seul appel étant en vie à chaque fois. Plus important encore, les données du tableau ne sont pas incluses dans l'enregistrement d'activation. Passer argument par référence signifie qu'il n'y a pas de duplication de données. Seule une référence (pointeur, ou tout ce que l'implémentation choisit) est incluse dans l'enregistrement d'activation. Dans le sous-programme, l'accès aux éléments du tableau peut alors être calculé par le mécanisme d'adresse de base + offset.