ما هو التأكيد في جافا؟ كيفية استخدام Assertion في Java

ما هو التأكيد في جافا؟

يتم استخدام التوكيد في Java لضمان صحة افتراضات أي برنامج حيث يُفترض أن يكون التأكيد صحيحًا عند تنفيذه. يقوم Java Virtual Machine بإلقاء خطأ يسمى AssertionError إذا كان التأكيد خاطئًا. لقد وجد التأكيد في Java تطبيقه بشكل أساسي لأغراض الاختبار. يتم استخدام التعبيرات المنطقية مع عبارات التأكيد. التأكيد عبارة عن بيان ، ويتم استخدام الكلمة الأساسية "الأصول" لتنفيذ تأكيد في Java.

بناء الجملة

فيما يلي طريقتان يتم من خلالهما تنفيذ التأكيد في Java:

1. تأكيد التعبير ؛

2. تأكيد التعبير 1: التعبير 2 ؛

كيفية استخدام Assertion في Java؟

التأكيدات معطلة في Java افتراضيًا. يتم استخدام الأمر التالي لتمكينهم:

جافا-أي اختبار

(أو)

java -enableassertions Test

حيث Test هو اسم ملف Java.

فيما يلي مثال لتوضيح بناء جملة التأكيد:

اختبار الطبقة العامة

{

الرئيسية العامة الثابتة الفراغ (سلسلة [] args)

{

قيمة int = 13 ؛

تأكيد القيمة <= 12: "ليس مراهقًا" ؛

System.out.println ("سن المراهق" + قيمة) ؛

}

}

انتاج |

فيما يلي مثال لتوليد خطأ تأكيد بواسطة Java Virtual Machine -

اختبار فئة

{

الرئيسية العامة الثابتة الفراغ (سلاسل سلسلة [])

{

الوزن int = 30 ؛

تأكيد الوزن> = 20: "زيادة الوزن" ؛

System.out.println ("الوزن هو" + القيمة) ؛

}

}

انتاج |

بعد تمكين التأكيدات ،

انتاج |

استثناء في موضوع java.lang.Assertion "main" خطأ: زيادة الوزن

هذا ما يبدو عليه:

مصدر

لماذا تستخدم التأكيدات؟

يتم استخدام التوكيد في Java من أجل:

• تحقق مما إذا كانت الافتراضات التي وضعها المبرمج صحيحة أم لا.
• تأكد من أنه إذا بدا أن الرمز لا يمكن الوصول إليه ، فلا يمكن الوصول إليه.
• تأكد من صحة الافتراضات المكتوبة في التعليقات ، على سبيل المثال:

إذا ((ص & 1) == 1)

{}

else // يجب أن يكون زوجيًا

{تأكيد (ص٪ 2 == 0) ؛ }

• تأكد من عدم الوصول إلى حالة التبديل الافتراضية
• تحقق من حالة الكائن

يتم استخدام التوكيد في Java في بداية الطريقة وبعد استدعاء الطريقة.

أين تستخدم التأكيدات؟

يتم استخدام التوكيد في Java في الحالات الشرطية وعندما تكون الشروط في بداية أي طريقة. أيضا ، في حالة الحجج إلى الأساليب الخاصة. يوفر كود المطور حججًا خاصة وعندما يحتاج المبرمج إلى التحقق من افتراضاته فيما يتعلق بالحجج.

فيما يلي بعض المواقف التي يجب فيها تجنب استخدام التأكيدات:

1. وفقًا للمواصفات التي قدمتها Sun Microsystems ، لا ينبغي استخدام التأكيد أثناء التحقق من الوسائط في الطرق العامة لأن ذلك سيؤدي إلى استثناءات وقت التشغيل المناسبة مثل NullPointerException و IllegalArgumentException.
2. لا ينبغي استخدامه كبديل لرسائل الخطأ.
3. إذا كنت لا تريد ظهور أي خطأ في أي موقف ، فتخط باستخدام التأكيد.
4. لا يجب استخدامه في وسيطات سطر الأوامر.
5. إذا قدم المستخدم أخطاء ، فلا يجب استخدام التأكيدات للتحقق من الوسائط في الطرق العامة. بدلاً من ذلك ، يجب استخدام معالجة الأخطاء.

