عرض مصدر Kotlin/exceptions

<noinclude>{{DISPLAYTITLE:الاستثناءات (Exceptions) في لغة Kotlin}}</noinclude>
== أصناف الاستثناءات (Exception Classes) ==
تنحدر كلّ أصناف الاستثناءات في لغة Kotlin من الصنف <code>Throwable</code> حيث يوجد لكلِّ استثناءٍ  رسالةٌ للإعلام به وتتبُّع تكديسي (stack trace) وسببٌ اختياريّ.

ويُستخدَم التعبير <code>throw</code> لرمي كائن استثناءٍ بالشكل:<syntaxhighlight lang="kotlin">
throw MyException("Hi There!")
</syntaxhighlight>أمّا تعبير <code>try</code> فهو مُستخدَمٌ لكشف الاستثناء كما في الشيفرة:<syntaxhighlight lang="kotlin">
try {
    // شيفرة
}
catch (e: SomeException) {
    // معالجات الاستثناء
}
finally {
    // قسم اختياريّ
}
</syntaxhighlight>ومن الممكن أن يحتوي الاستثناء أكثر من قسمٍ واحدٍ من <code>catch</code> أو قد لا يُكتب بالأصل، كما ويمكن حذفُ القسم <code>finally</code>، ولكن من الضروريّ وجود قسمٍ واحدٍ على الأقل من <code>catch</code> أو <code>finally</code> في الاستثناء.

=== تعبير try ===
يُعدُّ قسم <code>try</code>  تعبيرًا (expression) في Kotlin وبالتالي فمن الممكن أن يُعيد قيمةً كما في الشيفرة:<syntaxhighlight lang="kotlin">
val a: Int? = try { parseInt(input) } catch (e: NumberFormatException) { null }
</syntaxhighlight>إذ تكون القيمة المُعادة من تعبير <code>try</code> إما بقيمة آخر تعبيرٍ واردٍ في القسم try أو بقيمة آخر تعبيرٍ في القسم <code>catch</code> (أو في الأقسام كلها إن كان هناك أكثر من قسمٍ واحدٍ من <code>catch</code>)، لأنّ وجود القسم <code>finally</code> لا يؤثِّر على النتيجة الإجماليّة للتعبير.

== الاستثناءات المُتحقَّق منها (Checked Exceptions) ==
لا تدعم Kotlin هذا النوع من الاستثناءات لعدّة أسبابٍ نعرضها عبر مثالٍ بسيطٍ؛ تعبِّر الشيفرة الآتية عن واجهةٍ (interface) من JDK والتي يُعرَّف استخدامها (implemented) في الصنف <code>StringBuilder</code>بالشكل:<syntaxhighlight lang="kotlin">
Appendable append(CharSequence csq) throws IOException;
</syntaxhighlight>وهذه الشيفرة تعني أنّه في كل مرةٍ تُلحَق فيها السلسلة بكائنٍ ما ( مثل <code>StringBuillder</code> أو log أو console أو ... إلخ.) تُعالَج الاستثناءات من النوع <code>IOException</code> ، ولكن لِمَ؟ لأنّه من الممكن أن تحدث العديد من عمليات الدخل أو الخرج (IO) (يُعرَّفُ استخدام <code>Appendable</code> في <code>Writer</code> أيضًا) وبالنتيجة سيكون هناك الكثير من هذه الشيفرة:<syntaxhighlight lang="kotlin">
try {
    log.append(message)
}
catch (IOException e) {
    // يجب أن يكون آمنًا
}
</syntaxhighlight>وليس من الجيّد القيام بمثل هذا كما لا يجب تجاهل الاستثناءات، وخاصّةً في المشاريع الكبيرة فهذا سيخفِّض الإنتاجيّة دون تحسينٍ يُذكر في النوعيّة.

== نوع اللاشيء (The Nothing Type) ==
يُعدُّ قسم <code>throw</code> كذلك تعبيرًا في لغة Kotlin ولهذا قد يُستخدَم كجزءٍ من تعبير Elvis (راجع [[Kotlin/null safety|أمان القيم الفارغة Null Safety]]) كما في الشيفرة:<syntaxhighlight lang="kotlin">
val s = person.name ?: throw IllegalArgumentException("Name required")
</syntaxhighlight>إذ إنّ نوع التعبير <code>throw</code> هو من نوعٍ خاصٍ في Kotlin وهو <code>Nothing</code> والذي لا يحتوي على أيّة قيمةٍ، ويُستخدَم لتحديد الأجزاء التي لا يمكن الوصول إليها في الشيفرة، وبالإمكان استخدام هذا النوع كذلك مع الدوال (functions) التي لا عودة (return) فيها، كما في الشيفرة:<syntaxhighlight lang="kotlin">
fun fail(message: String): Nothing {
    throw IllegalArgumentException(message)
}
</syntaxhighlight>فعند استدعاء الدالة سيعلم المترجم (لوجود النوع <code>Nothing</code>) بأنّ التنفيذ لن يستمرّ بما بعدها، مثل:<syntaxhighlight lang="kotlin">
val s = person.name ?: fail("Name required")
println(s)     // من المعلوم أنّ المتغير مُهيَّأ هنا
</syntaxhighlight>و يفيد هذا النوع في حالةٍ أخرى عند تخمين الأنواع (type inference) حيث سيكون للنوع <code>Nothing?</code>‎ (وهو nullable) قيمةً ممكنةً واحدةً فقط وهي <code>null</code> وبالتالي فإنّه عند استخدام القيمة <code>null</code> للتهيئة الأوليّة لقيمة نوعٍ مُخمَّنٍ دون وجود أيّ معلومةٍ أخرى تُفيد في تحديد النوع، فسيجعل حينها المُترجِم (compiler) النوعَ من <code>Nothing?</code>‎ كما في الشيفرة:<syntaxhighlight lang="kotlin">
val x = null           // المتغيِّر من النوع `Nothing?`
val l = listOf(null)   // المتغيِّر من النوع `List<Nothing?>
</syntaxhighlight>

== مصادر<span> </span> ==
* [https://kotlinlang.org/docs/reference/exceptions.html صفحة الاستثناءات في التوثيق الرسميّ للغة Kotlin]
[[تصنيف:Kotlin]]
[[تصنيف:Kotlin Exceptions]]
[[تصنيف:Kotlin Expressions]]