بنية ara::core::variant_alternative< I, volatile T >

يُستخدم التخصيص الجزئي ara::core::variant_alternative< I, volatile T > في AUTOSAR Adaptive core للاستعلام الثابت عن نوع بديل من نوع حامل وفقاً للاستخدام في [variant]. تفسير: من المرجح أنه يضمن أنه في حالة نوع Variant المؤهل بـ volatile، يحتفظ نوع العنصر المحدد عبر الفهرس I أيضاً بالمؤهل volatile. سؤال (مفتوح) تعمل البنية فقط كسمة نوع (Type Trait) في وقت الترجمة البرمجية دون وجود مثيلات خاصة بها في وقت التشغيل أو دورات حياة ديناميكية. وكقيد أساسي أهم، يجب أن يقع الفهرس I في وقت الترجمة البرمجية ضمن النطاق الصالح للبدائل المتاحة، حيث يُفترض أن تؤدي المدخلات الخاطئة إلى أخطاء ترجمة برمجية حاسمة.

المزيد ›

السياق

يمثل قالب الفئة ara::core::variant_alternative< I, volatile T > تخصيصاً جزئياً لفئة مساعدة للبرمجة الوصفية variant_alternative في الوحدة النمطية core الخاصة بـ AUTOSAR Adaptive Platform. وفقاً للوصف، يستند الأداء الوظيفي إلى الاستخدام المقابل في [variant]. تفسير: من المرجح أن تشير الإحالة إلى [variant] إلى المواءمة مع معيار ISO C++17 لـ std::variant وفئاته المساعدة، والتي بموجبها يحدد هذا التخصيص نوع البديل رقم I لنوع حامل مع الاحتفاظ بالمؤهل volatile. سؤال Q-494dca5b2019f9f0 (مفتوح) في بنيات البرمجيات العامة، يتفاعل القالب بشكل وثيق مع أنواع Variant والدوال العامة التي تنفذ عمليات وصول مصنفة الأنواع أو استعلامات عن الأنواع على Variants. بينما يُستخدم القالب الأساسي للأنواع غير المؤهلة، يضمن هذا التخصيص الجزئي نقل المؤهل volatile الخاص بالنوع الحاوي T بشكل صحيح إلى نوع العضو الناتج. وبهذا تظل سلامة النوع محفوظة حتى في السيناريوهات القريبة من العتاد أو المتزامنة التي يُصرح فيها عن الكائنات باستخدام الكلمة المفتاحية volatile.

دورة الحياة

يعد ara::core::variant_alternative< I, volatile T > بنية برمجة وصفية بحتة تُقيّم في وقت الترجمة البرمجية. وبناءً على ذلك، لا يمتلك الهيكل دورة حياة ديناميكية في وقت التشغيل. لا توجد عمليات إنشاء عبر دوال البناء (Constructors)، ولا مراحل تدمير، ولا تخصيصات ديناميكية للذاكرة في وقت التشغيل على الكومة (Heap) أو المكدس (Stack). تفسير: يُفترض أن الهيكل يعمل حصرياً كدالة أنواع في وقت الترجمة البرمجية ولا يترك أي هياكل بيانات أو مثيلات مستقلة في الشيفرة الثنائية الناتجة. سؤال Q-f673d2447f2e3077 (مفتوح) كما تسقط حقوق الملكية أو انتقالات الحالة بالكامل. وفيما يتعلق بالتزامن، فإن البنية آمنة للخيوط (Thread-safe) بطبيعتها، نظراً لأن تقييم النوع يتم بالكامل وبشكل غير قابل للتغيير أثناء عملية الترجمة البرمجية بواسطة المترجم، ولا توجد أي حالات قابلة للتغيير في وقت التشغيل.

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

يوجد مسار الاستخدام النموذجي لهذا التخصيص في مكتبات القوالب، أو الخوارزميات العامة، أو آليات التوجيه المستندة إلى الأنواع، حيث يتعين تحديد النوع البديل لـ Variant استناداً إلى فهرس ثابت. يقوم المطور أو القالب المستدعي في وقت الترجمة البرمجية بتمرير الفهرس الثابت I من النوع std::size_t بالإضافة إلى النوع المؤهل volatile T. ومن خلال العضو المضمن type، يتم استخراج النوع المحدد، والذي يكون هو نفسه مؤهلاً بـ volatile. من الناحية العملية، غالباً ما يُستخدم الاسم المستعار للنوع المصاحب ara::core::variant_alternative_t لجعل الوصول موجزاً في الشيفرة المصدرية. يُستخدم النوع الذي تم الحصول عليه بهذه الطريقة لاحقاً كمعامل دالة، أو كنوع إرجاع، أو كمدخل لتحويلات إضافية للأنواع. ونظراً لأن التقييم يتم بشكل ثابت تماماً، فإن سلسلة التفاعل تقتصر حصرياً على إنشاء مثيل القالب أثناء عملية البناء.

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

نظراً لأن ara::core::variant_alternative< I, volatile T > لا يوفر دوال أو توابع قابلة للتنفيذ في وقت التشغيل، فإن أخطاء وقت التشغيل، أو رموز الإرجاع، أو كائنات الأخطاء مثل ara::core::ErrorCode لا تحدث. وبالتالي فإن سيناريوهات الأخطاء المحتملة تقتصر بالكامل على مرحلة الترجمة البرمجية. تفسير: يُرجح أن الاستدعاء الخاطئ بفهرس I أكبر من أو يساوي عدد البدائل الموجودة في النوع الأساسي سيؤدي إلى إنهاء حاسم لعملية الترجمة البرمجية. سؤال (مفتوح) يُثار خطأ الترجمة البرمجية هذا عادةً عندما يتعذر على القالب الأساسي حل تعريف نوع صالح للفهرس المطلوب. ينشأ سيناريو خطأ آخر إذا لم يكن النوع T نوع Variant صالحاً تم تعريف القالب الأساسي له. في جميع حالات الأخطاء، يُكشف الاستخدام الخاطئ على الفور من خلال التحقق الثابت من الأنواع لمترجم C++، بحيث يُستبعد حدوث حالة خاطئة في وقت التشغيل.