Invariant

Syntaxe...
Description...
Exemple...
Voir aussi...
Traduction...

Attribut de Procedure, Fonction, d'un opérateur ou d'un constructeur. L'appel est optimisable par calcul des invariants.

Invariant

Revenir en haut de la page...

L'attribut Invariant signifie que la procédure, la fonction, l'opérateur ou le constructeur n'effectue pas d'effet de bord sur des variables globales et calcule uniquement la valeur de retour ou les éventuelles valeurs de sorties d'après les paramètres passés.

Lorsqu'un appel est déclaré optimisable pour les invariants, deux appels successifs avec les mêmes paramètres doivent renvoyer les mêmes résultat sans effet de bord.

Revenir en haut de la page...

Type A

/* La fonction 'F1' est optimisable pour les invariants. */
/* La fonction 'F2' est optimisable pour les invariants. Le fait de passer Nul à l'un des paramètres renvoie Nul. */
/* La fonction 'F3' n'est pas optimisable. */
Fin Type

Revenir en haut de la page... NulAbsorbant pour définir une autre directive d'optimisation. Optimiser pour définir l'optimisation.

Revenir en haut de la page...

NichtVeranderndNonVarying非变化NoVariando----

Revenir en haut de la page...