فئة ara::exec::ExecException

تُستخدم الفئة ara::exec::ExecException كفئة استثناء نهائية لـ Execution Management لتغليف أخطاء الوحدة المحددة والإشارة إليها عبر آلية استثناءات C++‎. في حالة حدوث خطأ، يتم إنشاء الحالات وطرحها عبر المنشئ الآمن بالنسبة للخيوط مع تحديد ara::core::ErrorCode، وبعد ذلك تقوم جهات الاستدعاء بالتقاطها وتحليلها [SWS_EM_02283]. كقيد أساسي، تم تحديد عملية الإنشاء على أنها noexcept، مما يضمن بقاء إنشاء الكائن آمنًا من الاستثناءات [SWS_EM_02283]. يجب تجنب الاستثناءات غير المعالجة لأنها تؤدي إلى إنهاء النظام.

المزيد ›

السياق

تمثل الفئة ara::exec::ExecException فئة الاستثناء المركزية للوحدة Execution Management (exec) ضمن AUTOSAR Adaptive Platform. وفقًا لمواصفاتها، فإنها تعمل كغلاف للاستثناءات التي يتم إطلاقها بواسطة Execution Management. يُعرّف إعلان الفئة إياها على أنها final مع اشتقاق عام من فئة الاستثناء الأساسية القياسية ara::core::Exception، وبذلك تندمج بسلاسة في مفهوم الاستثناءات ومعالجة الأخطاء الموحد في Adaptive Platform. ومن خلال المعرّف final، يُستبعد أي تخصيص إضافي أو تصنيف فرعي.

يتم الإعلان عن فئة الاستثناء في ملف الترويسة #include "ara/exec/exec_error_domain.h" [SWS_EM_02283]. تكمن المسؤولية الوظيفية الأساسية لـ ara::exec::ExecException في نقل حالات الأخطاء الخاصة بالوحدة عبر آلية استثناءات C++‎. تفسير: يُرجح أن طرح هذا الاستثناء يدخل حيز التنفيذ بشكل أساسي في بيئات التنفيذ التي لا يتم فيها نشر حالات أخطاء Execution Management فقط عبر أنواع أخطاء قائمة على القيمة، بل عندما يكون إنهاء تدفق التحكم المتزامن عبر استثناءات C++‎ مطلوبًا. سؤال Q-8faec8c282524965 (مفتوح)

دورة الحياة

تبدأ دورة حياة حالة من ara::exec::ExecException بالإنشاء الصريح مع تمرير رمز خطأ. ينشئ المنشئ explicit ExecException(ara::core::ErrorCode errorCode) noexcept كائن استثناء جديد يغلّف رمز الخطأ المُمرر [SWS_EM_02283]. يضمن التمييز كـ noexcept أن إنشاء الكائن نفسه يظل خاليًا من الفشل بشكل مضمون حتى في سياق معالجة أخطاء قائمة بالفعل ولا يطلق أي أخطاء متعاقبة لاحقة [SWS_EM_02283].

فيما يتعلق بأمان التنفيذ، فإن عملية الإنشاء مصنفة صراحةً على أنها آمنة من الاستثناءات («exception safe») وآمنة بالنسبة للخيوط («thread-safe») [SWS_EM_02283]. يتيح ذلك الإنشاء الموثوق لحالات الاستثناء عبر خيوط مختلفة، دون الحاجة إلى آليات مزامنة إضافية. بعد الإطلاق عبر throw، ينتقل الكائن إلى إدارة نظام تشغيل C++‎. تفسير: يحدث تدمير كائن الاستثناء تلقائيًا بعد مغادرة كتلة catch المعالجة في سياق تفكيك المكدس (Stack-Unwinding) المعتاد، ولهذا السبب لا يلزم إدارة صريحة لدورة الحياة بواسطة المتصل. سؤال Q-ec22ad5f177555aa (مفتوح)

مسار الاستخدام

يتضمن مسار الاستخدام النموذجي لـ ara::exec::ExecException إنشاء الحالة عند حدوث خطأ داخل Execution Management بالإضافة إلى الالتقاط المضبوط في سياق التطبيق المستدعي:

• تحديد الخطأ وإنشاء الحالة: في حال حدوث حالة استثنائية في Execution Management، يتم تمثيل السبب في ara::core::ErrorCode لنطاق الخطأ المقترن ويُستخدم للتهيئة الصريحة لـ ara::exec::ExecException [SWS_EM_02283].
• الإشارة: يتم طرح حالة الاستثناء التي تمت تهيئتها، مما يؤدي إلى قطع مسار التنفيذ العادي وبدء تفكيك المكدس.
• الالتقاط: تلتقط المكونات المستدعية كائن الاستثناء إما بشكل مستهدف كـ const ara::exec::ExecException& أو بشكل أكثر عمومية عبر الفئة الأساسية متعددة الأشكال const ara::core::Exception&.
• التقييم: تفسير: نظرًا لأن الكائن تم إنشاؤه باستخدام ara::core::ErrorCode [SWS_EM_02283] ويرث من ara::core::Exception، فمن المرجح أن يستخرج المستلم رمز الخطأ المضمّن عبر واجهات الفئة الأساسية لتنفيذ إجراءات الاسترداد أو التسجيل الخاصة بالوحدة. سؤال Q-d4671c34f5aab6f9 (مفتوح)

سيناريوهات الأخطاء

بصفتها فئة استثناء متخصصة، تم تصميم ara::exec::ExecException لتمثيل حالات الأخطاء الحالية دون التسبب في أخطاء جديدة عند استخدامها. للإنشاء، يتطلب المنشئ تمرير ara::core::ErrorCode [SWS_EM_02283]. نظرًا لأن المنشئ مُعلن كـ noexcept، فإن أخطاء الشروط المسبقة عند إنشاء الحالة، والتي قد تعيق إنشاء كائن الاستثناء، مستبعدة [SWS_EM_02283].

يتمثل سيناريو الخطأ الجوهري على مستوى النظام في الالتقاط غير الكامل للاستثناءات المطروحة. إذا ظل استثناء تم إطلاقه بواسطة ara::exec::ExecException غير معالج على طول التسلسل الهرمي للاستدعاء، فسيتم تطبيق المعالجة الافتراضية لوقت تشغيل C++‎، مما يؤدي عادةً إلى استدعاء std::terminate وبالتالي إلى الإنهاء المبكر للعملية. لذلك، يجب على مكونات البرمجيات المتفاعلة التأكد من تأمين الاستدعاءات للوظائف التي يُحتمل أن تطرح استثناءات في Execution Management من خلال كتل try-catch مناسبة.