Classe invariable

le

cet article est au sujet des invariants de classe dans la programmation par ordinateur , pour l'usage de la limite dans les mathématiques , voit la classe d'équivalence et le invariable.

Dans la programmation par ordinateur , une classe invariable de est un invariable employé pour contraindre les objets d'une classe . Les méthodes de la classe devraient préserver l'invariable. La classe invariable contraint l'état stocké dans l'objet.

Des invariants de classe sont établis pendant la construction et constamment maintenus entre les appels aux méthodes publiques. La rupture provisoire de l'invariance de classe entre les appels privés de méthode est possible, bien que non encouragé.

Exemple

C'est un exemple d'une classe invariable dans le langage de programmation du D . La prise invariable de nécessité à être vraie après que le constructeur soit de finition, avant le destructeur obtient appelé, et à l'entrée et à la sortie de tout le membre public fonctions.

date de classe { jour d'international ; heure d'international ; invariable { affirmer (1 <= 31 de jour de && de jour de <=) ; affirmer (0 heures de && d'heure de <= < 24) ; } ceci (international d, international h) {jour = d ; heure = h ; } }

ompu-sci-moignon .

Random links:Ville centrale, Minnesota | Shortwing (grives asiatiques) | Jean Harlow | Ville F.C. de Brechin. | Pierre d'Eggjum | Clase_invariante