فئة ara::core::Bitset

تنتمي الدالة العضو [SWS_CORE_01744] إلى الفئة ara::core::Bitset وتتوفر عبر ملف الترويسة #include "ara/core/bitset.h". تمتلك الدالة التوقيع bool all () const noexcept;، ولا تقبل أي معاملات، وتُرجع قيمة منطقية بشكل متزامن. ووفقًا للمواصفة، تستند الدلالات إلى الاستخدام المقابل في [bitset]؛ تفسير: من المحتمل أن تتحقق الطريقة مما إذا كانت جميع بتات المثيل معينة (تحمل القيمة true). سؤال Q-a4f0f8970bd2c9bb (مفتوح)

فيما يتعلق بمعالجة الأخطاء، أُعلنت الدالة كـ noexcept وحُددت بأنها آمنة ضد الاستثناءات (exception safe) [SWS_CORE_01744]. وبما أنه لا يتم الإبلاغ عن أي حالات خطأ ويضمن سير التنفيذ بدون أخطاء، فلا تجد رموز الخطأ من ara::core::CoreErrc أي تطبيق هنا.

تنطبق الشروط الحدية التالية على سياق الاستدعاء والتزامن:

• أُعلنت العملية كـ const ولا تعدل حالة كائن ara::core::Bitset المستدعي [SWS_CORE_01744].
• من المرجح أن يكون الوصول المتزامن للقراءة عبر خيوط متعددة مسموحًا به دون مزامنة، طالما لم يقم خيط آخر بتعديل نفس مساحة الذاكرة عن طريق الكتابة. سؤال Q-d9f1f92a120128b5 (مفتوح)

تُستخدم الدالة العضو any() الخاصة بـ ara::core::Bitset للاستعلام المتزامن عن حالة تعيين البتات المُدارة في طقم البتات (Bitset) [SWS_CORE_01745]. ووفقًا للمواصفة، يتبع السلوك الاستخدام المقابل لقالب فئة ISO-C++‎‏ [bitset] [SWS_CORE_01745]. تفسير: تُرجع الدالة true إذا كان بت واحد على الأقل مضبوطًا، وfalse إذا كانت جميع البتات غير مضبوطة. سؤال Q-20c2aaf905d4a338 (مفتوح)

فيما يتعلق بالاستخدام وسياق التنفيذ وسلوك الأخطاء، تسري التحديدات التالية:

• الاستدعاء والمعلمات: تُستدعى الدالة بدون معلمات على مثيل موجود تمت تهيئته مسبقًا عبر المنشئ على سبيل المثال [SWS_CORE_01749]. ويتم الاستدعاء بشكل متزامن ويُرجع نتيجة الفحص مباشرةً كـ bool [SWS_CORE_01745].
• معالجة الأخطاء: تم التصريح عن الدالة كـ noexcept وتصنيفها على أنها آمنة من الاستثناءات (exception safe) [SWS_CORE_01745]. ولا يتم توليد رموز أخطاء أو رسائل DET/DEM؛ كما أن فشل العملية غير وارد في معيار AUTOSAR.
• التزامن: نظرًا للمؤهل const، فإن الدالة لا تُعدل المثيل [SWS_CORE_01745]. ومن المفترض أن تكون عمليات القراءة المتزامنة على المثيل نفسه آمنة، بينما يجب مزامنة عمليات الكتابة المتنافسة من قِبل المستدعي. سؤال Q-34893675aa85baf1 (مفتوح)

ضمن سياق الوحدة النمطية لـ core، توفر any() وظيفة فحص أساسية لأطقم البتات، حيث تتكامل بسلاسة مع آليات التهيئة والتخزين الخاصة بـ ara::core::Bitset [SWS_CORE_01745]، [SWS_CORE_01749].

الاستخدام والدلالات

