رمز غير قابل للوصول

في برمجة الحاسوب ، يُعتبر الكود غير القابل للوصول جزءًا من الكود المصدري للبرنامج، والذي لا يمكن تنفيذه مطلقًا لعدم وجود مسار تحكم في تدفق البيانات من بقية البرنامج إلى هذا الكود. ^{[ 1 ]}

يُطلق على الكود غير القابل للوصول أحيانًا اسم الكود الميت ، ^{[ 2 ] [ 3 ]} على الرغم من أن الكود الميت قد يشير أيضًا إلى الكود الذي يتم تنفيذه ولكنه لا يؤثر على مخرجات البرنامج. ^{[ 4 ]}

يُعتبر الكود غير القابل للوصول إليه غير مرغوب فيه بشكل عام لعدة أسباب:

• إنه يستهلك الذاكرة بلا داعٍ.
• قد يتسبب ذلك في استخدام غير ضروري لذاكرة التخزين المؤقت للتعليمات الخاصة بوحدة المعالجة المركزية
  • قد يؤدي هذا أيضًا إلى تقليل موضع البيانات
• قد يتم إنفاق الوقت والجهد في اختبار وصيانة وتوثيق التعليمات البرمجية التي لا يتم استخدامها مطلقًا
  • أحيانًا يكون الاختبار الآلي هو الشيء الوحيد الذي يستخدم الكود.

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

قد توجد التعليمات البرمجية غير القابلة للوصول لأسباب عديدة، مثل:

• أخطاء البرمجة في الفروع الشرطية المعقدة
• نتيجة للتحويلات الداخلية التي يقوم بها مترجم مُحسِّن ؛
• اختبار غير مكتمل للتعليمات البرمجية الجديدة أو المعدلة
• الكود القديم
  • تم استبدال الكود بتنفيذ آخر
  • كود غير قابل للوصول قرر المبرمج عدم حذفه لأنه مختلط بكود قابل للوصول
  • كود قابل للوصول إليه لا تحتاجه حالات الاستخدام الحالية أبدًا
  • كود خامل يتم الاحتفاظ به عمداً تحسباً للحاجة إليه لاحقاً
• الكود المستخدم لأغراض تصحيح الأخطاء فقط.

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

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

في هذا الجزء من كود لغة C:

دالة foo ( int x , int y ) { return x + y ; int z = x + y ; }

لا يتم الوصول إلى التعريف أبدًا لأن الدالة تعود دائمًا قبل ذلك. لذلك، لا يحتاج المتغير إلى تخصيص مساحة تخزين أو تهيئته.intz=x+y;z

static OSStatus SSLVerifySignedServerKeyExchange ( SSLContext * ctx , bool isRsa , SSLBuffer signedParams , uint8_t * signature , uint16_t signatureLen ) { OSStatus err ; // ... if (( err = SSLHashSHA1 . update ( & hashCtx , & serverRandom )) != 0 ) goto fail ; if (( err = SSLHashSHA1 . update ( & hashCtx , & signedParams )) != 0 ) goto fail ; goto fail ; if (( err = SSLHashSHA1 . final ( & hashCtx , & hashOut )) != 0 ) goto fail ;// ... فشل : SSLFreeBuffer ( & signedHashes ); SSLFreeBuffer ( & hashCtx ); return err ; }

يُعدّ اكتشاف التعليمات البرمجية غير القابلة للوصول أحد أشكال تحليل تدفق التحكم، ويهدف إلى تحديد التعليمات البرمجية التي لا يمكن الوصول إليها في أي حالة من حالات البرنامج. في بعض لغات البرمجة (مثل جافا ^{[ 9 ]} )، تُمنع بعض أنواع التعليمات البرمجية غير القابلة للوصول صراحةً. وتُعرف عملية التحسين التي تُزيل هذه التعليمات البرمجية باسم " إزالة التعليمات البرمجية غير المستخدمة" .

قد يصبح الكود غير قابل للوصول إليه نتيجة للتحويلات التي يقوم بها المترجم المحسن (على سبيل المثال، حذف التعبيرات الفرعية المشتركة ).

عمليًا، يؤثر مدى تعقيد التحليل بشكل كبير على كمية التعليمات البرمجية غير القابلة للوصول التي يتم اكتشافها. على سبيل المثال، يُظهر طي الثوابت وتحليل التدفق البسيط أن الجزء الداخلي من عبارة if في التعليمات البرمجية التالية غير قابل للوصول:

int n = 2 + 1 ;إذا كان ( ن == 4 ) { // غير قابل للوصول }

ومع ذلك، هناك حاجة إلى قدر أكبر من التعقيد لمعرفة أن الكتلة المقابلة غير قابلة للوصول في الكود التالي:

#include <math.h>double x = sqrt ( 2 );إذا كان ( س > 5 ) { // غير قابل للوصول }

تندرج تقنية إزالة التعليمات البرمجية التي لا يمكن الوصول إليها ضمن نفس فئة التحسينات مثل إزالة التعليمات البرمجية الميتة وإزالة التعليمات البرمجية الزائدة .

تسمح بعض لغات البرمجة بتحديد التعليمات البرمجية بشكل صريح على أنها غير قابلة للوصول:

• ج : عبر الماكرو (في ) ^{[ 10 ]}unreachable()<stddef.h>
• C++ : عبر الدالة (في )، وهي ^{[ 11 ]}std::unreachable()<utility>[[noreturn]]
• C# : يمكن الإشارة إلى ذلك باستخدام الفئة، باستخدام الطريقة ^{[ 12 ]}System.Diagnostics.DebugDebug.Fail()
• جافا : عادة ما يتم تمييزها عن ^طريق طرح الاستثناء ^[ 13 ^]java.lang.AssertionError
• Rust : عبر الماكرو ^{[ 14 ]}unreachable!()
• Swift : عبر ، أو الدوال التي تُرجع ^{[ 15 ]}fatalError()Never
• زيج : عبر unreachableالكلمة المفتاحية ^{[ 16 ]}

• تغطية التعليمات البرمجية
• كود زائد
• رمز ميت
• رمز أوكس بو
• مشكلة التوقف – المشكلة العامة المتمثلة في تحديد ما إذا كان جزء من التعليمات البرمجية غير قابل للوصول إليه هي على الأقل بنفس صعوبة مشكلة التوقف، وبالتالي فهي غير قابلة للحل

• أبيل، أ. و. 1998. التنفيذ الحديث للمترجمات في جافا. مطبعة جامعة كامبريدج.
• موشنيك، الفصل الدراسي الثاني، 1997، تصميم وتنفيذ المترجمات المتقدمة. مورغان كوفمان.