التأكيد هو أداة تسمح لك بالتحقق من الشروط في البرنامج في مرحلة التنفيذ. وهو جزء من المكتبة القياسية ج ويستخدم لتصحيح الأخطاء والتحكم في الخطأ في التعليمات البرمجية.
الغرض الرئيسي من التأكيد هو التأكد من استيفاء افتراضات المبرمج حول صحة الكود. إذا تم تقييم الشرط في التأكيد على أنه خطأ ، يتوقف البرنامج ويعرض رسالة خطأ تشخيصية.
مثال: تأكيد (س > 0 ) ;
في هذا المثال ، إذا كان المتغير س أقل من أو يساوي الصفر ، سيقوم البرنامج بإجهاض تنفيذه وعرض رسالة خطأ.
تأكيد يسمح لك للكشف عن خطأ في مرحلة فرفر من التنمية وإصلاحه. يمكن أن يكون مفيدا بشكل خاص لاختبار البرامج ، لأنه يسمح لك بتحديد المشكلات بسرعة وتوضيح موقع الخطأ.
- حول مفهوم تأكيد ج
- أساسيات الاستخدام
- التحويل إلى نوع منطقي
- الاستخدام في التعبيرات الشرطية
- رسالة خطأ
- أمثلة الاستخدام
- التحقق من العمليات الحسابية
- التحقق من تشغيل الوظائف
- أمثلة على استخدام التأكيد () في الوظائف:
- التحقق من الشروط المسبقة في الخوارزميات
- التحقق من صحة البيانات
- سؤال وجواب
- ما هو تأكيد وكيفية استخدامها?
- هل من الممكن استخدام تأكيد للتحقق من صحة إدخال المستخدم في ج?
- كيف يمكنني استخدام تأكيد لتصحيح برنامج?
حول مفهوم تأكيد ج
التأكيد هو تعليمات في برنامج يسمح لك بالتحقق من الافتراضات والشروط المفترضة عند تنفيذ التعليمات البرمجية. عادة ما يتم استخدام التأكيد للتحقق من الشروط المسبقة والشروط اللاحقة والثوابت للبرنامج.
يحتوي بيان التأكيد على بناء الجملة التالي:
تأكيد الشرط [،الوصف]
- الشرط هو تعبير منطقي يجب أن يكون صحيحا. إذا كان الشرط غير صحيح ، سيتم طرح استثناء تأكيد خطأ;
- الوصف (اختياري) عبارة عن سلسلة يتم إخراجها عند حدوث استثناء. يساعدك الوصف على فهم سبب حدوث الاستثناء بالضبط وما يجب إصلاحه.
ملامح تأكيد في بيثون:
- تأكيد هو اختبار في وضع التصحيح. يتم تعطيل رمز التحقق الذي تم وضع علامة عليه تلقائيا في إصدار الإصدار من البرنامج;
- يجب أن تكون شروط التحقق بسيطة ، ويجب ألا تغير حالة البرنامج;
- يجب أن تكون حذرا مع استخدام تأكيد ، واستخدامه يمكن أن تجعل البرنامج لا يمكن التنبؤ بها.
المزايا الرئيسية لاستخدام تأكيد:
- يسمح لك تقليل شروط التحقق من وقت التصحيح باكتشاف الأخطاء والمشكلات في الكود في المراحل الأولى من التطوير;
- تحسين قابلية قراءة الكود-يمكن استخدام التأكيد لتوثيق الافتراضات التي يجب أن تكون صحيحة في الكود;
- تحسين موثوقية البرنامج-باستخدام تأكيد يسمح لك للقبض على المشاكل ومنع تنفيذ غير صحيح ممكن من البرنامج.
مثال على استخدام تأكيد:
| مثال | الوصف |
|---|---|
تأكيد س > 0 ، "س يجب أن يكون عدد موجب" | يتحقق من أن المتغير س أكبر من الصفر. إذا لم يتم استيفاء هذا الشرط ، تأكيدسيتم طرح استثناء خطأ مع الوصف المحدد. |
أساسيات الاستخدام
مع الأمر تأكيد في لغة البرمجة ج ، يمكنك التحقق من صحة البرنامج في مرحلة تطويره. يسمح لك التأكيد بالتعبير عن افتراضات معينة حول حالة البرنامج والتحقق منها تلقائيا.
يتحقق بيان التأكيد من الشرط المحدد. إذا كان الشرط صحيحا ، فسيتم التنفيذ الطبيعي للبرنامج. إذا كان الشرط غير صحيح ، تعطل البرنامج ، وعرض رسالة خطأ ، ويسمى المصحح.
بناء جملة بيان التأكيد:
تأكيد (شرط);أين:
- الشرط هو تعبير منطقي يحتاج إلى التحقق;
يجب استخدام بيان التأكيد للتحقق من الافتراضات التي يجب أن تكون صحيحة في البرنامج في جميع مراحل تنفيذه. تم تصميم تأكيد لاختبار البرنامج أثناء التصحيح ، وليس لوضع اللمسات الأخيرة عليه قبل الإفراج عنه.
مثال على استخدام بيان التأكيد:
# تشمل كثافة العمليات الرئيسية () {
إنت س = 5;
تأكيد (س > 0 ) ;
العودة 0;
}
في هذا المثال ، سيتم التحقق من أن المتغير س أكبر من الصفر. إذا كان الشرط غير صحيح ، تعطل البرنامج ، ويعرض المصحح رسالة التحقق من عدم تطابق الشرط. إذا كان الشرط صحيحا ، فسيستمر البرنامج في التنفيذ.
التحويل إلى نوع منطقي
يستخدم للتحقق من الشروط وبرامج التصحيح. يقبل تعبيرا يجب أن يكون صحيحا ، وإذا كان خاطئا ، يتوقف البرنامج برسالة خطأ.
، يتم فحصه مباشرة. ولكن ماذا يحدث إذا كان التعبير يحتوي على نوع بيانات مختلف?
يتم تحويل القيمة تلقائيا (تحويلها) إلى نوع منطقي. يتم الحصول على القيمة النهائية على النحو التالي:
- .
- .
يمكن أن يكون التحويل المنطقي مفيدا ، على سبيل المثال ، للتحقق من قيمة مؤشر أو نتيجة دالة. انها تسمح لك لتبسيط التعليمات البرمجية وجعلها أكثر قابلية للقراءة. ومع ذلك ، يجب أن تكون حذرا عند استخدام تحويل النوع المنطقي حتى لا تحصل على نتيجة غير متوقعة.
يمكن استخدام تحويل النوع المنطقي في ج في مواقف مختلفة ، على سبيل المثال:
إنت النتيجة = سوميفونكتيون();
تأكيد (النتيجة != -1) ؛ / / يتم تحويل النتيجة إلى نوع منطقي والتحقق من الحقيقة
باستخدام المشغل
تأكيد
ويمكن للتحويلات المنطقية تبسيط عملية تصحيح أخطاء البرنامج وتجنب الأخطاء في تشغيله.
الاستخدام في التعبيرات الشرطية
تأكيد في لغة البرمجة ج يستخدم للتحقق من الشروط والتأكد من إنهاء البرنامج إذا لم يتم استيفاء الشروط.
إحدى طرق استخدام التأكيد هي استخدامه في التعبيرات الشرطية. مع هذا الاستخدام ، تأكيد يتحقق الشرط المحدد ، وإذا كان صحيحا ، لا يزال تنفيذ البرنامج ، وإذا كاذبة ، ثم يقطع عملها مع توليد رسالة خطأ.
مثال على استخدام التأكيد في التعبيرات الشرطية:
}
في هذا المثال ، في المكالمة الأولى
من وظيفة التأكيد
الحالة
س > 0
قيد التشغيل ، لذلك يستمر البرنامج في تنفيذه دون انقطاع. في المكالمة الثانية
من وظيفة التأكيد
الحالة
س = = 10
خطأ ، لذلك ينتهي البرنامج ويولد رسالة خطأ.
في البرمجة ، خاصة عند استخدام بيان التأكيد ، تعد رسالة الخطأ أداة مهمة لتحديد الأخطاء في التعليمات البرمجية وتصحيحها. رسالة الخطأ هي رسالة نصية يتم إخراجها في حالة انتهاك تأكيد ، وهو تعبير يجب أن يكون صحيحا في نقطة معينة في البرنامج. كقاعدة عامة ، تحتوي رسالة الخطأ على معلومات حول التحقق الذي فشل ، وما الذي أدى إلى الخطأ ، والطرق الممكنة لإصلاحه.
- أمثلة الاستخدام
- فار العمر = 20;
يمكن استخدامه أيضا للتحقق من نتيجة تنفيذ الوظيفة.
وظيفة إضافة (أ ، ب) {
العودة أ + ب;
}
تأكيد (إضافة(2, 3) === 5, "يجب أن تكون نتيجة الإضافة مساوية لـ 5");
إذا كانت نتيجة الوظيفة لا تتطابق مع ما هو متوقع ، فسيتم طرح استثناء.
من المهم ملاحظة أن المشغل
تأكيد
يجب استخدامه فقط للتحقق من الشروط التي يجب أن تكون صحيحة دائما. إذا كانت الحالة خاطئة في بعض الحالات ، فمن الأفضل استخدام طرق أخرى للتحقق ومعالجة الأخطاء.
التحقق من العمليات الحسابية
أحد الجوانب الرئيسية عند استخدام عامل التأكيد في لغة البرمجة سي هو التحقق من صحة العمليات الحسابية. في هذا القسم ، سننظر في كيفية استخدام التأكيد للتحقق من نتائج التعبيرات الحسابية.
عند تطوير البرامج المتعلقة بالحساب ، من المهم جدا التأكد من تنفيذ جميع العمليات الحسابية بشكل صحيح. يمكن أن تؤدي الأخطاء في الحسابات إلى نتائج غير صحيحة ، مما قد يؤدي إلى مشاكل خطيرة. يمكن أن يكون استخدام التأكيد أداة مفيدة جدا لاكتشاف مثل هذه الأخطاء.
للتحقق من العمليات الحسابية باستخدام تأكيد ، يجب عليك تحديد شرط يجب الوفاء به. إذا كان الشرط بإرجاع قيمة منطقية كاذبة ، تأكيد سيتم عرض رسالة خطأ وإنهاء البرنامج. إذا كان الشرط يعود صحيح ، ثم تأكيد يستمر تنفيذ البرنامج دون عرض الرسائل.
على سبيل المثال ، افترض أنك تريد التحقق من أن نتيجة قسمة رقمين هي عدد صحيح. في هذه الحالة ، يمكنك استخدام عامل ٪ (ما تبقى من القسمة) للتحقق مما إذا كان باقي القسمة صفرا:
الباحث أ = 10;
تأكيد هو (أرقام ، قائمة)، "يجب أن تكون قيمة الإدخال قائمة"
النتيجة = مجموع (أرقام)
نتيجة الإرجاع
3. اصطياد الأخطاء في سلوك الوظيفة:
يمكن أيضا استخدام التأكيد () للقبض على الأخطاء في سلوك الوظيفة. على سبيل المثال ، إذا كان يجب على الدالة إرجاع الأرقام فقط ، فيمكنك استخدام تأكيد () للتحقق من هذا الشرط وإرجاع الخطأ المناسب:
أرقام التقسيم (رقم 1 ، رقم 2):
تأكيد هو (رقم 1، (كثافة العمليات ، تعويم))، "يجب أن يكون الرقم الأول رقما"
تأكيد هو (رقم 2، (كثافة العمليات ، تعويم))، "يجب أن يكون الرقم الثاني رقما"
تأكيد رقم 2 != 0 ، "الرقم الثاني لا يمكن أن يكون صفرا"
النتيجة = رقم 1 / رقم 2
نتيجة الإرجاع