تُستدعى الدالة العضو count بشكل متزامن وبدون معاملات على مثيل من ara::core::Bitset ([SWS_CORE_01740]). وهي مُعلنة في ملف الترويسة #include "ara/core/bitset.h" وتُرجع نتيجة العد كقيمة إرجاع من النوع std::size_t ([SWS_CORE_01740]). ويسترشد السلوك الوظيفي بالمرجع [bitset] ([SWS_CORE_01740])؛ وبالتالي من المرجح أن تتوافق القيمة مع العدد الإجمالي للبتات المعينة. سؤال Q-36c593b234f55695 (مفتوح)

معالجة الأخطاء والتزامن

حُددت الدالة كـ noexcept وتُعد exception safe ([SWS_CORE_01740]). ولا يتم إطلاق استثناءات أو إرجاع رموز خطأ، كما أن إرسال رسائل إلى DET أو DEM غير منصوص عليه لهذا العنصر. وبما أن count مُعلنة كدالة عضو ثابتة (const) ([SWS_CORE_01740])، فإن الاستدعاء لا يعدل حالة الكائن. وعليه، من المرجح أن تكون عمليات وصول القراءة المتوازية لنفس المثيل قابلة للتنفيذ بالتزامن، شريطة عدم حدوث عمليات كتابة متزامنة. سؤال Q-073bc3bbcb918763 (مفتوح)

التفاعل والتمايز

في مساحة الاسم ara::core، يجب فصل الدالة بوضوح عن العناصر الأخرى:

• في ara::core::Map، تُستخدم count لتحديد المفاتيح الموجودة ([SWS_CORE_01494]، [SWS_CORE_01495])، ولكنها مصنفة كـ not exception safe.
• في ara::core::Span وكذلك دالة المصنع ara::core::MakeSpan، لا يشير count إلى اسم طريقة، بل إلى معامل شكلي لتقييد نطاقات العناصر ([SWS_CORE_01942]، [SWS_CORE_01962]، [SWS_CORE_01964]، [SWS_CORE_01966]، [SWS_CORE_01990]).

الاستخدام

تعكس الدالة العضو flip() للفئة ara::core::Bitset بشكل متزامن حالة جميع بتات النسخة وفقاً لسلوك [bitset] [SWS_CORE_01730]. يتم توفير الدالة عبر ملف الترويسة #include "ara/core/bitset.h"، ولا تقبل أي معلمات وتعيد مرجع lvalue إلى الكائن المعدل (Bitset<N>&)، مما يتيح تسلسل العمليات [SWS_CORE_01730].

معالجة الأخطاء والأمان من الاستثناءات

تم التصريح عن الدالة كـ noexcept وحُددت كمواصفة على أنها آمنة من حيث الاستثناءات («exception safe») [SWS_CORE_01730]. لا يتم طرح استثناءات C++ ولا تُعاد رموز أخطاء؛ ومن ثم، فمن المرجح أن يتم التنفيذ دائماً دون أخطاء. سؤال Q-df762b6329a2c0d4 (مفتوح)

تفاعل

تحدد الوحدة النمطية core تنويعات ذات صلة لمعالجة البتات:

• تُستخدم الطريقة المحملة بشكل زائد flip(std::size_t pos) للعكس المستهدف لبت فردي عند الفهرس pos [SWS_CORE_01731]. وبخلاف الشكل الخالي من المعلمات، فإنها تعيد Result<Bitset<N>&> وتشير إلى المواضع غير الصالحة عبر IsoStdOutOfRangeViolation [SWS_CORE_01731].
• عبر الفئة المرجعية ara::core::Bitset<N>::reference، تتوفر الدالة العضو flip() لعكس بت فردي مشار إليه وإرجاع reference& [SWS_CORE_01712].

تعكس الدالة العضو flip للفئة ara::core::Bitset بشكل متزامن حالة البت عند الموضع الممرر pos [SWS_CORE_01731]. وهي معرفة في ملف الترويسة #include "ara/core/bitset.h" وتسترشد بسلوك std::bitset::flip، ولكنها تظهر اختلافات وظيفية محددة [SWS_CORE_01731].

