| 摘要 |
Un compilateur gère une bibliothèque de structures de programme partageables générées en réponse à des instanciations d'une structure de programme générique, en combinaison avec les caractéristiques des paramètres utilisés lors de la génération de la structure de programme partageable. En réponse à une instanciation d'une structure de programme générique, le compilateur produit des informations relatives aux caractéristiques et à l'utilisation de chaque paramètre utilisé en combinaison avec l'instanciation. Le compilateur compare ensuite ces informations aux informations correspondantes associées avec les structures de programme partageables dans la bibliothèque. Si cette dernière contient une structure de programme partageable dont les informations sur les paramètres correspondent, cette structure de programme partageable est utilisée en combinaison avec les autres opérations relatives à l'instanciation. Si, d'autre part, la bibliothèque ne contient pas une telle structure de programme partageable, cette structure est générée et enregistrée dans la bibliothèque, avec les caractéristiques des paramètres utilisés lors de sa génération, de manière à pouvoir l'utiliser en la partageant avec d'autres instanciations. En outre, la structure de programme partageable qui vient d'être générée est utilisée dans d'autres opérations relatives à l'instanciation. |
