invariants

40Hitze

3Antwort

Einfache Beispiele für Co und Kontravarianz

Könnte jemand mir einfache C# Beispiele für Convarianz, Kontravarianz, Invarianz und Kontrainvarianz liefern (wenn solche Dinge existieren). Alle Beispiele, die ich bisher gesehen habe, haben nur ein

15Hitze

2Antwort

DDD-Invarianten Geschäftsregeln und Validierung

Ich suche Ratschläge, wo Validierungsregeln für Domain-Entitäten und Best Practices für die Implementierung hinzugefügt werden. Ich habe gesucht und nicht gefunden, wonach ich gesucht habe, oder ich h

9Hitze

2Antwort

Kann eine Aggregationsinvariante eine Regel basierend auf Informationen von anderswo enthalten?

In DDD kann eine Aggregat-Invariante eine Regel enthalten, die auf Informationen in einem anderen Aggregat basiert? Jetzt denke ich nicht, aber das verursacht mir ein Problem und ich weiß nicht, wie i

2Hitze

1Antwort

Terminierungsfunktionsdefinition (Algorithmen)

Eine Frage zur Definition von Terminierungsfunktionen. Wir haben eine relativ einfache Funktion zur Berechnung ⌊log₂ n⌋ eines Eingangs. LOG2 Configuration: {[r, n] | Integers r ≥ 0 and n ≥ 1} [r, n]

1Hitze

1Antwort

Schleifeninvariante einfache while-Schleife

I ein Beispielprogramm sah den auf 0 jeden Wert in einem Array setzt: int a[n]; int i = 0; while(i < n) { a[i] = 0; i++; } Es wird gesagt, dass ein Teil der Schleife invariant 0<=i<n ist

6Hitze

4Antwort

Hinzufügen von Invarianten zu Interfaces in Java

Ich habe darüber nachgedacht, ein Java-Framework zu erstellen, mit dem Programmierer Invarianten (Pre- und Post-Conditions) an Schnittstellen angeben können. Der Zweck wäre, Code robuster zu machen un

9Hitze

1Antwort

Code Contracts: Invarianten in abstrakte Klasse

Ich habe ein Problem bei der Verwendung von Invarianten mit Code-Verträgen festgestellt. Ich möchte eine Invariante innerhalb meiner abstrakten Klasse definieren, aber sie wird einfach ignoriert. Der

7Hitze

2Antwort

Nur Getter oder Setter aus einem Modul exportieren

Gibt es eine Möglichkeit für mich, nur spezifische Getter xor Setter von einem Modul mit einem Objektiv zu exportieren? Zum Beispiel wollen wir eine Datenstruktur annehmen, die eine unveränderliche de

21Hitze

1Antwort

Was sind die Unterschiede Vorbedingung, Nachbedingung und unveränderlich in der Computerterminologie

ich das Buch Java Concurrency in Practice lese und ein wenig verwirrt mit diesen Bedingungen erhalten: Pre Bedingung Beitrag Zustand Invarianten Kann mir bitte jemand erklären (mit einem Beispiel, wen

5Hitze

1Antwort

Unveränderbare Klasse in Eiffel

Ich versuche, eine unveränderliche POINT Klasse in Eiffel zu machen. Definiert der folgende Code einen? Die {NONE} Erreichbarkeit für die x und y Felder ist genug dafür? Kann ich etwas in die Klasseni