تم التصريح عن الدالة كـ noexcept وكذلك exception safe، وعند النجاح تعيد مرجعاً إلى الـ bitset المعدل داخل Result<Bitset<N>&> [SWS_CORE_01731]. وإذا كانت المعلمة pos لا تطابق موضع بت صالح، فسيتم إطلاق الانتهاك IsoStdOutOfRangeViolation بدلاً من استثناء C++ مثل std::out_of_range [SWS_CORE_01731].

فيما يتعلق بالتزامن، من المرجح أن الاستدعاءات المتزامنة على نفس نسخة bitset ليست آمنة لخيوط المعالجة نظراً لعدم توثيق التزامن، ويجب تنسيقها خارجياً. سؤال Q-de73bb65d6aab12c (مفتوح)

في الوحدة النمطية core، تُكمل الدالة عمليات أخرى ذات صلة: لعكس جميع بتات نسخة ما بشكل متزامن، يتوفر التحميل الزائد الخالي من المعلمات flip() [SWS_CORE_01730]، بينما تتوفر الطريقة ara::core::Bitset::reference::flip() لكائنات مراجع البتات [SWS_CORE_01712].

الاستخدام

تُستخدم الدالة العضو none للفئة ara::core::Bitset للاستعلام عن حالة تعيين تسلسل البتات [SWS_CORE_01746]. تتطلب الدالة تضمين ملف الرأس ara/core/bitset.h ولها البصمة bool none () const noexcept; [SWS_CORE_01746]. ويتم الاستدعاء بشكل متزامن وبدون معلمات على مثيل موجود. تشير المواصفة فيما يتعلق بالسلوك إلى الاستخدام المقابل في [bitset] [SWS_CORE_01746]؛ تفسير: يُتوقع أن تُرجع الدالة true إذا وفقط إذا لم يكن هناك أي بت مضبوط داخل تسلسل البتات (أي أن جميع البتات false)، وإلا فستُرجع false. سؤال Q-de8593251c7748d5 (مفتوح)

معالجة الأخطاء والأمان من الاستثناءات

لم يتم تعريف أي رموز أخطاء أو حالات خطأ خاصة لـ none. ووفقًا للمواصفة، تم التصريح عن الدالة كـ noexcept وهي مصنفة كآمنة من الاستثناءات (exception safe) [SWS_CORE_01746]. وبالتالي، لا تحدث أي استثناءات C++‎ في حالة الخطأ أو أثناء التنفيذ.

التزامن والقيود

نظرًا لأنه تم التصريح عن none كـ const [SWS_CORE_01746]، فإن استدعاء الدالة لا يُعدل الحالة الداخلية للكائن. ومن المرجح بالتالي أن تكون استدعاءات القراءة المتوازية على نفس كائن Bitset غير حرجة من حيث التزامن وقابلة لإعادة الدخول، ما لم تكن هناك تعديلات كتابة متزامنة على نفس المثيل. سؤال Q-cf92e9abf57e9678 (مفتوح)

تُعيد دالة العضو reset() تعيين حالة مثيل من ara::core::Bitset وفقًا للمواصفة [SWS_CORE_01727]. يتم توفير الدالة عبر ملف الترويسة #include "ara/core/bitset.h" ولها التوقيع Bitset<N>& reset() noexcept;.

الاستخدام والدلالات

لا تستقبل الدالة أي معلمات وتعمل بشكل متزامن على الكائن المستدعي. استنادًا إلى الإشارة المحددة إلى الاستخدام المعتاد في [bitset]، يُرجَّح أن يؤدي الاستدعاء إلى إعادة تعيين جميع البتات المضمنة إلى false (أو 0) وإرجاع مرجع إلى مثيل Bitset نفسه (*this)، مما يتيح ربط الطرق (Method chaining). سؤال Q-89116316a65e0772 (مفتوح)

