فئة ara::core::Map::value_compare

تُستخدم الفئة المساعدة ara::core::Map::value_compare ككائن دالي للمقارنة العلائقية بين زوجين من القيم في Map بناءً على مفاتيحهما باستخدام مسند المقارنة [SWS_CORE_01421] المغلف داخليًا. ويتم إنشاء النسخ بشكل محمي أساسًا بواسطة بنية Map الأصلية، بينما يقوم المستدعون بإجراء التقييم عبر معامل الاستدعاء operator() [SWS_CORE_01423]. ونظرًا لأن العمليات ليست آمنة من حيث الاستثناءات وفقًا للمواصفة، يجب على التعليمات البرمجية المستدعية مراعاة الاستثناءات المحتملة للمسند الأساسي.

المزيد ›

السياق

توفر الفئة المساعدة ara::core::Map::value_compare في الوحدة core الخاصة بـ AUTOSAR Adaptive Platform كائنًا داليًا يمكن بمساعدته مقارنة عنصرين كاملين من نوع مفتاح-قيمة (value_type) لجدول ترابطي. ووفقًا للمواصفة، تستند الفئة إلى السلوك الراسخ لمكتبة C++‎ القياسية لـ [map]. وتتمثل المهمة المركزية في جعل المسند المعرّف لترتيب المفاتيح من النوع Compare قابلاً للتطبيق على أزواج قيم كاملة. ولتحقيق ذلك، تُغلف الفئة نسخة داخلية من هذا المسند في متغير العضو المحمي comp [SWS_CORE_01421]. وبهذه الطريقة، يتفاعل value_compare مباشرةً مع بنية البيانات الأصلية ara::core::Map ويضمن خارجيًا قدرة خوارزميات الفرز أو البحث على مقارنة أزواج القيم بشكل متسق بناءً على مفاتيحها.

دورة الحياة

يخضع إنشاء نسخ value_compare لقيود وصول صارمة: يتمتع المُنشئ value_compare(Compare c) بنطاق رؤية protected [SWS_CORE_01422]. تفسير: نظرًا لنطاق الرؤية المحمي هذا، فمن المحتمل أن يكون إنشاء نسخ جديدة مقتصرًا في المقام الأول على الفئة الحاوية ara::core::Map نفسها، بينما يحصل المستدعون العاديون على كائنات دالية جاهزة من Map. سؤال Q-f188cfa9cf627a11 (مفتوح) عند الإنشاء، يأخذ الكائن مسند المقارنة ويخزنه في المتغير المحمي comp [SWS_CORE_01421]. ولا توجد دورة حياة ذات انتقالات حالة معقدة؛ حيث تظل النسخة بعد إنشائها في حالة تنفيذ غير قابلة للتغيير. وبالنسبة للتشغيل المتزامن، يعني هذا أن عمليات وصول القراءة المتوازية عبر معامل الاستدعاء غير حرجة، طالما أن المسند المغلف Compare يعمل بدون حالة أو بشكل آمن عبر الخيوط (threadsicher).

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

يركز مسار الاستخدام العادي على التقييم المتكرر لأزواج القيم عبر معامل استدعاء الدالة operator() [SWS_CORE_01423]. تم الإعلان عن هذا المعامل كطريقة const ويقبل مرجعين لعناصر ثابتة من النوع value_type. تفسير: عند التنفيذ، يصل operator() إلى أجزاء المفتاح لزوجي القيم الممررين ويمررهما إلى المسند [SWS_CORE_01421] المخزن في comp، لإرجاع النتيجة العلائقية كقيمة منطقية. سؤال Q-207114486c204301 (مفتوح) ويوضح المخطط التالي هذا المسار القياسي:

مخطط تسلسلي: مسار مقارنة القيم عبر ()operator والمسند المغلف comp. المصادر: [SWS_CORE_01421]، [SWS_CORE_01423]

يُستخدم هذا المسار عادةً في الخوارزميات التي يتعين عليها فحص عناصر Map أو اجتيازها بناءً على تسلسل فرزها، دون أن يضطر المستخدم إلى إلغاء إسناد المفاتيح يدويًا من أزواج القيم.

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

فيما يتعلق بالمتانة ومعالجة الاستثناءات، تجدر الإشارة إلى أنه لم يتم تحديد المُنشئ [SWS_CORE_01422] ولا معامل الاستدعاء operator() [SWS_CORE_01423] كآمنين من حيث الاستثناءات؛ فكلاهما مصنف صراحةً على أنه «not exception safe». تفسير: يعني هذا عمليًا أن الفئة لا تُغلف آليات خاصة لمعالجة الاستثناءات، وأن الاستثناءات التي يتم إطلاقها عند نسخ المسند المخصص Compare أو تنفيذه يتم نشرها مباشرةً إلى المستدعي. سؤال Q-427fd0afbba7bf9e (مفتوح) ولا تحدد المواصفة رموز أخطاء خاصة لهذه الفئة المساعدة. وبالتالي، فإن الشرط المسبق الأساسي للتشغيل الخالي من الأخطاء هو إمكانية إنشاء النسخ وتنفيذ المسند الممرر Compare بدون أخطاء، فضلًا عن صلاحية المراجع الممررة إلى operator() والمشيرة إلى value_type.