Tasdiqlar hech qachon sodir boʻlmasligi kerak boʻlgan narsani tekshirish uchun ishlatilishi kerak, sodir boʻlishi mumkin boʻlgan narsalarni tekshirish uchun esa istisnolardan foydalanish kerak. Masalan, funktsiya 0 ga bo'linishi mumkin, shuning uchun istisnolardan foydalanish kerak, lekin qattiq disk to'satdan yo'qolishini tekshirish uchun tasdiqlashdan foydalanish mumkin.
Tasdiqlash yaxshimi yoki yomonmi?
Yo'q, goto ham, assert ham yomon emas. Ammo ikkalasi ham noto'g'ri ishlatilishi mumkin. Assert aql-idrokni tekshirish uchun moʻljallangan. Agar ular noto'g'ri bo'lsa, dasturni o'ldiradigan narsalar.
Nega da'volar yomon?
Tasdiqlashlar ichki amalga oshirish invariantlarini tekshirish uchun ishlatilishi mumkin, masalan, ba'zi bir usulni bajarishdan oldingi yoki keyin ichki holat va hokazo. Agar tasdiqlash muvaffaqiyatsiz bo'lsa, dastur mantiqi buzilganligini bildiradi va siz buni qila olasiz' t bu.
Tasdiqlar yaxshi amaliyotmi?
Tasdiqlash boʻyicha qoʻllanmada yaxshi koʻrsatmalar mavjud boʻlib, ular asosan men taʼriflagan narsalardir. Ha, bu yaxshi amaliyot. Bahor holatida bu ayniqsa muhimdir, chunki tekshiruvlar odatda XML simli fayllardan keladigan xususiyat sozlamalarini va hokazolarni tekshiradi.
Qaysi hollarda da'volar foydali?
Kod toʻgʻri sinovdan oʻtkazilayotgan deb faraz qilsak, tasdiqlar bir nechta foydali ishlarni amalga oshiradi: Aks holda aniqlanmasligi mumkin boʻlgan nozik xatolarni aniqlang . Xatolarni ular sodir boʻlgandan keyin tezroq aniqlang aks holda ular aniqlanishi mumkin. Bayonot qilingHaqiqiyligi kafolatlangan kod effektlari haqida.