معالجة الأخطاء والأمان من حيث الاستثناءات

وفقًا لـ [SWS_CORE_01727]، تم الإعلان عن الدالة كـ noexcept ولها التصنيف «exception safe». وبما أنه لا يلزم التحقق من الفهرس على عكس التحميل الزائد ذي المعلمات، فلا تحدث أي حالات خطأ أو رموز أخطاء مع المتغير بدون معلمات.

التفاعل والتمايز

• في نفس نطاق الصلاحية ara::core::Bitset، يوجد التحميل الزائد reset(std::size_t pos) وفقًا لـ [SWS_CORE_01728]. ويعيد هذا التحميل تعيين بت فردي على وجه التحديد، ولكنه يُرجع Result<Bitset<N>&> ويُبلغ عن IsoStdOutOfRangeViolation في حال كان pos غير صالح.
• توجد دوال متطابقة الأسماء في الوحدة core أيضًا لـ ara::core::Optional وفقًا لـ [SWS_CORE_01136] وara::core::Optional<T&> وفقًا لـ [SWS_CORE_01165] من #include "ara/core/optional.h"، والتي تتجاهل القيمة المضمنة ولها نوع الإرجاع void.

تُعيد دالة العضو reset للفئة ara::core::Bitset تعيين بت فردي عند الموضع المحدد pos بشكل متزامن إلى القيمة 0 [SWS_CORE_01728]. تتبع الدالة سلوك std::bitset، لكنها تُظهر اختلافين رئيسيين: تم الإعلان عنها كـ noexcept وتُرجع النتيجة في Result<Bitset<N>&> لتمثيل حالات الخطأ دون استثناءات C++ [SWS_CORE_01728].

معالجة الأخطاء

إذا كان الفهرس المُمرر pos لا يتوافق مع أي موضع بت صالح داخل Bitset، فسيتم إطلاق الانتهاك IsoStdOutOfRangeViolation بدلاً من std::out_of_range [SWS_CORE_01728]. ويتم توفير هذا الانتهاك في حالة حدوث خطأ كحالة خطأ في كائن Result المُرجع، بحيث تظل العملية آمنة من حيث الاستثناءات على الرغم من عدم صلاحية المعلمة [SWS_CORE_01728].

التفاعل والتمايز

في الوحدة core، يوجد لـ ara::core::Bitset بشكل تكميلي التحميل الزائد بدون معلمات reset()، والذي يمسح جميع بتات الحاوية دفعة واحدة ويُرجع مباشرة مرجعًا إلى الكائن [SWS_CORE_01727]. بالإضافة إلى ذلك، يحدد المتطلبان ذوا الصلة [SWS_CORE_01136] و[SWS_CORE_01165] طريقة بالاسم نفسه لـ ara::core::Optional، والتي تتجاهل القيمة المضمنة هناك.

التزامن

نظرًا لأن reset يُعدل الحالة الداخلية لـ Bitset، فمن المرجح ألا يكون الاستدعاء المتزامن على نفس المثيل بدون مزامنة خارجية آمنًا خيطياً (تفسير: تبني دلالات حاوية C++ المعتادة). سؤال Q-e2e1c041eadedf0f (مفتوح)

تضبط دالة العضو المتزامنة set() للفئة ara::core::Bitset جميع البتات المتضمنة في الكائن على القيمة true ([SWS_CORE_01725]). وهي تطابق في سلوكها طريقة عمل std::bitset من معيار ISO-C++ ومتاحة عبر الرأس ara/core/bitset.h ([SWS_CORE_01725]). يتم استدعاء الطريقة دون معلمات وتُرجع مرجع lvalue إلى فئة البتات المعدلة (Bitset<N>&) ([SWS_CORE_01725])، مما يتيح التسلسل المباشر لمزيد من الاستدعاءات على النسخة نفسها.

تم التصريح عن العملية كـ noexcept ولها الخاصية exception safe ([SWS_CORE_01725]). ونظراً لأنها تتكرر عبر جميع البتات أو تضبط الحالة الإجمالية، فلا تحدث أخطاء خارج النطاق على عكس عمليات الوصول القائمة على الموضع. لا تقدم المواصفة أي بيان حول أمان مؤشرات الترابط؛ تفسير: نظراً لأن حالة الكائن يتم تعديلها مباشرةً، فمن المحتمل ألا تكون عمليات الوصول المتوازية إلى نسخة Bitset نفسها آمنة من حيث التزامن أو مؤشرات الترابط دون حماية خارجية. سؤال Q-f8c1b5721f668193 (مفتوح)

ضمن التفاعل داخل الوحدة core، تُكمّل الدالة المتغير المُحمّل بصورة زائدة set(std::size_t, bool) ([SWS_CORE_01726]). وفي حين تضمن النسخة الخالية من المعلمات بنجاح ملء الحقل بالكامل، تُعدّل النسخة ذات المعلمات بتحديدٍ بتًا فرديًا، وتُرجع النوع Result<Bitset<N>&>، وتشير عبر IsoStdOutOfRangeViolation في حال تمرير فهرس موضع غير صالح ([SWS_CORE_01726]).

تُعدّل الدالة العضو set للفئة ara::core::Bitset البت عند الموضع المحدد pos إلى القيمة val وفقًا لـ [SWS_CORE_01726]. تم التصريح عن الدالة في ملف الترويسة #include "ara/core/bitset.h" وتعمل بشكل متزامن وآمن من حيث الاستثناءات.

بالمقارنة مع السلوك القياسي لـ std::bitset، تظهر الدالة انحرافين جوهريين ([SWS_CORE_01726]):

• تم التصريح عن الدالة كـ noexcept ولا تطلق استثناءات C++.
• إذا كان pos لا يطابق موضع بت صالحًا، فسيتم إطلاق IsoStdOutOfRangeViolation بدلاً من std::out_of_range.

كقيمة إرجاع، يتم تقديم Result<Bitset<N>&> ([SWS_CORE_01726]). وفي حالة النجاح، يحتوي Result على مرجع إلى كائن bitset المُعدّل. وإذا كان pos خارج النطاق الصالح، فينقل Result انتهاك الخطأ المقابل.

على عكس المتغير الخالي من المعلمات set() ([SWS_CORE_01725])، الذي يضبط كافة البتات ويُرجع Bitset<N>& مباشرةً، يتطلب هذا التحميل الزائد القائم على الموضع تقييم كائن Result للتعامل مع أخطاء النطاق ([SWS_CORE_01726]).

الاستخدام

تتحقق الدالة العضو المتزامنة test للفئة ara::core::Bitset من حالة البت عند الموضع الممرر pos وفقًا لـ [SWS_CORE_01743]. ويتم تمرير موضع البت المطلوب pos من النوع std::size_t كمعامل استدعاء. وتُرجع الدالة بشكل متزامن قيمة من النوع bool، حيث يشير true إلى أن البت معين، وfalse إلى أنه غير معين. ولدمج الدالة واستخدامها في الوحدة النمطية Core لمنصة Adaptive، يجب تضمين ملف الترويسة ara/core/bitset.h [SWS_CORE_01743].

معالجة الأخطاء والانحرافات

يتبع السلوك الوظيفي عمومًا دلالات std::bitset، ولكنه يُظهر اختلافين رئيسيين خاصين بالنظام [SWS_CORE_01743]:

• أُعلن عن التوقيع كـ noexcept ويضمن أمانًا تامًا ضد الاستثناءات (exception safe) [SWS_CORE_01743].
• إذا كان موضع البت pos لا يتطابق مع أي موضع بت صالح داخل الكائن، فسيتم إطلاق الانتهاك IsoStdOutOfRangeViolation بدلاً من استثناء من النوع std::out_of_range [SWS_CORE_01743]. ويسترشد وصفه بوصف std::out_of_range [SWS_CORE_01743].

