في البرمجة، يعتبر التصحيح ومعالجة الأخطاء جزءًا أساسيًا من تطوير البرمجيات. أحد الأدوات المفيدة للتصحيح هو التأكيد (assertion). في لغة الدارت، يُستخدم بيان assert لاختبار الافتراضات حول البرنامج أثناء التطوير. يساعد في تحديد وإصلاح المشاكل في وقت مبكر. في هذه المقالة، سنستكشف مفهوم التأكيد assert في لغة دارت، وطريقة استخدامه، وأهميته في عملية التصحيح.
ما هو assert في دارت؟
- assert هو بيان يقوم بتقييم الشرط ليكون صحيحًا في نقطة معينة في الشفرة.
- يُستخدم للتحقق مما إذا كانت الافتراضات المُتخذة حول البرنامج صحيحة.
- إذا كان الشرط في assert غير صحيح، فسيتم ظهور خطأ AssertionError.
مثال على استخدام assert في دارت:
void main() {
int age = 17;
assert(age >= 18, 'يجب أن يكون العمر على الأقل 18');
print('تم الوصول!');
}
النتيجة:
Uncaught Error: Assertion failed: "يجب أن يكون العمر على الأقل 18"
في الكود أعلاه، لدينا تأكيد assert يتحقق مما إذا كانت قيمة المتغير age أكبر من أو تساوي 18. نظرًا لأن قيمة age هي 17، فإن الشرط غير صحيح، ويتم ظهور AssertionError. يتم عرض رسالة الخطأ “يجب أن يكون العمر على الأقل 18”.
تمكين وتعطيل التأكيدات assert
- افتراضيًا، يتم تمكين التأكيدات فقط في وضع التصحيح.
- لتمكين التأكيدات في وضع الإصدار، استخدم “–enable-asserts” عند تشغيل برنامج دارت.
- يمكن تعطيل التأكيدات باستخدام العلم “–disable-asserts”.
dart --enable-asserts file_name.dart
مثال أخر على استخدام assert في دارت:
void main() {
bool isDebugMode = false;
assert(isDebugMode = true, 'التأكيدات معطلة');
print('وضع التصحيح: $isDebugMode');
}
النتيجة:
وضع التصحيح: false
في هذا المثال، لدينا تأكيد يتحقق مما إذا كانت قيمة isDebugMode هي true. ومع ذلك، نظرًا لأن التأكيدات معطلة، فإن الشرط لا يتم تقييمه، ويستمر تنفيذ البرنامج بدون ظهور أي AssertionError.
فوائد استخدام التأكيدات assert
- تساعد التأكيدات assert في اكتشاف الأخطاء والأخطاء المنطقية في وقت مبكر أثناء التطوير.
- توفر آلية للتحقق من الافتراضات المُتخذة حول سلوك البرنامج.
- تعمل التأكيدات assert كوثائق للمطورين الآخرين، حيث توضح الشروط المتوقعة في نقاط محددة في الكود.
مثال أخر على استخدام assert في دارت:
void calculateBMI(double weight, double height) {
assert(weight > 0, 'يجب أن يكون الوزن أكبر من 0');
assert(height > 0, 'يجب أن يكون الطول أكبر من 0');
double bmi = weight / (height * height);
print('BMI: $bmi');
}
النتيجة:
فشل التأكيد: يجب أن يكون الطول أكبر من 0
في الكود أعلاه، تقوم دالة calculateBMI بحساب مؤشر كتلة الجسم (BMI) باستخدام الوزن والطول. تقوم assert بالتحقق مما إذا كانت قيمة الوزن والطول أكبر من 0. إذا فشلت أي من التأكيدات assert، يتم ظهور خطأ AssertionError، مما يشير إلى الشرط الذي لم يتم تحقيقه.
التأكيدات assert في لغة دارت تلعب دورًا حيويًا في عملية التصحيح ومعالجة الأخطاء، مما يساعد المطورين على تحديد وإصلاح الأخطاء في وقت مبكر. إنها تعمل كشبكة سلامة تسمح لك بالتحقق من الافتراضات وضمان صحة الأكواد الخاصة بك. من خلال استخدام assert بشكل فعال، يمكنك تعزيز موثوقية وقوة تطبيقات دارت الخاصة بك. تذكر تمكين التأكيدات assert أثناء التطوير وتعطيلها في الإصدار للحصول على أداء مثلى.
