Czy kontrakty C# 4.0 faktycznie robią cokolwiek?

Question

Po przeczytaniu klasy statycznej System.Diagnostics.Contracts.Contract, na którą wpływ miała wspaniałość SpeC#, byłem zachwycony i natychmiast zacząłem pieprzyć mój kod wywołując Contract.Requires() i Contract.Ensures().

Domyślam się, że mój kod jest tak niesamowity i wolny od błędów, że sprawdzenie, czy te połączenia rzeczywiście coś zrobiły, nie pojawiło się do niedawna. Błąd prześlizgnął się i doszedłem do wniosku, że te połączenia nic nie robią! Pomyślałbym, że przynajmniej rzucają wyjątek, gdy warunek zostanie naruszony, ale nie ma takiego szczęścia.

Czy brakuje mi czegoś? Czy ktoś wie, o co tu chodzi?

Answer 1

Od the Contract Class page at MSDN:

Musisz użyć binarny rewriter do wkładki egzekwowania run-time z umów. W przeciwnym razie kontrakty takie jak jako metoda Contract.Ensures mogą być testowane statycznie i nie będą zgłaszać wyjątków w czasie wykonywania, jeśli naruszona zostanie umowa . Możesz pobrać program do zapisu binarnego CCRewrite z Umów dotyczących kodu na stronie MSDN DevLabs Web . Program CCRewrite jest dostarczany z dodatkiem Visual Studio, który umożliwia aktywację egzekucji zleceń w czasie wykonywania ze strony Właściwości projektu. Aktualizator binarny i dodatek Visual Studio nie są dostarczane z pakietem Visual Studio 2010 lub z pakietem Windows SDK.

Answer 2

Jeśli chcesz wywołanie .Requires wyrzucić błąd trzeba ustawić odpowiednią opcję w ustawieniach projektu lub użyj .Requires<T> rozmowę

Answer 3

Rozwijając na odpowiedź JSBangs':

należy sprawdzić „Wykonaj Runtime umowa Sprawdzanie "box tutaj:

(ja również sprawdziłem" Static Sprawdzanie> peform sTATI c Kontrakt umowy ")