مزیت تعریف Exception ها از نوع checked در جاوا چیست؟

Question

وقتی می خواهیم برای پروژه یا library خود در جاوا یک Exception جدید تعریف کنیم دو گزینه در پیش رو داریم هم می توانیم آن را از نوع checked تعریف کنیم هم unchecked در حالی که در بسیاری از زبان های برنامه نویسی (مانند C#) نوع checked exception وجود ندارد.

مزیت اصلی این نوع (checked) از exception در چیست و در صورت تعریف exception جدید از نوع unchecked چه چیزی را از دست می دهیم؟

Answer 1

چیزی که با استفاده از checked exception ها به دست می آوریم robustness کد است. به تعبیری ضریب اطمینان بالا و خوش فرمی کد. در واقع با استفاده از این نوع خطا، توسعه دهندگان ابزار ها و کامپوننت های و کتابخانه های مختلف اطمینان حاصل می کنند که استفاده کنندگان آن کتابخانه، در اسرع وقت مبادرت به مدیریت خطایی که اتفاق افتادن آن در زمان اجرا بسیار محتمل است خواهند نمود.

استفاده کننده آن کتابخانه نیز دیگر لازم نیست برای کشف خطاهای احتمالی که ممکن است برنامه او به واسطه استفاده از آن کتابخانه ها تولید کند زحمت زیادی بکشد.

البته این نوع خطاها اگر درست و به جا به کار گرفته نشوند کمی دست و پاگیر نیز هستند. لذا باید در تشخیص لزوم استفاده از آنها ازین جهت حساسیت بیشتری به خرج داد.

Answer 2

زبان های برنامه نویسی (مانند C#) که در آنها نوع checked exception وجود ندارد، از نظر فنی چیزی را از دست نداده اند و شاید یک دردسر هم از دردسرهای برنامه نویسی کمک کرده اند! ولی در کل به نظر من بودن checked exception (حتی با توجه به دست و پاگیر بودن آنها) مفیدتر از نبودن آنها است بدلیل اینکه طراح های library و API می توانند با یک ابزار عملیاتی (نه مستندات) به استفاده کنندگان library یا API خود exception هایی که ممکن است در زمان استفاده از آن library یا API رخ دهد را گوشزد کنند.