Net framework 5, а также среды Visual Studio 2012 и C#



Download 6,27 Mb.
Pdf ko'rish
bet402/658
Sana12.06.2023
Hajmi6,27 Mb.
#950840
1   ...   398   399   400   401   402   403   404   405   ...   658
Bog'liq
CLR via C Programmirovanie na platforme Microsoft NET Framework 4 5 na yazyke C

ВниМание
Все.члены,.на.которые.присутствуют.ссылки.в.предусловиях,.постусловиях.и.инва-
риантах,.должны.быть.свободны.от.сторонних.эффектов .Такое.требование.связано.
с.тем,.что.во.время.тестирования.ни.в.коем.случае.не.должно.меняться.состояние.
объекта .Кроме.того,.все.методы,.на.которые.есть.ссылка.в.предусловии,.должны.
иметь.уровень.доступа.хотя.бы.не.меньший,.чем.у.метода,.определяющего.само.
предусловие .В.противном.случае.перед.вызовом.метода.не.будет.возможности.
проверить.соответствие.условиям .Это.ограничение.не.касается.членов,.на.которые.
есть.ссылки.в.постусловиях.и.инвариантах .Уровень.доступа.к.ним.может.быть.любым;.
главное,.чтобы.код.компилировался .Причина.снятия.ограничения.состоит.в.том,.что.
проверки.в.постусловии.и.инварианте.не.влияют.на.корректность.вызова.метода 
ВниМание
Что.касается.наследования,.производный.тип.не.может.перегружать.и.менять.
предусловия.виртуальных.членов,.определенных.в.базовом.типе .Аналогично,.тип.
реализации.члена.интерфейса.не.может.менять.предусловия,.определенные.этим.
членом .Если.для.члена.отсутствует.определенный.в.явном.виде.контракт,.значит,.
существует.неявный.контракт,.который.логично.представить.в.таком.виде:
Contract.Requires(true);
И.так.как.при.переходе.к.новой.версии.ужесточить.контракт.не.получится.(или.придет-
ся.пожертвовать.совместимостью.версий),.при.вводе.новых.виртуальных,.абстракт-
ных.или.интерфейсных.членов.следует.очень.аккуратно.выбирать.предусловия .Для.
постусловий.и.инвариантов.вы.можете.добавлять.и.убирать.контракты.по.желанию,.
главное,.чтобы.условия,.поставленные.в.виртуальном/абстрактном/интерфейсном.
члене,.можно.было.логически.соединить.с.условиями.в.перегруженном.члене 
Итак, теперь вы знаете, как определяются контракты. Пришло время поговорить 
о том, как они функционируют во время работы программы. Объявлять предусло-
вия и постусловия следует в верхней части методов, чтобы их легко можно было 
найти. Предусловия проверяются при вызове метода. При этом хотелось бы, чтобы 


552
Download 6,27 Mb.

Do'stlaringiz bilan baham:
1   ...   398   399   400   401   402   403   404   405   ...   658




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish