Wie verwende ich Code-Contracts in .NET 4.0, ohne dass mein Code unübersichtlich wirkt?

Question

Wie verwende ich Code-Contracts in .NET 4.0, ohne dass mein Code unübersichtlich wirkt?

8

Ich habe begonnen, Code Contracts zu verwenden und habe festgestellt, dass es schwierig ist, den "Mut" einer Methode sofort zu erkennen.

Nehmen Sie dieses (sehr einfache) Beispiel:

%Vor%

Jetzt bin ich versucht, die Verträge in eine Region zu legen, damit sie sich verstecken können, aber dann mache ich mir Sorgen, dass ich einen schönen Vorteil verliere, weil ich in der Lage bin, einen Blick auf die Methode zu werfen und zu sehen, was es ist erwartet.

Was tun Sie, um Ihre Verträge sauber zu halten? Oder bin ich einfach zu wählerisch?

code-formatting c#-4.0 code-contracts contracts

Fiona - myaccessible.website 15.02.2011, 08:35

quelle

1 Antwort

Tags und Links code-formatting c#-4.0 code-contracts contracts

Django: Verwenden von Annotate, Count und Distinct in einem Queryset Gibt es so etwas wie ein restrict-Schlüsselwort für C ++, das anzeigt, dass _iterators_ kein Alias ist?

score 6 · Accepted Answer

___ tag123codeformatting ___ Code-Formatierung ist die Möglichkeit, den Quellcode von Programmen mit Leerzeichen und Tabs zu formatieren, um die Lesbarkeit des Quellcodes zu verbessern. ___ tag123c40 ___ C # 4.0 führte Funktionen wie dynamische Objekte, COM-Interoperabilitätsverbesserungen, generische Co- und Contravarianz, optionale und benannte Parameter ein. Verwenden Sie dieses Tag, wenn sich Ihre Frage speziell auf C # 4.0-spezifische Features bezieht. Das C # -Tag sollte verwendet werden, wenn Ihre Frage nicht für C # 4.0-Funktionen spezifisch ist. ___ qstnhdr ___ Wie verwende ich Code-Contracts in .NET 4.0, ohne dass mein Code unübersichtlich wirkt? ___ tag123codecontracts ___ Code Contracts ist ein Open-Source-Projekt von Microsoft, mit dem Sie Vorbedingungen, Nachbedingungen und Assertions direkt im Code ausdrücken können. ___ antwort5001610 ___

Sehen Sie sich die Attribute ContractClass und ContractClassFor an. Dadurch können Sie Klassen mit den Codeverträgen in separaten Assemblys schreiben. Auf diese Weise können Sie die Verträge für die Entwicklung verfügbar machen, den Code nicht unnötig belasten und müssen die Verträge nicht mit dem Live-Code bereitstellen:

Attribut der Vertragsklasse

Vertragsklasse für Attribut

___ tag123contracts ___ hilf uns dieses Wiki zu bearbeiten ___ qstntxt ___

Ich habe begonnen, Code Contracts zu verwenden und habe festgestellt, dass es schwierig ist, den "Mut" einer Methode sofort zu erkennen.

Nehmen Sie dieses (sehr einfache) Beispiel:

%Vor%

Jetzt bin ich versucht, die Verträge in eine Region zu legen, damit sie sich verstecken können, aber dann mache ich mir Sorgen, dass ich einen schönen Vorteil verliere, weil ich in der Lage bin, einen Blick auf die Methode zu werfen und zu sehen, was es ist erwartet.

Was tun Sie, um Ihre Verträge sauber zu halten? Oder bin ich einfach zu wählerisch?

___