Белгилөөлөр эч качан болбошу керек болгон нерсени текшерүү үчүн колдонулушу керек, ал эми өзгөчө учур болушу мүмкүн болгон нерсени текшерүү үчүн колдонулушу керек. Мисалы, функция 0гө бөлүнүшү мүмкүн, андыктан бөтөнчөлүк колдонулушу керек, бирок катуу диск капыстан жок болуп кеткенин текшерүү үчүн ырастоо колдонулушу мүмкүн.
Белгилөө жакшыбы же жаманбы?
Жок, гото да, ырастоо да жамандык эмес. Бирок экөө тең туура эмес колдонулушу мүмкүн. Assert акыл-эстүүлүгүн текшерүү үчүн. Эгер алар туура эмес болсо, программаны өчүрө турган нерселер.
Эмне үчүн ырастоо жаман?
Белгилөөлөрдү ички ишке ашыруунун инварианттарын текшерүү үчүн колдонсо болот, мисалы, кандайдыр бир ыкманы аткарууга чейинки же андан кийинки ички абал ж.б. Эгер ырастоо ишке ашпай калса, программанын логикасы бузулганын билдирет жана сиз жасай аласыз' t бул.
Белгилөө жакшы практикабы?
Белгилөөлөрдү киргизген тилдик колдонмодо кээ бир жакшы көрсөтмөлөр бар, алар негизинен мен айтып өткөндөй. Ооба бул жакшы практика. Жазгы учурда, бул өзгөчө маанилүү, анткени текшерүүлөр адатта XML зымдары файлдарынан келген менчик жөндөөлөрүн ж.б. текшерип жатат.
Кандай учурларда ырастоо пайдалуу?
Код туура текшерилип жатат деп ойлосок, ырастоолор бир нече пайдалуу иштерди аткарат: Антпесе байкалбай калышы мүмкүн болгон тымызын каталарды аныктоо . Каталарды алар пайда болгондон кийин эртерээк аныктаңыз башка учурларда аныкталгандан кийин. билдирүү жасачындыгы кепилденген коддун таасирлери жөнүндө.
