Was sind die Unterschiede Vorbedingung, Nachbedingung und unveränderlich in der Computerterminologie

Question

ich das Buch Java Concurrency in Practice lese und ein wenig verwirrt mit diesen Bedingungen erhalten:

1. Pre Bedingung
2. Beitrag Zustand
3. Invarianten

Kann mir bitte jemand erklären (mit einem Beispiel, wenn es möglich ist)?

Answer 1

Sie werden eine Menge Probleme haben Java zu schreiben, vor allem Multi-Threaded-Code, wenn Sie nicht diese einfachen Ideen verstehen:

1. Pre-Bedingungen sind die Dinge, die vor einem Verfahren erfüllt sein müssen wird genannt. Die Methode sagt Kunden "das ist, was ich von Ihnen erwarte".
2. Post-Bedingungen sind die Dinge, die nach Abschluss der Methode wahr sein müssen. Die Methode sagt Kunden "das ist, was ich verspreche, für Sie zu tun".
3. Invarianten sind die Dinge, die immer wahr sind und sich nicht ändern werden. Die Methode sagt den Klienten, "wenn das wahr war, bevor du mich angerufen hast, verspreche ich, dass es immer noch wahr sein wird, wenn ich fertig bin".

Sie sind alle Teil einer Idee namens "Programmierung per Vertrag". Es wurde von einem Typen namens C.A.R. Hoare erfunden. Bertrand Meyer hat darum eine objektorientierte Sprache namens Eiffel aufgebaut. Niemand benutzt es sehr, aber er hatte deswegen einen Tag in der Sonne.

Eiffel ist nicht sehr beliebt. Es gibt über vier Millionen Fragen zu SO, während ich dies schreibe, aber nur 32 von ihnen sind mit "Eiffel" markiert.

Update: Es gab 11.966.392 Frage zu SO am 29-Jun-2016. Nur 92 von ihnen wurden mit "Eiffel" getaggt. Der Prozentsatz der Eiffel-Fragen bleibt ungefähr konstant bei ~ 0,00077%.

Ich stehe korrigiert - danke, flamingpenguin. Ich habe meine Antwort aktualisiert.