بنية std::hash< ara::core::Monostate >

يوفر التخصيص std::hash<ara::core::Monostate> كائن دالة متوافقاً مع المعايير لحساب قيم التجزئة لـ ara::core::Monostate [SWS_CORE_01671]. وعبر معامل الاستدعاء operator()، تستقبل البنية مرجعاً ثابتاً إلى كائن Monostate وتُرجع قيمة التجزئة المقترنة كـ size_t [SWS_CORE_01671]. تفسير: نظراً لأن كائن Monostate لا يمتلك حالة داخلية، يُرجح أن يتم تحديد قيمة موحدة وحتمية لكل نسخة. سؤال (مفتوح) وكشرط هامشي مركزي، تم تحديد العملية كـ noexcept وكذلك آمنة من الاستثناءات، وتستبعد أخطاء وقت التشغيل تماماً.

المزيد ›

السياق

يمثل تخصيص القالب std::hash<ara::core::Monostate> حلقة الوصل الوظيفية بين النوع الأساسي لـ AUTOSAR Adaptive ara::core::Monostate والبنية التحتية القياسية للتجزئة [SWS_CORE_01671]. داخل الوحدة core، يُستخدم ara::core::Monostate لتمثيل حالة فارغة، على سبيل المثال كنوع بديل في المتغيرات. ولإمكانية استخدام مثل هذه الأنواع بسلاسة في حاويات التجزئة الترابطية أو خوارزميات التجزئة العامة، تحدد المواصفة تخصيصاً صريحاً لفئة دال المرجع القياسية std::hash [SWS_CORE_01671].

يتم توفير البنية عبر ملف الترويسة ara/core/variant.h [SWS_CORE_01671]. وبوصفه كائن دالة تجزئة، يتفاعل التخصيص في المقام الأول مع تطبيقات الحاويات العامة مثل جداول التجزئة وكذلك مع نسخ من ara::core::Monostate. ومن خلال الالتزام باتفاقيات الواجهة الخاصة بمكتبة C++ القياسية، فإنه يعمل كمحول يضمن الوصول الموحد إلى قيم التجزئة حتى للمكونات عديمة الحالة [SWS_CORE_01671].

دورة الحياة

تم تصميم البنية std::hash<ara::core::Monostate> ككائن دالة نظامي [SWS_CORE_01671]. ونظراً لأنها لا تتطلب بيانات خاصة بالنسخة لحساب قيمة التجزئة، فإنها لا تمتلك حالة متغيرة خاصة بها. ولا يتطلب إنشاء وتدمير نسخ التخصيص أي ترتيبات خاصة ولا يسبب أي عبء للذاكرة الديناميكية.

فيما يتعلق بالتزامن وعلاقة الملكية، فإن كائن الدالة عديم الحالة تماماً. تم الإعلان عن معامل استدعاء الدالة operator() كـ const [SWS_CORE_01671]. وهذا يعني أنه يمكن استخدام النسخة نفسها بأمان وبالتزامن من قِبل سياقات تنفيذ متعددة أو خيوط بشكل متوازٍ. ولا توجد مطالبات ملكية حصرية لكائنات Monostate الممررة، حيث تتم قراءتها فقط عبر مرجع ثابت [SWS_CORE_01671].

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

يبدأ مسار الاستخدام النموذجي بتضمين ملف الترويسة ara/core/variant.h [SWS_CORE_01671] في وحدة الترجمة المعنية. وبمجرد تضمين ملف الترويسة، يصبح التخصيص متاحاً تلقائياً في فضاء الأسماء std ويتم حله بواسطة هياكل البيانات المعتمدة على التجزئة عند الحاجة.

يتم التنفيذ الفعلي عبر معامل استدعاء الدالة المحمّل بشكل زائد operator()، والذي يستقبل مرجعاً ثابتاً إلى كائن ara::core::Monostate [SWS_CORE_01671]: size_t operator() (ara::core::Monostate const &v) const noexcept; [SWS_CORE_01671]. وكنتيجة، يُرجع الاستدعاء قيمة تجزئة رقمية من النوع size_t [SWS_CORE_01671]. تفسير: بما أن ara::core::Monostate بحكم تعريفه لا يحمل حالة متغيرة، يُرجح أن تحسب الدالة قيمة تجزئة متطابقة وحتمية لجميع النسخ الممررة. سؤال Q-a9e7ab0092428d3c (مفتوح) ومن الناحية العملية، يتم هذا الاستدعاء غالباً بشكل شفاف في إطار عمليات البحث أو الإدراج لهياكل البيانات ذات المستوى الأعلى.

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

تحدد المواصفة للطريقة operator() سلوكاً صارماً فيما يتعلق بالاستثناءات والمتانة: تم الإعلان عن المعامل باستخدام المحدد noexcept وتم تصنيفه صراحةً بأنه آمن من الاستثناءات (exception safe) [SWS_CORE_01671]. ويضمن ذلك عدم إطلاق استثناءات C++ تحت أي ظرف من الظروف أثناء عملية التجزئة.

لا توجد رموز خطأ محددة، أو قيم إرجاع للإشارة إلى الأخطاء، أو شروط مسبقة بخلاف مرجع كائن صالح نحوياً [SWS_CORE_01671]. وبالتالي، لا يمكن للاستدعاء أن يفشل أبداً. والشرط اللاحق للاستدعاء هو دائماً التوفير الناجح لقيمة تجزئة صحيحة من النوع size_t، بحيث لا يضطر المستدعون إلى تنفيذ مسارات بديلة أو مسارات لمعالجة الأخطاء [SWS_CORE_01671].