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...
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, hieß es jedoch, dass...
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 \...
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....
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...