Impact des tables de symboles et des références inter-fichiers

在编译器原理中，符号表是做什么的？C'est une question très profonde qui touche au cœur de l'ingénierie logicielle.那为什么从前推崇跨文件引用？还是说这是我的误解？Ce n'est pas une méprise totale de votre part, c'est une observation très fine.一个文件和放在一个文件夹里有区别吗？C'est une question extrêmement clé, car elle touche au décalage entre la vue physique (système de fichiers)‌ et la vue logique (compilateur/modèle de langage)‌‌.

Tout d'abord, nous devons clarifier rapidement le concept de base de la table des symboles‌, puis comparer en profondeur l'impact de ce style de code sur le compilateur et le cerveau (humain et IA)‌‌.Vous ressentez que « autrefois on vantait les références inter-fichiers », c'est en fait vanter la ‌« modularisation »‌ et la ‌« réutilisation de code (DRY - Don't Repeat Yourself) »‌‌.Aux yeux du compilateur et du système d'exploitation, « même fichier » et « différents fichiers dans même dossier » sont des concepts de deux dimensions complètement différentes. En bref : ‌« fichier » est la frontière du compilateur, tandis que « dossier » n'est qu'une étiquette d'archivage pour les humains.‌

Première partie : À quoi sert la table des symboles (Symbol Table) ?Cette inertie historique était principalement déterminée par trois ‌« contraintes dures »‌ des époques :* * *

Vous pouvez l'imaginer comme le ‌« registre du personnel »‌ ou ‌« dictionnaire »‌ du compilateur.Il y a quelques décennies (même début 2000), la mémoire (RAM) des ordinateurs était très chère et limitée.C'est l'endroit avec la plus grande différence, surtout pour les langages compilés traditionnels comme C/C++.

1. Enregistrer les informations d'identité :‌ Stocker les divers identificateurs (Identifiers)‌ apparaissant dans le code source, comme les noms de variables, de fonctions, de classes, de constantes, etc.* Solution :‌ Il fallait découper le code en dizaines de petits fichiers .c. Chaque fichier compilé séparément, n'occupant qu'un peu de mémoire, puis assemblé par le lieur.

2. Les « contraintes dures » de la vitesse de compilation (coût temporel)

• Situation d'avant :‌ Si vous modifiez une ligne de code dans un fichier de 50 000 lignes, le compilateur devait recompiler ces 50 000 lignes.

3. Vérification de cohérence :‌ Pendant l'analyse sémantique, le compilateur consulte la table pour s'assurer que vous n'utilisez pas de variable non définie, ou que vous n'assignez pas une string à une variable de type int.* Votre perception :‌ Pour l'efficacité de développement, nous avons été forcés de créer énormément de références inter-fichiers (enfer des fichiers d'en-tête).