Jakie są różnice pre condition, Post condition i niezmienne w terminologii komputerowej [zamknięty]

Question

Jakie są różnice pre condition, Post condition i niezmienne w terminologii komputerowej [zamknięty]

Trudno powiedzieć, o co tu chodzi. To pytanie jest niejednoznaczne, niejasne, niekompletne, zbyt szerokie lub retoryczne i nie można racjonalnie odpowiedzieć w obecnej formie. Aby uzyskać pomoc w wyjaśnieniu tego pytania, aby można było je ponownie otworzyć, odwiedź Centrum pomocy . Zamknięte 8 lat temu .

Czytam książkę współbieżność Javy w praktyce i trochę się mylę z tymi pojęciami:

Pre condition
Post condition
niezmienniki

Czy ktoś może mi je wyjaśnić (na przykładzie, jeśli to możliwe)?

32

java concurrency uml invariants

Author: MarianD, 2012-07-04

Source

1 answers

score 58 · Accepted Answer

Będziesz miał wiele problemów z pisaniem Javy, zwłaszcza wielowątkowego kodu, jeśli nie zrozumiesz tych prostych pomysłów:

Post-conditions to rzeczy, które muszą być prawdziwe po zakończeniu metody. Metoda mówi klientom "to jest to, co obiecuję zrobić dla Ciebie".
Niezmiennikami są rzeczy, które zawsze są prawdziwe i nie zmieni się. Metoda mówi klientom "jeśli to była prawda, zanim zadzwoniłeś do mnie, obiecuję, że będzie to nadal prawda, gdy skończę".

Wszystkie one są częścią idei zwanej "programowanie przez kontrakt". Został wynaleziony przez gościa o imieniu C. A. R. Hoare . Bertrand Meyer zbudował wokół niego zorientowany obiektowo język o nazwie Eiffel . Nikt nie używa go zbyt często, ale miał dzień na słońcu z tego powodu.

Eiffel nie jest zbyt popularny. Jest ponad cztery miliony pytań na temat SO jak to piszę, ale tylko 32 z nich są oznaczone "eiffel".

Aktualizacja: było 11,966,392 pytanie na tak na 29-Jun-2016. Tylko 92 z nich zostało oznaczonych jako "eiffel". Odsetek pytań Eiffla pozostaje na stałym poziomie ~0,00077%.

Przyznaję się do błędu-dziękuję, flamingpenguin. Zaktualizowałem odpowiedź.