Softwareentwicklung invariants

6

Was sind Invarianten, wie können sie verwendet werden und haben Sie sie jemals in Ihrem Programm verwendet?

Ich lese Coders at Work und darin wird viel über Invarianten geredet. Nach meinem Verständnis ist eine Invariante eine Bedingung, die sowohl vor als auch nach einem Ausdruck gilt. Sie sind unter anderem nützlich, um zu beweisen, dass die Schleife korrekt ist, wenn ich mich richtig an meinen Logikkurs erinnere. …

48 invariants

6

Foreach-Schleife mit break / return vs. while-Schleife mit expliziter Invariante und Nachbedingung

Dies ist die (meiner Meinung nach) beliebteste Methode , um zu überprüfen, ob ein Wert in einem Array enthalten ist: for (int x : array) { if (x == value) return true; } return false; In einem Buch, das ich vor vielen Jahren wahrscheinlich von Wirth oder Dijkstra gelesen habe, …

17 coding-style search loops invariants structured-programming

5

Warum sind Invarianten in der Informatik wichtig?

Ich verstehe "invariant" im wahrsten Sinne des Wortes. Ich erkenne sie auch, wenn ich Code eingebe. Aber ich glaube nicht, dass ich die Bedeutung dieses Begriffs im Kontext der Informatik verstehe. Wann immer ich Konversationen \ Whitepapers über Sprachdesign von berühmten Programmierern \ Informatikern lese, taucht der Begriff "Invariant" immer …

16 programming-languages language-agnostic invariants

1

Objektlebensdauer-Invarianten vs. Bewegungssemantik

Als ich vor langer Zeit C ++ lernte, wurde mir stark betont, dass ein Teil des Punktes von C ++ darin besteht, dass genau wie Schleifen "Schleifeninvarianten" haben, Klassen auch Invarianten, die mit der Lebensdauer des Objekts verbunden sind - Dinge, die wahr sein sollten solange das Objekt lebt. Dinge, …

13 c++ object-oriented-design c++11 invariants

3

Was ist die funktionale Programmierantwort auf typbasierte Invarianten?

Mir ist bewusst, dass das Konzept der Invarianten über mehrere Programmierparadigmen hinweg existiert. Beispielsweise sind Schleifeninvarianten für die OO-, funktionale und prozedurale Programmierung relevant. Eine sehr nützliche Art in OOP ist jedoch eine Invariante der Daten eines bestimmten Typs. Dies nenne ich im Titel "typbasierte Invarianten". Zum Beispiel Fractionkönnte ein …

9 functional-programming language-agnostic paradigms invariants

Als «invariants» getaggte Fragen