بنية ara::core::Monostate

يُستخدم الصنف ara::core::Monostate في الموديول core وفقًا لمرجعه إلى [variant] كنوع نائب عديم الحالة لتمثيل حالة فارغة في هياكل البيانات المتغيّرة (variants). تفسير: من المرجح أن يعمل كنظير لـ std::monostate لجعل ara::core::Variant قابلًا للإنشاء الافتراضي عندما لا توفر الأنواع البديلة المفيدة منشئًا افتراضيًا. سؤال Q-b724690dfd69af81 (مفتوح) ونظرًا لأن الهيكل مُعرَّف كـ final ولا يحتوي على حقول بيانات، فإن جميع عمليات دورة الحياة تتم بصورة بديهية ودون ربط ديناميكي للموارد. تُستخدم النسخ في الغالب كبديل افتراضي، ويمكن استخدامها على نحو متزامن دون الحاجة إلى أعباء المزامنة.

المزيد ›

السياق

يمثل الصنف ara::core::Monostate لبنة بناء أساسية داخل الموديول core لـ AUTOSAR Adaptive Platform. يُعرّف الإعلان كـ struct Monostate final نوع وحدة عديم الحالة، تتمثل مسؤوليته الأساسية في تمثيل غياب قيمة قابلة للاستخدام داخل أنواع المجموع المحددة النوع (typed sum types). فيما يتعلق بدلالاته الرسمية والغرض منه، تشير المواصفة إلى الاستخدام المقابل في [variant]. تفسير: يمكن الاستنتاج من ذلك أن ara::core::Monostate يعمل كنظير مباشر لـ std::monostate من معيار C++‎ ويتفاعل بشكل وثيق مع ara::core::Variant لتزويد المتغيّرات ببديل حالة فارغ صراحةً. سؤال (مفتوح)

في واجهات C++‎ المتوافقة مع المعايير، يتطلب بناء المتغيّر المحدّد النوع للإنشاء غير المزوّد بمعاملات أن يكون نوع البديل المدرج في الموضع الأول قابلًا للإنشاء الافتراضي. وإذا لم يوفّر أيٌّ من الأنواع الوظيفية المفيدة منشئًا افتراضيًا، أو إذا كان من المفترض ألا يمثّل المتغيّر في البداية أي حالة وظيفية بشكل صريح، فإن ara::core::Monostate في الموضع الأول من قائمة الأنواع يتولى دور العنصر النائب ذي الصيغة السليمة. ومن خلال فصل تهيئة المتغيّر عن توفير البيانات الوظيفية الفعلي، يضمن الصنف إمكانية تهيئة الواجهات ونتائج الدوال القائمة على المتغيّرات دائمًا بشكل آمن من حيث النوع ومحدّد جيدًا وعالي الكفاءة في استخدام الذاكرة داخل برمجيات وحدة التحكم الإلكترونية الحتمية.

دورة الحياة

تتميز دورة حياة ara::core::Monostate بأقصى درجات انعدام الحالة وأدنى حد من التعقيد. وبما أن الهيكل مُعلن كـ final ولا يغلّف أي عناصر بيانات، فإن النسخة لا تمتلك أي حالات داخلية متغيرة أو أطوار أو انتقالات حالة. تفسير: كنوع نائب مُعلن كنهائي (final) دون بيانات حالة خاصة به، من المرجح أن يكون ara::core::Monostate قابلًا للإنشاء والنسخ والنقل والإتلاف بشكل بديهي، بحيث تُنفّذ جميع عمليات دورة الحياة دون تخصيصات ديناميكية للذاكرة، ودون خطر حدوث استثناءات، وبتكلفة تشغيل ضئيلة للغاية. سؤال Q-9cf1c06bbd91b6ec (مفتوح)

يتم إنشاء النسخ عادةً ضمنيًا عند الإنشاء الافتراضي لمتغيّر محيط، أو صراحةً عند تعيين حالة فارغة. ولا يتطلب الإتلاف أي إجراءات تنظيف، حيث لا يتم حجز أي موارد لنظام التشغيل أو الذاكرة. وفيما يتعلق بالملكية والتزامن، يتصرف الصنف كنوع قيمة أولي تمامًا: يمكن إنشاء النسخ أو نسخها أو تقييمها على نحو متزامن عبر مسارات تنفيذ مختلفة، دون إمكانية حدوث آليات مزامنة أو تسابق على البيانات على مستوى الصنف. وتكون فترة بقاء النسخة مقيدة بشكل صارم بنطاق الصلاحية المحلي أو بالحاوية المحيطة.

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

يرتبط مسار الاستخدام النموذجي لـ ara::core::Monostate ارتباطًا وثيقًا بإعلان ara::core::Variant والتعامل معه. عند تعريف متغيّر، يتم تحديد ara::core::Monostate في الموضع الأول للسماح بحالة أولية فارغة. وإذا تم بعد ذلك إنشاء المتغيّر عبر المنشئ الافتراضي الخاص به، فإنه يتخذ تلقائيًا هذه الحالة الفارغة دون الحاجة إلى إنشاء نسخ من الأنواع الوظيفية.

خلال المراحل اللاحقة من تنفيذ البرنامج، يتحقق المستخدم عبر استعلامات النوع أو أنماط الزائر (Visitor patterns) مما إذا كان المتغيّر يحتوي حاليًا على النوع ara::core::Monostate، وهو ما يشير إلى حالة غير نشطة أو غير مشغولة. وبمجرد توفر البيانات المفيدة، يتم استبدال المتغيّر بالقيمة الوظيفية المقابلة. وتتم إعادة التعيين إلى الحالة غير المشغولة عن طريق تعيين ara::core::Monostate{} مرة أخرى. تفسير: من المفترض وجود معاملات مساواة ومقارنة لـ ara::core::Monostate، بحيث ينتج عن مقارنة نسختين دائمًا التساوي، ويمكن تقييم المقارنة العلائقية للمتغيّرات في الحالة الفارغة بشكل حتمي. سؤال (مفتوح)