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

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

المزيد ›

السياق

يوفر تخصص القالب std::hash<ara::core::StringView> دالة التجزئة المعيارية لمرجع سلسلة المحارف ara::core::StringView داخل AUTOSAR Adaptive Platform. وبتعريفه في الترويسة <ara/core/string_view.h> [SWS_CORE_02190]، فإنه يدمج النوع الأساسي ara::core::StringView مباشرةً في نظام الأنواع الخاص بمكتبة C++ القياسية. يتمثل الدور الأساسي لهذا الهيكل في العمل ككائن دالي وتجزئة متوافق مع المعايير. في أنظمة C++ الحديثة وتطبيقات AUTOSAR Adaptive المبنية عليها، تتطلب الخوارزميات العامة وهياكل البيانات التجميعية كائنات دوال تجزئة معيارية. من المرجح أن يُستخدم هذا التخصص بصورة أساسية كدالة تجزئة مفاتيح للحاويات التجميعية غير المرتبة مثل std::unordered_map أو std::unordered_set، عند استخدام مثيلات من ara::core::StringView كمفاتيح بحث أو تعيين. سؤال Q-781e3d2bf693742f (مفتوح) ونظرًا لأن ara::core::StringView يمثل عرضًا غير مالك لسلاسل متصلة من المحارف، فإن std::hash<ara::core::StringView> يعمل بتوافق وثيق مع مناطق الذاكرة المشار إليها، دون إجراء تخصيصات ذاكرة خاصة به أو إنشاء نسخ من النص المشار إليه.

دورة الحياة

صُمم الهيكل وفقًا لتصريحه كتخصص نهائي template <> struct hash< ara::core::StringView > final. وفيما يتعلق بدورة الحياة، يمتلك std::hash<ara::core::StringView> خصائص كائن دالي. وبما أن الواجهة لا تحتوي على أي أعضاء بيانات، يُرجح أن يكون الهيكل عديم الحالة تمامًا، مما يسمح بإنشاء مثيلاته دون إدارة صريحة للموارد. سؤال Q-17cde1f6c81fd9f1 (مفتوح) يتم إنشاء المثيل عادةً بشكل ضمني بواسطة الحاوية المستدعية أو بشكل صريح ككائن مؤقت عند نقطة الاستدعاء. ونظرًا لعدم الاحتفاظ بأي حالات، فإن الإنشاء خفيف الوزن للغاية ولا يتطلب أي تخصيص ديناميكي للذاكرة. وبالتالي، يمكن إنشاء مثيل أو نسخه أو تمريره مباشرةً كقيمة Rvalue غير مسماة حسب الحاجة. ويُعد تدمير كائن الدالة أمرًا بسيطًا ولا يتطلب عمليات تحرير. وفيما يتعلق بالتزامن وأمان الخيوط، تتيح الطبيعة عديمة الحالة وصولاً متزامنًا غير مقيد: حيث يمكن لعدة خيوط تنفيذ دالة التجزئة بالتوازي لمثيلات ara::core::StringView مختلفة أو متطابقة، لعدم تعديل أي هياكل بيانات قابلة للتغيير.

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

يتركز الجوهر الوظيفي للتخصص في معامل الاستدعاء operator() [SWS_CORE_02190]. ويتم الاستخدام النموذجي ضمن تسلسل من خطوتين يتكون من إنشاء المثيل والتقييم. يقوم المطور أو حاوية قياسية بتمرير مثيل من ara::core::StringView كمرجع ثابت إلى دالة العضو operator()(ara::core::StringView const &v) const noexcept [SWS_CORE_02190]. وعند التقييم، تقرأ الدالة بيانات المحارف المشار إليها بواسطة StringView وتحولها إلى قيمة تجزئة عددية صحيحة من النوع size_t [SWS_CORE_02190]. يُرجح أن يعتمد الحساب الفعلي على خوارزميات تجزئة راسخة تُرجع بالضرورة قيمة size_t نفسها لتسلسلي محارف متطابقين في المحتوى، وذلك لضمان تكامل جداول التجزئة. سؤال Q-45be0447105133fd (مفتوح) وبعد الحساب، تُعاد القيمة الناتجة مباشرةً إلى المتصل، الذي يستخدمها على سبيل المثال لفهرسة حاوية (bucket).

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

استنادًا إلى توصيفه كـ noexcept وتصنيفه كآمن ضد الاستثناءات (”exception safe“) [SWS_CORE_02190]، يضمن استدعاء operator() عدم إطلاق أي استثناءات أو خروجها من نطاق الدالة في أي وقت. ولا تحدد الواجهة رموز خطأ معينة ولا نوع إرجاع ara::core::Result، حيث يمكن تنفيذ حساب التجزئة بشكل حتمي لكل مثيل StringView صالح شكليًا. كشرط مسبق أساسي، يتعين على المتصل التأكد من أن مرجع ara::core::StringView الممرر يشير إلى نطاق ذاكرة صالح. ومع أنه يمكن تجزئة StringView فارغ دون مشاكل وبلا أخطاء، فإن تمرير عرض ذي نطاق ذاكرة غير صالح أو تم تحريره بالفعل (dangling pointer) يؤدي إلى سلوك غير محدد أثناء عملية قراءة الذاكرة. وعلى مستوى الشروط اللاحقة، تضمن الدالة بقاء المعامل الممرر دون تغيير وإرجاع قيمة تجزئة size_t حتمية [SWS_CORE_02190].