Οι ισχυρισμοί θα πρέπει να χρησιμοποιηθούν για να ελέγξετε κάτι που δεν πρέπει ποτέ να συμβεί, ενώ θα πρέπει να χρησιμοποιείται μια εξαίρεση για να ελέγξετε κάτι που μπορεί να συμβεί. Για παράδειγμα, μια συνάρτηση μπορεί να διαιρείται με το 0, επομένως θα πρέπει να χρησιμοποιηθεί μια εξαίρεση, αλλά θα μπορούσε να χρησιμοποιηθεί ένας ισχυρισμός για να ελεγχθεί ότι ο σκληρός δίσκος εξαφανίζεται ξαφνικά.
Είναι χρήσιμοι οι ισχυρισμοί;
Οι προγραμματιστές μπορούν να χρησιμοποιήσουν τους ισχυρισμούς για να βοηθήσουν στον καθορισμό προγραμμάτων και να αιτιολογήσουν την ορθότητα του προγράμματος. … Εάν ένας ισχυρισμός αξιολογηθεί ως ψευδής κατά τον χρόνο εκτέλεσης, προκύπτει μια αποτυχία διεκδίκησης, η οποία συνήθως προκαλεί την ακύρωση της εκτέλεσης.
Γιατί οι ισχυρισμοί είναι κακοί;
Οι ισχυρισμοί μπορούν να χρησιμοποιηθούν για την επαλήθευση εσωτερικών αμετάβλητων υλοποίησης, όπως η εσωτερική κατάσταση πριν ή μετά την εκτέλεση κάποιας μεθόδου, κ.λπ. δεν ανακτώ από αυτό.
Είναι ακριβοί οι ισχυρισμοί;
Η εργασία που εκτελείται από το επιβεβαίωση θα είναι τουλάχιστον τόσο ακριβή όσο η εργασία που γίνεται από την ίδια τη μέθοδο Για να διασφαλιστεί ότι οι ισχυρισμοί δεν αποτελούν υποχρέωση απόδοσης σε αναπτυγμένες εφαρμογές, οι ισχυρισμοί μπορούν ενεργοποιούνται ή απενεργοποιούνται κατά την εκκίνηση του προγράμματος και απενεργοποιούνται από προεπιλογή.
Είναι κακοί οι ισχυρισμοί;
Όχι, ούτε πρέπει ούτε ο ισχυρισμός είναι κακός. Αλλά και τα δύο μπορούν να χρησιμοποιηθούν κακώς. Το Assert είναι για ελέγχους υγιεινής. Πράγματα που θα πρέπει να σκοτώσουν το πρόγραμμα εάν δεν είναι σωστά.