التزامن والقيود

نظرًا لأن الدالة محددة كـ const، فإنها لا تعدل المثيل. وبالتالي، من المرجح أن تكون عمليات وصول القراءة المتزامنة المتعددة لنفس مثيل Bitset قابلة للتنفيذ في التشغيل العادي دون تعارض في البيانات (تفسير). سؤال Q-585dbdfefac63391 (مفتوح) وإذا حدثت تعديلات كتابة على نفس المثيل في نفس الوقت، فمن المحتمل أن تكون هناك حاجة إلى مزامنة خارجية بواسطة المتصل.

تحول الدالة العضو to_uint16t للفئة ara::core::Bitset محتوى الـ Bitset إلى قيمة عددية صحيحة من النوع std::uint16_t ([SWS_CORE_01737]، [SWS_APT_00025]). وهي تمثل امتدادًا خاصًا بـ AUTOSAR وغير وارد في معيار ISO C++‎ المعيار ISO-14882 ([SWS_CORE_01737]). ويتوفر الاستدعاء المتزامن عبر ملف الترويسة ara/core/bitset.h ([SWS_CORE_01737]).

في القيمة المُرجعة المولدة، يقابل البت الأول من الـ Bitset البت الأقل أهمية (least significant bit) والبت الأخير يقابل البت الأكثر أهمية (most significant bit) للعدد ([SWS_CORE_01737]). ونظرًا لأن الطريقة محددة كـ constexpr، فيمكن أيضًا تقييمها في وقت الترجمة على مثيلات ثابتة ([SWS_CORE_01737]).

حُددت العملية كـ thread-safe وكـ exception safe ([SWS_CORE_01737]). وإذا تعذر تمثيل قيمة البت ضمن نطاق قيم std::uint16_t، فإن IsoStdOverflowErrorViolation يكون قائمًا ([SWS_CORE_01737]). تفسير: بسبب الإعلان noexcept، من المرجح ألا يتم الإبلاغ عن هذا الانتهاك عبر استثناءات C++‎ العادية، بل سيؤدي إلى المعالجة عبر آليات خاصة بالمنصة للانتهاكات (Violations). سؤال Q-785057e36fb7e434 (مفتوح)

الاستخدام والدلالات

الدالة to_uint32t هي دالة عضو متزامنة وخالية من المعلمات للفئة ara::core::Bitset، وتُتاح عبر ملف الترويسة ara/core/bitset.h [SWS_CORE_01738]. وهي تُحوّل بتات نسخة bitset إلى قيمة عددية صحيحة غير موقعة بعرض 32 بت من النوع std::uint32_t [SWS_CORE_01738]. الدالة غير مضمنة في ISO-14882، بل تم تعريفها كاسم مستعار خاص بـ AUTOSAR لـ ara::core::Bitset::to_ulong، وتستخدم صراحةً نوع البيانات std::uint32_t من [SWS_APT_00028] [SWS_CORE_01738]. وعند تعيين تسلسل البتات، يطابق البت الأول من bitset البت الأقل أهمية (least significant bit) لقيمة الإرجاع، ويطابق البت الأخير البت الأكثر أهمية (most significant bit) [SWS_CORE_01738].

معالجة الأخطاء والشروط الحدية

بالنسبة لحالة الخطأ، تحدد المواصفة الانتهاك IsoStdOverflowErrorViolation، والذي يحدث عندما يتعذر تمثيل القيمة العددية الصحيحة المقابلة للبتات المضبوطة ضمن نطاق قيم نوع الإرجاع [SWS_CORE_01738].

التزامن وسياق التنفيذ

