Czytam książkę Java Concurrency in Practice i coraz trochę mylić z tych warunków:Jakie są różnice stanu sprzed, stan post i niezmienne w terminologii komputerowej
Czy ktoś może mi wyjaśnić (na przykład, jeśli to możliwe)?
Będziesz miał wiele problemów, zwłaszcza piszących kod Java wielowątkowych, jeśli nie można zrozumieć tych prostych pomysłów:
Wszystkie są częścią pomysłu o nazwie "programowanie według umowy". Został wymyślony przez faceta o nazwie C.A.R. Hoare. Bertrand Meyer zbudował wokół niego obiektowy język o nazwie Eiffel. Nikt go nie używa, ale z powodu tego miał dzień na słońcu.
Eiffel nie jest zbyt popularny. Podczas pisania tego tekstu jest ponad 4 miliony pytań na temat SO, ale tylko 32 z nich jest oznaczone jako "eiffel".
Aktualizacja: W dniu 29 czerwca 2016 r. Zgłoszono 11 996 392 pytania dotyczące zgłoszenia SO. Tylko 92 z nich zostało oznaczonych jako "eiffel". Odsetek pytań z e-mailem pozostaje w przybliżeniu stały i wynosi ~ 0,00077%.
Stoję poprawiony - dziękuję, flamingpenguin. Zaktualizowałem swoją odpowiedź.
http://en.wikipedia.org/wiki/Hoare_logic – lexicalscope
Kiedy więc piszę metodę z pewnymi warunkami wstępnymi, czy sprawdziłbym, czy te warunki wstępne są spełnione, czy też zakładam, że klient jest wystarczająco inteligentny, aby nie naruszyć warunku wstępnego? – Ungeheuer
Twój wybór, ale cała idea polega na sprawdzaniu i zapobieganiu błędom. Zapytaj siebie, jak konsumenci będą znać twoją umowę. – duffymo
z inklinacją, która pomoże Ci zadać bardziej właściwe pytania na temat SO, zadaj konkretne pytania, coś, co pokazuje własne badania/pracę nad tematem, dodając wartość do twojego pytania. Rzeczy, które można znaleźć omówione w ogóle w Internecie jako takie, nie stawiają dobrych pytań na temat SO. PS: sam nie przegrałem. – Bhaskar
To trochę trudne ... – yshavit
W jaki sposób pytanie jest niejednoznaczne? Chciał wyjaśnić, co oznaczają te terminy za pomocą przykładu kodu. I on pokazał badania, ponieważ czytał tę książkę. Czasami SO po prostu szlifuje moje narzędzia. Ugh. – Ungeheuer