შესრულების დროს წარმოქმნილი გამონაკლისი მიეკუთვნება პროგრამირების ენაში შემოწმებადი გამონაკლისის ტიპებს?

Java ენის ფარგლებში გამონაკლისები იყოფა შემოწმებულ (checked) და შემოწმებულს არეგულირებელ (unchecked). შემოწმებული გამონაკლისები არის ის, რომლებიც მემკვიდრეობას იღებენ კლასი Exception-დან, მაგრამ არა RuntimeException-დან. კომპილატორი მოითხოვს, რომ ასეთი გამონაკლისები ან დამუშავდეს try-catch ბლოკში, ან გამოაცხადოს მეთოდის სიგნატურაში throws-ის საშუალებით.

მოწესრიგებული გამონაკლისები, რომლებიც წარმოიშვება შესრულების დროს (runtime exceptions), ჩვეულებრივ, მიეკუთვნებიან არასამოწმებელ გამონაკლისებს (RuntimeException და მისი ქვესახეები). მათ არ სჭირდებათ სავალდებულო დამუშავება ან გამოცხადება, რადგან ისინი ჩვეულებრივ მიუთითებენ პროგრამირების შეცდომებზე (მაგ., NullPointerException, ArrayIndexOutOfBoundsException).

ამიტომ, ყველა გამონაკლისი, რომელიც წარმოიშვება შესრულების დროს, არ არის შემოწმებული. შემოწმებული გამონაკლისები არის ის, რასაც კომპილატორი აიძულებს მკაფიოდ დამუშავებას ან გამოცხადებას.