تم التصريح عن الدالة بـ constexpr وnoexcept [SWS_CORE_01738]. وفيما يتعلق بسلامة التنفيذ، تم تحديدها على أنها آمنة خيطيًا (thread-safe) وكذلك آمنة من حيث الاستثناءات (exception safe) [SWS_CORE_01738].

الاستخدام

تُحوّل الدالة العضو to_uint64t للفئة ara::core::Bitset البتات المضمنة في bitset بشكل متزامن إلى قيمة عددية صحيحة من النوع std::uint64_t ([SWS_CORE_01739]). تمثل العملية توسعة خاصة بـ AUTOSAR وغير معرّفة في ISO-14882 ([SWS_CORE_01739]). وهي تعمل كاسم مستعار للدالة ara::core::Bitset::to_ullong، مع استخدام النوع std::uint64_t بشكل إلزامي وصريح وفقًا لـ [SWS_APT_00031] ([SWS_CORE_01739]). يتم توفير التصريح عبر ملف الترويسة #include "ara/core/bitset.h" ([SWS_CORE_01739]).

بالنسبة للتعيين البتي لقيمة الإرجاع، فإن البت الأول من bitset يطابق البت الأقل أهمية (least significant bit) للقيمة الناتجة، بينما يُعيّن البت الأخير إلى البت الأكثر أهمية (most significant bit) ([SWS_CORE_01739]). وبفضل التوصيف كـ constexpr، يمكن أن يتم التقييم في وقت التشغيل وكذلك في وقت الترجمة ضمن تعبيرات ثابتة ([SWS_CORE_01739]).

معالجة الأخطاء والتزامن

فيما يتعلق بسلامة التنفيذ، تم التصريح عن الدالة بـ noexcept، وتصنيفها على أنها آمنة من حيث الاستثناءات (exception safe)، ويمكن استدعاؤها بأمان خيطي (thread-safe) دون قيود ([SWS_CORE_01739]). وإذا تعذر تمثيل القيمة العددية الصحيحة المقابلة للبتات في النوع المستهدف، فإن حالة الخطأ IsoStdOverflowErrorViolation تكون متحققة ([SWS_CORE_01739]). تلبي الواجهة المتطلب الأعلى [RS_AP_00130].

الاستخدام

تحول الدالة العضو to_uint8t للفئة ara::core::Bitset محتوى Bitset المخزن بشكل متزامن إلى قيمة عددية صحيحة غير موقعة بحجم 8 بت من النوع std::uint8_t وفقًا لـ [SWS_CORE_01736] و[SWS_APT_00022]. ويمثل ذلك امتدادًا وظيفيًا خاصًا بـ AUTOSAR لا وجود له في المعيار ISO-14882 [SWS_CORE_01736]. تتوفر الدالة عبر ملف الترويسة ara/core/bitset.h، وهي بدون معاملات ومُعلنة كـ constexpr وكـ noexcept [SWS_CORE_01736]. ويقابل البت الأول من تسلسل البتات البت الأقل أهمية (LSB) والبت الأخير يقابل البت الأكثر أهمية (MSB) للقيمة المُرجعة [SWS_CORE_01736].

معالجة الأخطاء

إذا تعذر تمثيل القيمة العددية الصحيحة المقابلة للبتات في الـ Bitset ضمن النوع الهدف std::uint8_t، فإن الانتهاك IsoStdOverflowErrorViolation يكون قائمًا [SWS_CORE_01736]. ورغم الإعلان noexcept، فقد حُددت الدالة فيما يتعلق بأمان الاستثناءات كـ exception safe [SWS_CORE_01736].

التزامن والتفاعل

باعتبارها دالة عضو ثابتة، أُعلنت to_uint8t صراحةً كـ thread-safe [SWS_CORE_01736]، بحيث تكون عمليات وصول القراءة المتوازية من خيوط متعددة لنفس المثيل آمنة. ويسترشد تمثيل النوع الهدف بالتحديد الوارد في [SWS_APT_00022].

