بنية std::hash< ara::core::Variant<

يوفر تخصيص القالب دالة تجزئة لأنواع الاتحادات (union types) الآمنة من حيث النوع، وذلك لإمكانية استخدامها بسلاسة في حاويات التجزئة الترابطية. ويعمل كمحول دوال متوافق مع المعايير يقرأ حالة المثيل ويحولها إلى قيمة توزيع (hash value) فريدة. ويُعد توفر قابلية التجزئة لجميع الأنواع البديلة المدرجة في قائمة الأنواع شرطاً مسبقاً للاستخدام. وعند بقاء المحتوى دون تغيير، يعمل التقييم بأمان متزامن وخالٍ من التأثيرات الجانبية.

المزيد ›

السياق

يوسع تخصيص القالب std::hash<ara::core::Variant<Types...>> إطار عمل التجزئة القياسي لمكتبة C++ القياسية لنوع AUTOSAR Adaptive الأساسي ara::core::Variant. وداخل الوحدة النمطية core، يعمل ara::core::Variant كاتحاد آمن من حيث النوع ومُحسَّن الذاكرة، ويمكنه في أي وقت استيعاب مثيل واحد بالضبط من قائمة محددة من الأنواع البديلة. ولإمكانية استخدام بنى البيانات البديلة هذه كمفاتيح في حاويات التجزئة الترابطية مثل std::unordered_map أو std::unordered_set، يلزم تماماً توفر تخصيص مطابق لـ std::hash.

وبذلك يوفق التخصيص بسلاسة بين المتطلبات الوظيفية لـ AUTOSAR Adaptive Platform والخوارزميات والحاويات العامة للمكتبة القياسية. ويتيح لمكونات البرمجيات فهرسة بنى البيانات متعددة الأشكال أو إعادة توجيهها أو تخزينها مؤقتاً بأداء عالٍ دون تحويلات ديناميكية للأنواع أو دوال مغلّفة مخصصة من قِبل المستخدم.

دورة الحياة

تتميز دورة حياة تخصيص التجزئة بأنها خفيفة للغاية ومستندة إلى اصطلاحات التوابع (functors) في C++ القياسية. ولا تمتلك الفئة متغيرات حالة دائمة أو موارد مشاراً إليها. ولذلك، يتم الإنشاء بصورة بديهية عبر المُنشئ الافتراضي الضمني، وعادةً ما يكون ذلك مباشرةً في موضع الاستخدام على المكدس (stack) أو ككائن مؤقت ضمن عمليات الحاوية.

بما أن التخصيص عديم الحالة، يُفترض أن يكون الكائن قابلاً للنسخ والنقل بلا قيود. سؤال Q-2cffd290e7f00968 (مفتوح) لا يتطلب التدمير أي تحرير صريح للموارد أو منطق مدمّر. وفيما يخص التزامن، فإن استدعاء الدالّة آمن خيطياً طالما أن نسخة ara::core::Variant المراد تجزئتها لا تُعدَّل في الوقت نفسه بواسطة خيط تنفيذ آخر. ويمكن لعدة خيوط استخدام نفس نسخة دالّة التجزئة أو نسخ متوازية منها في وقت واحد دون الحاجة إلى مزامنة خارجية.

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

يتم الاستخدام النموذجي بصورة غير مباشرة عبر الحاويات الترابطية للمكتبة القياسية، أو مباشرةً من خلال التنفيذ الصريح لعامل الاستدعاء operator(). وتبدأ إحدى حالات الاستخدام بتوفير نسخة مهيأة من ara::core::Variant تحمل قيمة بديلة محددة.

عند استدعاء دالة التجزئة، يتم الاستعلام عن الحالة الحالية للبديل. ويُفترض أن يتم الحساب عبر خطوتين فرعيتين مفهوميتين: أولاً، يُحدَّد المُميِّز أو الفهرس الخاص بالنوع المحتفظ به حالياً. سؤال (مفتوح) بعد ذلك، تُمرَّر القيمة المحددة المتضمنة في Variant إلى تخصيص std::hash المناسب لهذا النوع. وأخيراً، يتم دمج فهرس النوع مع تجزئة القيمة لتوليد قيمة التشتيت الناتجة من النوع std::size_t. يضمن ذلك حصول البدائل ذات القيمة المتطابقة ولكن ذات هوية النوع المختلفة على قيم تجزئة مختلفة على نحو موثوق.

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

تعتمد متانة حساب التجزئة بصورة أساسية على معلمات القالب وحالة البديل المُمرَّر. ويعد وجود تخصيص صالح للعمل من std::hash لكافة الأنواع المصرح عنها في حزمة المعلمات Types... شرطاً مسبقاً أساسياً. وإذا تعذر وجود مثل هذا التعريف لنوع واحد فقط، تفشل عملية التجميع بمجرد إنشاء نسخة من دالّة التجزئة.

أثناء وقت التشغيل، تشترط الطريقة ألا يكون البديل المُمرَّر غير صالح. وإذا وصل كائن البديل الأساسي إلى حالة فراغ ناجمة عن استثناء بسبب تعيين فاشل سابق، فمن المرجح أن يكون سلوك حساب التجزئة غير معرف أو يؤدي إلى استثناء وقت التشغيل. سؤال Q-d1e0b4858aa9dc16 (مفتوح) بالإضافة إلى ذلك، يُتوقع ألا يُطلق حساب التجزئة للأنواع البديلة الفردية أي استثناءات، وذلك لتلبية متطلبات دوال التجزئة القياسية.