Czytam Coders at Work , a w nim dużo mówi się o niezmiennikach. O ile rozumiem, niezmiennik jest warunkiem, który utrzymuje się zarówno przed, jak i po wyrażeniu. Przydają się między innymi do udowodnienia, że pętla jest poprawna, jeśli dobrze pamiętam mój kurs logiki. Czy mój opis jest...
Jest to najpopularniejszy sposób (wydaje mi się) sprawdzania, czy wartość znajduje się w tablicy: for (int x : array) { if (x == value) return true; } return false; Jednak w książce, którą czytałem wiele lat temu, prawdopodobnie przez Wirtha lub Dijkstry, powiedziano, że ten styl jest lepszy...
Rozumiem „niezmienny” w dosłownym tego słowa znaczeniu. Rozpoznaję je również po wpisaniu kodu. Ale nie sądzę, że rozumiem znaczenie tego terminu w kontekście informatyki. Ilekroć czytam rozmowy \ białe księgi na temat projektowania języka od znanych programistów \ informatyków, termin...
Kiedy nauczyłem się C ++ dawno temu, mocno podkreślono, że część C ++ polega na tym, że podobnie jak pętle mają „niezmienniki pętli”, klasy mają również niezmienniki związane z czasem życia obiektu - rzeczy, które powinny być prawdziwe tak długo, jak obiekt żyje. Rzeczy, które powinny zostać...
Wiem, że koncepcja niezmienników istnieje w wielu paradygmatach programowania. Na przykład niezmienniki pętli są istotne w OO, programowaniu funkcjonalnym i proceduralnym. Jednak jednym bardzo przydatnym rodzajem znalezionym w OOP jest niezmiennik danych określonego typu. To właśnie nazywam w...