Non effectivement, les pre/post conditions sont ne sont pas hérités (les invariants devraient l'être par contre).
Le problème c'est que pour que les pre/post conditions soient hérités, il faudrait les avoir dans des méthodes séparés, et là, je pense qu'on atteinds les limites de ce qu'on peut faire avec le preprocesseur C -- on pourrait faire un truc, mais la "syntaxe" serait assez atroce, vu qu'on a pas de variables pour jongler avec les noms, etc.
Je pense que pour faire des choses plus complexes, il faut passer par un préprocesseur externe fait en ruby ou perl. Ce qui permettrait d'avoir une syntaxe plus agréable, et d'avoir éventuellement d'autres fonctions (style documentation automatique). Mais bon, preprocesseur externe.
[^] # Re: Design by Contract
Posté par Nicolas Roard . En réponse au journal Design by Contract. Évalué à 1.
Le problème c'est que pour que les pre/post conditions soient hérités, il faudrait les avoir dans des méthodes séparés, et là, je pense qu'on atteinds les limites de ce qu'on peut faire avec le preprocesseur C -- on pourrait faire un truc, mais la "syntaxe" serait assez atroce, vu qu'on a pas de variables pour jongler avec les noms, etc.
Je pense que pour faire des choses plus complexes, il faut passer par un préprocesseur externe fait en ruby ou perl. Ce qui permettrait d'avoir une syntaxe plus agréable, et d'avoir éventuellement d'autres fonctions (style documentation automatique). Mais bon, preprocesseur externe.