Pytania otagowane jako invariants

6
Pętla Foreach z przerwaniem / powrotem vs. pętla while z jawnym niezmiennikiem i warunkiem końcowym
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 (w porównaniu …
5
Dlaczego niezmienniki są ważne w informatyce
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 „niezmienny” pojawia się jako żargon; i tej części nie rozumiem. …
1
Niezmienniki czasu życia obiektu a semantyka ruchu
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ć ustalone przez konstruktorów …
3
Jaka jest funkcjonalna odpowiedź programowa na niezmienniki oparte na typie?
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 tytule „niezmiennikami opartymi na typie”. Na przykład Fractiontyp może mieć numeratora denominator, …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.