Design by contract/C# 4.0/ArgumentierenNullException

Question

Ich bin es leid, alle meine Argumente für null zu überprüfen und ArgumenutNullExceptions zu werfen, wenn sie sind.

Wie ich es verstehe, ermöglicht C# 4.0 einige Design von Vertragskonstruktionen. Ist es möglich, anzugeben, dass eine Methode in C# 4.0 keine Nullargumente akzeptiert?

Kann ich in der Zwischenzeit auch etwas tun (vielleicht ein Attribut?), Um diese monotone Aufgabe zu vermeiden, nach Null zu suchen und zu werfen?

Answer 1

Sie können eine NotNull<T> generische Klasse erstellen, die hilft, aber es gibt einige Nebenwirkungen. Siehe Robert Nystrom's blog post.

Answer 2

Nicht sicher über native DbC-Konstrukte in C# 4.0, aber Microsoft wird die sprachübergreifende Contracts-Bibliothek freigeben.
Sie können die Version für MSVS2008 here herunterladen.

Answer 3

Als Alternative zu den bereits gegebenen Antworten, ist es wert, in das Null Object design pattern.

Das Wesen dieses Entwurfsmusters suchen ist, dass, sobald das „Null-Objekt“ erstellt wird, wird es keine weiteren durchführen muß Alle Prüfungen auf Null und die Methoden des Null-Objekts implementieren das gewünschte Verhalten, wenn eine Null (andernfalls) gegen eine Referenz auf ein "reales Objekt" übergeben würde.

Dieses Entwurfsmuster hängt nicht von C# 4.0 ab und kann tatsächlich in fast jeder OO-Programmiersprache implementiert werden.

Answer 4

Rick Brewster beschreibt eine gute Lösung für präzise, ​​Parameter deklarativen Stil in diesem Beitrag Überprüfung

http://blog.getpaint.net/2008/12/06/a-fluent-approach-to-c-parameter-validation/

Vermeidet Verwendung von Reflexion (Nachteil DBC) und schafft keinen Mehraufwand für Nicht-Ausnahmecodepfad.

Wie er Extension-Methoden verwendet, um zu ermöglichen, dass Instanzmethode Aufrufe von Nullobjekten aufruft. Sehr cleveres Coding von IMO.

Wenn Sie auf DbC, Google SpeC# und PostSharp verkauft werden.

Answer 5

Ich habe gerade angefangen, Code Contracts zu verwenden, ein neues Feature in C# 4.0, das Sie benötigen, um ein Add-In von MS herunterzuladen, damit Sie es in Ihren Projekteinstellungen sehen können. Details hier -> http://research.microsoft.com/en-us/projects/contracts/