Contrats de code: Invariants dans la classe abstraite

Question

J'ai rencontré un problème lors de l'utilisation d'invariants avec des contrats de code. Je veux définir un Invariant dans ma classe abstraite mais il est simplement ignoré. Le code ci-dessous montre mon interface et la classe abstraite. Par la suite, j'implémente cette interface dans ma classe Point et j'en crée un objet. Cela devrait au moins échouer pendant l'exécution. Lorsque je déplace l'invariant vers la classe de points, cela fonctionne correctement. Toutes les autres conditions préalables ou postales fonctionnent bien aussi.

Est-il impossible d'avoir des Invariants dans une classe abstraite ou est-ce que je le fais mal?

Answer 1

Les invariants ne sont pas pris en charge sur les interfaces. (Le titre de votre question est "Invariants in abstract class" mais le nœud du problème est l'interface.)

Je suppose que c'est parce que les invariants requièrent un état mais les interfaces n'ont pas d'état. Je suis sûr que l'équipe de contrats de code peut travailler autour de cela et je souhaite qu'ils le feraient parce que ce serait une grande fonctionnalité à avoir.

Pour contourner cette limitation, vous pouvez:

• Ajoutez la méthode invariante aux classes dérivées (class Point, etc.).
• Ou, ajoutez setters aux propriétés de la classe abstraite et implémentez la logique de contrat dans les setters. Pourquoi nommez-vous une classe abstraite avec une sémantique d'interface?