la notion de contrats(pré/post condition sur les méthodes et invariants de classe) qui permet de spécifier le protocole d'utilisation d'une classe plus formellement que sa signature seule et ainsi augmente la confiance que l'on peut avoir sur du code fournit par une tierce personne (principe de réutilisation).
En théorie oui. En pratique, c'est le genre de truc que les programmeurs detestent parce que c'est extrèmement chiant à maintenir. Trop lourd, trop contraignant. Chaque fois que tu changes le code d'une méthode, il faut changer le contrat aussi.
A part pour du code "mission critical", tu ne vas jamais réussir à imposer ça à une équipe de développeurs.
[^] # Re: OCM 2002
Posté par Guillaume Laurent . En réponse à la dépêche Interview de Bjarne Stroustrup. Évalué à 6.
En théorie oui. En pratique, c'est le genre de truc que les programmeurs detestent parce que c'est extrèmement chiant à maintenir. Trop lourd, trop contraignant. Chaque fois que tu changes le code d'une méthode, il faut changer le contrat aussi.
A part pour du code "mission critical", tu ne vas jamais réussir à imposer ça à une équipe de développeurs.