تحول الدالة العضو to_ullong للفئة ara::core::Bitset تسلسل البتات المخزن بشكل متزامن إلى قيمة عددية صحيحة من النوع unsigned long long [SWS_CORE_01735]. وهي مُعرفة في ملف الترويسة #include "ara/core/bitset.h" ومُعلنة كـ constexpr وكـ noexcept مقارنة بمعيار ISO std::bitset [SWS_CORE_01735].

فيما يخص معالجة الأخطاء وسلوك الاستثناءات، تنطبق القواعد التالية:

• معالجة الطفحان: إذا تعذر تمثيل القيمة العددية الصحيحة الممثلة بالبتات المعينة في نوع الإرجاع، فسيتم إطلاق الانتهاك IsoStdOverflowErrorViolation بدلاً من استثناء std::overflow_error [SWS_CORE_01735].
• أمان الاستثناءات: صُنفت الدالة بأنها exception safe، ولا تطلق استثناءات C++‎ نظرًا لمواصفة noexcept [SWS_CORE_01735].

بالتضافر مع واجهات أخرى، توفر AUTOSAR Adaptive مع to_uint64t بديلاً محدد النوع يعمل كاسم مستعار مباشر لـ to_ullong، ولكنه يُرجع صراحةً نوع العرض الثابت std::uint64_t [SWS_CORE_01739]. وفي كلتا الدالتين، يقابل البت الأول من الـ Bitset البت الأقل أهمية (LSB) والبت الأخير يقابل البت الأكثر أهمية (MSB) للقيمة الرقمية الناتجة [SWS_CORE_01739]. وبما أن to_ullong دالة عضو ثابتة وأن المكافئ الوظيفي محدد بأنه thread-safe، فمن المرجح أن يكون استدعاء القراءة المتزامن على نفس المثيل آمنًا خيطيًا أيضًا [SWS_CORE_01739]. سؤال Q-075766fabc193ce8 (مفتوح)

تحول الدالة العضو ara::core::Bitset::to_ulong البتات المعينة لمثيل Bitset بشكل متزامن إلى قيمة عددية صحيحة من النوع unsigned long [SWS_CORE_01734]. وتتطلب الدالة ملف الترويسة ara/core/bitset.h وتنتمي إلى نطاق الفئة ara::core::Bitset [SWS_CORE_01734]. ومن خلال الإعلان بالتوقيع constexpr unsigned long to_ulong() const noexcept;، يمكن أن يتم التقييم في وقت التشغيل وأيضًا أثناء وقت الترجمة في التعبيرات الثابتة [SWS_CORE_01734].

تختلف الدالة بشكل جوهري عن معيار ISO std::bitset في سلوك الخطأ: إذا تعذر تمثيل القيمة العددية الصحيحة المقابلة للبتات في نوع الإرجاع unsigned long، فسيتم إطلاق IsoStdOverflowErrorViolation بدلاً من استثناء من النوع std::overflow_error [SWS_CORE_01734]. وبصرف النظر عن شرط الانتهاك هذا، فقد أُعلنت الدالة كـ noexcept وتُعد رسميًا آمنة ضد الاستثناءات (exception safe) [SWS_CORE_01734].

بالتضافر مع دوال تحويل أخرى، توفر AUTOSAR Adaptive مع to_uint32t نظيرًا مباشرًا يعمل كاسم مستعار لـ to_ulong، ولكنه يُرجع std::uint32_t بنوع محدد بدقة [SWS_CORE_01738]. وفيما يتعلق بالتزامن، من المرجح أن تكون الطريقة آمنة خيطيًا عند وصول القراءة المتوازي إلى نفس الـ Bitset (تفسير)، نظرًا لأنها مُعرفة كـ const ولأن المتطلب المقابل to_uint32t قد حُدد صراحةً بأنه thread-safe [SWS_CORE_01738]. سؤال Q-59f95b86801a697d (مفتوح)