Для чего нужен класс Contract? Пример кода внутри.

@Casper-SC · Регистрация: 27.03.2010

Author24 — интернет-сервис помощи студентам

C#

1	Contract.Requires(windowHandle != IntPtr.Zero);

Что-то не понятно, что делает этот метод из описания на МСДН тоже ничего не понял.

@kolorotur · 19.10.2011, 19:28

Контракты - это что-то вроде комбинации исключений и ассертов. Используется для диагностики и обнаружения багов в программе. Фактически метод указывает на условия правильного выполнения через методы Requires и гарантирует состояние приложения или той его части, которую он изменяет, методами Ensures.
Если знакомы с формальными методами разработки, то это примерно то же самое.

@Casper-SC · 19.10.2011, 19:38 **[ТС]**

Сообщение от kolorotur

Если знакомы с формальными методами разработки, то это примерно то же самое.

Нет, похоже не знаком.

Сообщение от kolorotur

Контракты - это что-то вроде комбинации исключений и ассертов. Используется для диагностики и обнаружения багов в программе. Фактически метод указывает на условия правильного выполнения через методы Requires и гарантирует состояние приложения или той его части, которую он изменяет, методами Ensures.

А можно пример увидеть? Чтобы было понятно зачем это надо. Что-то я всё равно не полностью понял.

@kolorotur · 19.10.2011, 19:58

Сообщение от Casper-SC

Нет, похоже не знаком.

Погуглите, например, про Z-notation.

Сообщение от Casper-SC

А можно пример увидеть?

Грубо говоря, если до .NET 4 вы проверяли правильность входящих в метод данных так:

C#

void Foo(string str, int val)
{
   if (str == null) throw new ArgumentNullException("str");
   if (val < 0 || val > 12356) throw new ArgumentOutOfRangeException();
}

То в .NET4 рекомендуют делать так:

C#

void Foo(string str, int val)
{
   Contract.Requires(str != null);
   Contract.Requires(val >= 0 && val <= 12356);
}

Во время рантайма эти контракты проверяются по типу Debug.Assert и если условие не проходит, то прога либо крашится, либо выдает сообщение (настраивается).

@kolorotur 17689 / 12874 / 3366 Регистрация: 17.09.2011 Сообщений: 21,138
	19.10.2011, 19:28	2
	Контракты - это что-то вроде комбинации исключений и ассертов. Используется для диагностики и обнаружения багов в программе. Фактически метод указывает на условия правильного выполнения через методы Requires и гарантирует состояние приложения или той его части, которую он изменяет, методами Ensures. Если знакомы с формальными методами разработки, то это примерно то же самое. 2

@Casper-SC 4432 / 2092 / 404 Регистрация: 27.03.2010 Сообщений: 5,657 Записей в блоге: 1
	19.10.2011, 19:38 [ТС]	3
	Сообщение от kolorotur Если знакомы с формальными методами разработки, то это примерно то же самое. Нет, похоже не знаком. Сообщение от kolorotur Контракты - это что-то вроде комбинации исключений и ассертов. Используется для диагностики и обнаружения багов в программе. Фактически метод указывает на условия правильного выполнения через методы Requires и гарантирует состояние приложения или той его части, которую он изменяет, методами Ensures. А можно пример увидеть? Чтобы было понятно зачем это надо. Что-то я всё равно не полностью понял. 0

	19.10.2011, 19:58