Подтвердить что ты не робот

.Net Code Contracts - Где узнать больше?

Недавно я услышал некоторое обсуждение в моем офисе о .Net "Контрактах", однако, когда я спросил некоторых из моих коллег, не из них не могли легко объяснить мне, для чего они нужны, или какими они были.

Есть ли у кого-нибудь ресурсы, объяснения и, возможно, учебник по их использованию?

Спасибо,

Пол

Ответ 1

Кодовые контракты были введены в .NET 4.0, и они предоставляют язык-агностический метод для выражения предположений о кодировании в программах.

Они в основном позволяют вам проверять предварительные условия, пост-условия и другие функции и могут значительно улучшить процесс тестирования и возможное качество кода, который записывается.

От Microsoft:

Проверка времени выполнения.. Наш бинарный перезаписывающий модуль модифицирует программу путем ввода контрактов, которые проверяются как часть программы > выполнение. Переписанные программы улучшают тестируемость: каждый контракт действует как оракул, давая тестовый прогон индикацию прохода/сбоя. Автоматические инструменты тестирования, такие как Pex, используют контракты для создания более значимых модульных тестов путем фильтрации бессмысленных тестовых аргументов, которые не удовлетворяют предварительным условиям.
Статическая проверка. Наш статический контролер может решить, есть ли какие-либо нарушения контракта, даже не запуская программу! Он проверяет неявные контракты, такие как нулевые разыменования и границы массива, а также явные контракты.
Генерация документации. Наш генератор документации дополняет существующие файлы документов XML с информацией о контрактах. Существуют также новые таблицы стилей, которые можно использовать с Sandcastle, так что на сгенерированных страницах документации есть секции контрактов.

Подробнее:

Ответ 2

Кодовые контракты являются относительно новым способом выполнения проверок ввода и вывода функций. Там, где они отличаются от стандартной проверки типа Assert, создается то, что сгенерированный IL, проверяющий вход, проверяет его непосредственно перед вызываемой функцией и код, который проверяет вывод, после того, как ваша функция действительно вышла.

Почему это полезно?

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

Вот пример.

public void doSomething(SomeObject foo)
{
    Contract.Requires<ArgumentNullException>(foo != null);
}

Теперь в кодовых контрактах требуется, чтобы перед этой проверкой не было кода. В сгенерированном ИЛ значение foo проверяется PRIOR на вызов. Это надежный способ гарантировать, что ваш вход будет таким, как ожидалось.

Другой, это конструкция Contract.Ensures. Это в основном как Requires, но работает с вашим возвращаемым значением.

public int doSomethingElse()
{
    Contract.Ensures(Contract.Result<int>() != 0);
    int ret = 1;
    return ret;
}

Это было бы особенно полезно, если бы у вас было несколько путей выхода из вашей функции...

public int someBadFunction()
{
    Contract.Ensures(Contract.Result<int>() != 0);
    if(....)
    {
       if(....) return 2;
       if(....) return 8;
    }
    return 3;
}