Contract.Assert не бросать ошибку компиляции

Question

Я пытаюсь добавить проверку для моего типа во время компиляции с использованием Контракта, но, к сожалению, это не работает. Например, код ниже не дает ошибки компилятора при компиляции проекта. Должен ли я что-то активировать?

Contract.Assert(false, "Invalid state!"); 

Answer 1

Да, вам необходимо включить статическую проверку. Перейдите в свойства проекта и перейдите на вкладку «Кодовые контракты». Конечно, сначала вам нужно установить статическое расширение проверки, которое IIRC доступно только для Visual Studio Ultimate. См. user documentation для получения подробной информации о доступных точных параметрах.

Обратите внимание, что это происходит после начальной фазы компиляции, поэтому иногда вы видите задержку между первой частью сборки и результатами статической проверки. (Это не ошибка «компилятора» - это ошибка «проверки контракта».)