Comments on: Code Contracts #7: Relation to Guard classes http://www.minddriven.de/index.php/technology/dot-net/code-contracts/code-contracts-relation-to-guard-classes Matthias Jauernig -- .NET technology, architecture and design Thu, 02 Feb 2012 06:42:23 +0100 hourly 1 http://wordpress.org/?v=3.1 By: Derek Greer http://www.minddriven.de/index.php/technology/dot-net/code-contracts/code-contracts-relation-to-guard-classes/comment-page-1#comment-4158 Derek Greer Thu, 01 Oct 2009 07:13:13 +0000 http://www.leading-edge-dev.de/?p=438#comment-4158 "... Code Contracts go beyond guard classes and because they are a core component of .NET 4.0, you don’t need custom guard classes any longer. Simply use contracts instead…" According to Ward Cunningham, guard clauses differ from assertions in that they make a tangible contribution to the logic of the method and thus cannot be safely omitted as part of an optimization. This means that true guard clauses can't be replaced with Code Contracts given their configurability. “… Code Contracts go beyond guard classes and because they are a core component of .NET 4.0, you don’t need custom guard classes any longer. Simply use contracts instead…”

According to Ward Cunningham, guard clauses differ from assertions in that they make a tangible contribution to the logic of the method and thus cannot be safely omitted as part of an optimization. This means that true guard clauses can’t be replaced with Code Contracts given their configurability.

]]>