القيمة (علوم الحاسوب)

تستخدم بعض لغات البرمجة مفهومي القيم اليسرى واليمنى ، المستمدين من طريقة التقييم المعتادة على جانبي عبارة الإسناد. تشير القيمة اليسرى إلى كائن يبقى موجودًا بعد انتهاء التعبير المستخدم. أما القيمة اليمنى فهي قيمة مؤقتة لا تبقى موجودة بعد انتهاء التعبير الذي يستخدمها. ^{[ 5 ]}

تم تقديم مفهومي القيم اليسرى واليمنى بواسطة لغة البرمجة المدمجة (CPL). وتُشابه مفاهيم القيمة اليمنى والقيمة اليسرى والقيمة اليمنى/القيمة اليسرى في التعبير أنماط المعاملات التالية : معامل الإدخال (له قيمة)، ومعامل الإخراج (يمكن تعيين قيمة له)، ومعامل الإدخال/الإخراج (له قيمة ويمكن تعيين قيمة له)، على الرغم من اختلاف التفاصيل التقنية بين السياقات واللغات.

في العديد من لغات البرمجة، وخاصةً عائلة C ، تمتلك القيم من النوع l عناوين تخزين يمكن للبرنامج قيد التشغيل الوصول إليها برمجيًا (على سبيل المثال، عبر عامل عنوان مثل &C/C++)، مما يعني أنها متغيرات أو مراجع غير مُشار إليها لموقع ذاكرة مُحدد. يمكن أن تكون القيم من النوع R قيمًا من النوع l (انظر أدناه) أو قيمًا غير l - وهو مصطلح يُستخدم فقط للتمييز بينها وبين قيم l. لنأخذ التعبير C التالي كمثال 4 + 9. عند تنفيذه، يُولّد الحاسوب قيمة عددية صحيحة تساوي 13، ولكن نظرًا لأن البرنامج لم يُحدد صراحةً مكان تخزين هذه القيمة 13 في الحاسوب، فإن التعبير يُعتبر قيمة غير l. من ناحية أخرى، إذا أعلن برنامج C عن متغير xوأسند إليه القيمة 13 x، فإن التعبير xسيحمل القيمة 13 ويُعتبر قيمة l.

في لغة C، كان مصطلح l-value يعني في الأصل شيئًا يمكن إسناده (ومن هنا جاء الاسم، مما يشير إلى أنه يقع على الجانب الأيسر من عامل الإسناد)، ولكن منذ constإضافة الكلمة المحجوزة (constant) إلى اللغة، أصبح المصطلح الآن "قيمة l-value قابلة للتعديل". في C++11، يوجد رمز دلالي خاص &&(لا ينبغي الخلط بينه وبين &&العامل المستخدم للعمليات المنطقية)، للدلالة على استخدام/الوصول إلى عنوان التعبير للمترجم فقط ؛ أي أنه لا يمكن استرداد العنوان باستخدام &عامل address-of أثناء وقت تشغيل البرنامج (انظر استخدام دلالات النقل ). أدت إضافة دلالات النقل إلى تعقيد تصنيف القيم بإضافة مفهوم x-value (القيمة المنتهية الصلاحية) الذي يشير إلى كائن يقترب من نهاية دورة حياته ويمكن إعادة استخدام موارده (عادةً عن طريق نقلها). وقد أدى ذلك أيضاً إلى إنشاء فئتي gl-value (القيمة المعممة l) وهي قيم l و x، و pr-values ​​(القيم r النقية) وهي قيم r ليست قيم x. ^{[ 6 ]}

يمكن تطبيق هذا النوع من المراجع على جميع القيم المرجعية، بما في ذلك القيم غير المُعرَّفة في السجل (غير l) والقيم المُعرَّفة في السجل (l). توفر بعض المعالجات تعليمة واحدة أو أكثر تأخذ قيمة فورية ، ويُشار إليها اختصارًا بـ "imm". تُخزَّن القيمة الفورية كجزء من التعليمة التي تستخدمها، وعادةً ما تُستخدم لتحميل قيمة في سجل، أو إضافتها إليه، أو طرحها منه. أما الأجزاء الأخرى من التعليمة فهي رمز العملية (opcode ) والوجهة (destination). قد تكون الوجهة ضمنية. (قد توجد القيمة غير الفورية في سجل، أو تُخزَّن في مكان آخر في الذاكرة، مما يتطلب أن تحتوي التعليمة على عنوان مباشر أو غير مباشر [مثل عنوان سجل الفهرس] لهذه القيمة).

يشير تعبير القيمة l إلى كائن. يمكن الوصول إلى تعبير القيمة l غير القابل للتعديل، ولكن لا يمكن تعيين قيمته. أما تعبير القيمة l القابل للتعديل فيتيح تغيير الكائن المُشار إليه وفحصه. القيمة r هي أي تعبير، والقيمة غير l هي أي تعبير ليس قيمة l. ومن الأمثلة على ذلك "القيمة المباشرة" (انظر أعلاه)، وبالتالي فهي غير قابلة للوصول.