كيفية تعطيل التأكيدات؟

يتم استخدام الأوامر التالية لتعطيل التأكيد في Java:

جافا –دا اختبار

أو

جافا - disableassertions Test

حيث Test هو اسم ملف Java.

طرق استخدام Assertion في Java

مثال 1: تأكيد Java

فئة عامة رئيسية {

العامة الثابتة الفراغ الرئيسي (سلاسل سلسلة []) {

String [] أيام الأسبوع = {"الاثنين" ، "الثلاثاء" ، "الأربعاء" ، "الخميس" ، "الجمعة"} ؛

تأكيد أيام الأسبوع. length == 2 ؛

System.out.println ("هناك" + weekdays.length + "أيام الأسبوع في الأسبوع") ؛

}

}

انتاج |

يتم تحقيق الإخراج التالي عند تعطيل التأكيدات وعدم وجود أخطاء في الترجمة في البرنامج.

عند تمكين التأكيدات ، سنحصل على المخرجات التالية:

استثناء في موضوع java.lang.AssertionError "الرئيسي"

هناك شكل آخر من أشكال بيان التأكيد وهو كما يلي:

تأكيد الشرط: التعبير ؛

يحتوي هذا النموذج من جمل التأكيد على تعبير يتم تمريره إلى مُنشئ الكائن AssertionError. إذا كان الشرط خاطئًا ، فسيكون لهذا التعبير قيمة معروضة كرسالة تفصيلية للخطأ. للمساعدة في تصحيح المشكلة ، يلتقط التدليك المفصل وينقل معلومات فشل التأكيد.

مثال 2: تأكيد Java مع مثال تعبير

فئة عامة رئيسية {

العامة الثابتة الفراغ الرئيسي (سلاسل سلسلة []) {

String [] أيام الأسبوع = {"الاثنين" ، "الثلاثاء" ، "الأربعاء" ، "الخميس" ، "الجمعة" ، "السبت"} ؛

تأكيد weekdays.length == 5: "هناك 5 أيام عمل فقط في الأسبوع" ؛؛

System.out.println ("هناك" + weekdays.length + "أيام الأسبوع في الأسبوع") ؛

}

}

انتاج |

استثناء في موضوع java.lang.Assertion "الرئيسي" خطأ: لا يوجد سوى 5 عطلات نهاية أسبوع في الأسبوع

كما هو موضح في المثال أعلاه ، يتم تمرير التعبير إلى مُنشئ الكائن AssertionError. نظرًا لتمكين التأكيدات والافتراض خاطئًا ، يتم عرض رسالة مناسبة عند طرح استثناء. تساعد الرسالة في تشخيص وإصلاح الخطأ الذي تسبب في فشل التأكيد.

تعلم دورات هندسة البرمجيات عبر الإنترنت من أفضل الجامعات في العالم. اربح برامج PG التنفيذية أو برامج الشهادات المتقدمة أو برامج الماجستير لتتبع حياتك المهنية بشكل سريع.

خاتمة

في هذه المدونة ، تعلمت كيفية استخدام التأكيدات لاختبار منطق البرنامج. لقد تعلمت أيضًا سبب عدم إمكانية استخدام التأكيدات كبديل للاستثناءات ، ورأيت مواقف يكون فيها استخدام استثناء أكثر فعالية من معالجة الاستثناءات.

إذا كنت تتطلع إلى معرفة المزيد عن Java والارتقاء في حياتك المهنية في البرمجة ، فاستكشف دورات Java المجانية عبر الإنترنت من upGrad ، أكبر شركة للتعليم العالي عبر الإنترنت في الهند. قم بزيارة upGrad لمزيد من المعلومات.

إذا كنت مهتمًا بمعرفة المزيد حول Java ، تطوير البرامج الكاملة ، فراجع برنامج upGrad & IIIT-B's Executive PG في تطوير البرامج الكامل المكدس المصمم للمهنيين العاملين ويقدم أكثر من 500 ساعة من التدريب الصارم ، 9+ المشاريع ، والمهام ، وحالة خريجي IIIT-B ، ومشاريع التخرج العملية العملية والمساعدة في العمل مع الشركات الكبرى.