عرض مصدر تعليمة إخراج ناتج

{{ترجمة آلية}}

'''تعليمة إخراج ناتج''' ([[اللغة الإنجليزية|بالإنجليزية]]: Return statement)حيث في [[برمجة|برمجة الكمبيوتر]]، '''يتسبب بيان الإرجاع''' في ترك التنفيذ [[دالة (برمجة)|للروتين الفرعي]] الحالي واستئنافه عند النقطة في الكود مباشرة بعد التعليمات التي تسمى الروتين الفرعي، والمعروف باسم '''عنوان الإرجاع الخاص به''' . يتم حفظ عنوان المرسل من خلال روتين الاستدعاء، اليوم عادة في [[مكدس الاستدعاءات|مكدس نداءات]] [[عملية (حوسبة)|العملية]] أو في [[سجل المعالج|سجل]]. تسمح عبارات الإرجاع في العديد من اللغات للدالة بتحديد '''قيمة إرجاع''' ليتم تمريرها مرة أخرى إلى [[نص برمجي مصدري|الكود]] الذي يسمى الوظيفة.
== ملخص ==
في [[سي (لغة برمجة)|لغة برمجة سي]] و[[سي++|سي ++]]، قم <code>return ''exp'' ;</code> (حيث <code>''exp''</code> عبارة عن [[التعبير (البرمجة)|تعبير]]) هو [[عبارة (علم الحاسوب)|بيان]] يخبر الدالة بإرجاع تنفيذ البرنامج إلى الوظيفة المستدعية، والإبلاغ عن قيمة <code>''exp''</code> . إذا كانت الوظيفة تحتوي على نوع الإرجاع [[نوع باطل|فارغ]]، فيمكن استخدام تعليمة الإرجاع بدون قيمة، وفي هذه الحالة ينفصل البرنامج عن الوظيفة الحالية ويعود إلى الوظيفة المستدعية.

في [[باسكال (لغة برمجة)|باسكال]] لا يوجد بيان عودة. (ومع ذلك، في باسكال الأحدث، يمكن استخدام <code>Exit(''exp'');</code> لإرجاع قيمة على الفور. بدون معلمات، فقط يكسر الإجراء.) يعود الروتين الفرعي تلقائيًا عندما يصل التنفيذ إلى آخر جملة قابلة للتنفيذ. يمكن إرجاع القيم عن طريق التخصيص لمعرف له نفس اسم الروتين الفرعي، وهي ''وظيفة'' في مصطلحات باسكال. بهذه الطريقة يتم استخدام معرف الوظيفة للمكالمات المتكررة وكحامل النتيجة؛ هذا مشابه لغويًا [[وسيط (برمجة حاسوب)|لمعامل إخراج]] صريح. يتم استخدام نفس الصيغة في [[فورتران|فورتران 66]] و[[فورتران|فورتران 77]] على الرغم من إضافة عبارة إرجاع في [[فورتران|فورتران II]] . في بعض اللغات الأخرى، يتم استخدام متغير نتيجة محدد بواسطة المستخدم بدلاً من معرف الوظيفة.

[[أوبيرون (لغة برمجة)|يحتوي أوبيرون]] ([[أوبيرون 07|Oberon-07]]) على شرط إرجاع بدلاً من تعليمة ريترن (Return). يتم وضع بند الإرجاع بعد البيان الأخير لهيئة الإجراء. يتيح ذلك التحقق من وقت الترجمة لقيمة الإرجاع والإرجاع المناسبة من الإجراء.

تسمح بعض [[لغة البرمجة التعبيرية|لغات البرمجة الموجهة للتعبير]]، مثل [[ليسب]] و[[بيرل]] و[[روبي (لغة برمجة)|روبي]]، للمبرمج بحذف عبارة إرجاع صريحة، مع تحديد بدلاً من ذلك أن آخر تعبير تم تقييمه هو القيمة المرتجعة للروتين الفرعي.

في حالات أخرى، يتم إرجاع القيمة نول إذا لم يكن هناك بيان إرجاع صريح: في [[بايثون (لغة برمجة)|بايثون]]، <code>None</code> عند حذف عبارة الإرجاع، بينما في جافا سكريبت يتم إرجاع <code>undefined</code>

في [[باورشل|ويندوز باور شيل]] جميع أشكال التعبير تقييمها والتي لا يتم القبض (على سبيل المثال، تعيين متغير، [[التحويل في c++|يلقي]] إلى [[نوع باطل|الفراغ]] أو [[خط الأنابيب (يونكس)|الأنابيب]] إلى [[/dev/null|$ لاغية]]) يتم إرجاعها من روتين كعناصر في صفيف، أو ككائن واحد في حالة أن كائن واحد فقط لم يتم القبض عليه.

في لغة Perl، يمكن أن تعتمد القيمة المرتجعة أو قيم الروتين الفرعي على السياق الذي تم استدعاؤه فيه. التمييز الأساسي هو [[متغير (علم الحاسوب)|السياق القياسي]] حيث يتوقع رمز الاستدعاء قيمة واحدة، [[قائمة (نوع بيانات مجرد)|سياق قائمة]] حيث يتوقع رمز الاستدعاء قائمة من القيم [[نوع باطل|وسياق فارغ]] حيث لا يتوقع رمز الاستدعاء أي قيمة مرتجعة على الإطلاق. يمكن أن يتحقق روتين فرعي من السياق باستخدام وظيفة <code>wantarray</code> يتم استخدام بناء جملة خاص للإرجاع بدون وسيطات لإرجاع قيمة غير محددة في سياق الحجمي وقائمة فارغة في سياق القائمة. يمكن تقسيم السياق القياسي إلى سياقات [[نوع البيانات المنطقية|منطقية]] ورقم [[سلسلة (علم الحاسوب)|وسلسلة]] وأنواع [[المرجع (علوم الكمبيوتر)|مرجعية]] مختلفة. أيضًا، [[كائن (حوسبة)|يمكن إرجاع كائن]] حساس للسياق باستخدام تسلسل إرجاع سياقي، مع [[تثمين كسول|تقييم كسول]] للقيم القياسية.

تسمح العديد من [[نظام تشغيل|أنظمة التشغيل]] للبرنامج بإرجاع نتيجة (منفصلة عن [[تيارات البيانات الموحدة|المخرجات]] العادية) عند انتهاء العملية؛ يشار إلى هذه القيم باسم [[رمز الإرجاع|رموز الإرجاع]]، أو بشكل أكثر تحديدًا [[حالة الانتهاء|حالات الخروج]]. كمية المعلومات التي يمكن تمريرها بهذه الطريقة محدودة للغاية، وغالبًا ما تقتصر في الممارسة العملية على الإشارة إلى النجاح أو الفشل. من داخل البرنامج، يتم تحقيق هذا الإرجاع عادةً عن طريق استدعاء [[خروج (استدعاء النظام)|Exit (استدعاء النظام)]] (شائع حتى في C، حيث تتوفر آلية بديلة للعودة من [[الوظيفة الأساسية|الوظيفة الرئيسية]]).
== بناء الجملة ==
تأتي عبارات الإرجاع في أشكال عديدة. الصيغ التالية هي الأكثر شيوعًا:
{| class="wikitable" border="1"
!لغة
!بيان العودة
!إذا تم حذف القيمة، قم بإرجاعها
|-
|[[أيدا (لغة برمجة)]]، [[قذيفة بورن|بورن شيل]]، <ref>in the Bourne shell, only integers in the range 0-255 may be returned: https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html#return {{Webarchive|url=https://web.archive.org/web/20211105225532/https://pubs.opengroup.org/onlinepubs/9699919799/utilities/V3_chap02.html |date=5 نوفمبر 2021}}</ref> [[سي (لغة برمجة)|C]]، [[سي++|C ++]]، [[جافا (لغة برمجة)|جافا]]، [[بي إتش بي]]، [[سي شارب]]، [[جافا سكريبت]]، [[دي (لغة برمجة)|D]]
|<syntaxhighlight lang="c">return value;</syntaxhighlight>
|في بورن شيل، قيمة الخروج من آخر أمر تم تنفيذه في الوظيفة
في C <ref>https://msdn.microsoft.com/en-us/library/sta56yeb.aspx MSDN: return Statement (C) {{Webarchive|url=https://web.archive.org/web/20170717163654/https://msdn.microsoft.com/en-us/library/sta56yeb.aspx|date=2017-07-17}}</ref> و C ++، <ref>https://msdn.microsoft.com/en-us/library/k68ktdwf.aspx MSDN: return Statement (C++) {{Webarchive|url=https://web.archive.org/web/20180924204845/https://msdn.microsoft.com/en-us/library/k68ktdwf.aspx|date=2018-09-24}}</ref> [[سلوك غير محدد|سلوك غير معرف]] إذا كانت الوظيفة إرجاع القيمة

في [[بي إتش بي]]، تُرجع <ref>{{استشهاد ويب
| مسار = http://www.php.net/manual/en/function.return.php
| عنوان = PHP: return - Manual
| موقع = PHP Manual
| ناشر = The PHP Group
| تاريخ الوصول = 26 March 2013
| مسار أرشيف = https://web.archive.org/web/20211030062454/https://www.php.net/manual/en/function.return.php | تاريخ أرشيف = 30 أكتوبر 2021 }}</ref> <code>NULL</code>

في [[جافا سكريبت]]، <ref>{{استشهاد ويب
| مسار = https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Statements/return
| عنوان = Return - Javascript
| موقع = MDN Javascript Reference
| ناشر = Mozilla Developer Network
| تاريخ الوصول = 27 March 2013
| مسار أرشيف = https://web.archive.org/web/20130527073603/https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Statements/return | تاريخ أرشيف = 27 مايو 2013 }}</ref> تُرجع القيمة [https://developer.mozilla.org/en-US/docs/JavaScript/Reference/Global_Objects/undefined <code>undefined</code>]

في [[جافا (لغة برمجة)|جافا]] و[[سي شارب]]، غير مسموح بها إذا كانت الوظيفة إرجاع القيمة
|-
|[[بيسيك|أساسي]]
|<syntaxhighlight lang="qbasic">RETURN</syntaxhighlight>
|
|-
|[[ليسب|لثغة]]
|<syntaxhighlight lang="lisp">(return value)</syntaxhighlight>
|قيمة البيان الأخير
|-
|[[بيرل]]، [[روبي (لغة برمجة)|روبي]]
|<syntaxhighlight lang="perl">return @values;
return $value;
return;</syntaxhighlight>أو تسلسل إرجاع سياقي
|قيمة البيان الأخير
|-
|[[رر / أنا|بيرل / أنا]]
|
 العودة (التعبير)؛
 إرجاع؛
|[[سلوك غير محدد]] إذا تم التصريح عن الإجراء بأنه إرجاع قيمة
|-
|[[بايثون (لغة برمجة)|بايثون]]
|<syntaxhighlight lang="python">return value</syntaxhighlight>
|<code>None</code>
|-
|[[سمول توك|حديث قصير]]
|<syntaxhighlight lang="smalltalk">^ value</syntaxhighlight>
|
|-
|[[تي سي إل|تى سى ال]]
|<syntaxhighlight lang="Tcl" class="nowrap">return
return $value
return -code error "Error message"</syntaxhighlight>أو مجموعة أكثر تعقيدًا من الخيارات
|قيمة البيان الأخير
|-
|[[فيجوال بيسك دوت نت|البصرية الأساسية .]] [[فيجوال بيسك دوت نت|صافي]]
|<syntaxhighlight lang="vbnet">Return value</syntaxhighlight>
|
|-
|[[باورشل|نوافذ بوويرشيل]]
|<syntaxhighlight lang="ps1">return value;</syntaxhighlight>
|موضوع
|-
|[[تجميع X86|تجميع x86]]
|<syntaxhighlight lang="asm">ret</syntaxhighlight>
|محتويات سجل eax (عن طريق الاتفاقيات)
|}
في بعض [[لغة التجميع|لغات التجميع]]، على سبيل المثال، بالنسبة [[المعالج موس تكنولوجي 6502|لتقنية المعالج موس تكنولوجي 6502]]، يتم استخدام العودة من الروتين الفرعي ([[اللغة الإنجليزية|بالإنجليزية]]: (RTS)ReTurn from Subroutine).
== عبارات عودة متعددة ==
اللغات التي تحتوي على بيان عودة صريح تخلق إمكانية عبارات إرجاع متعددة في نفس الوظيفة. سواء كان هذا أمرًا جيدًا أم لا، فهو أمر مثير للجدل.

[[برمجة مهيكلة|يتأكد أنصار البرمجة المهيكلة]] الأقوياء من أن كل وظيفة لها مدخل واحد ومخرج واحد (SESE). وبالتالي، فقد قيل <ref>[http://www.fredosaurus.com/notes-cpp/functions/return.html C++ Notes: Function return Statement] {{Webarchive|url=https://web.archive.org/web/20210421225044/http://fredosaurus.com/notes-cpp/functions/return.html|date=2021-04-21}}</ref> أنه ينبغي على المرء تجنب استخدام بيان الإرجاع الصريح إلا في نهاية النص من روتين فرعي، مع الأخذ في الاعتبار أنه عند استخدامه «للعودة مبكرًا»، فقد يعاني من نفس النوع من المشاكل التي تنشأ عن بيان [[اذهب إلى|GOTO.]] على العكس من ذلك، يمكن القول إن استخدام تعليمة الإرجاع مفيد عندما يكون البديل هو رمز أكثر تعقيدًا، مثل التداخل الأعمق، مما يضر بالقراءة.

في كتابه المدرسي لعام 2004، كتب [[ديفيد وات]] أن «تدفقات التحكم في الدخول المتعدد والمخارج تكون مرغوبة في كثير من الأحيان». باستخدام مفهوم إطار عمل تينينت (Tennent) الخاص بـ المنظم ([[S- الجول|Sequencer)]]، يصف وات بشكل موحد تركيبات تدفق التحكم الموجودة في لغات البرمجة المعاصرة ويحاول شرح سبب تفضيل أنواع معينة من أجهزة التسلسل على الأنواع الأخرى في سياق تدفقات التحكم متعدد المخارج. يكتب وات أن goos غير المقيدة (متسلسلات القفز) سيئة لأن وجهة القفزة لا تشرح نفسها لقارئ البرنامج حتى يجد القارئ ويفحص التسمية أو العنوان الفعلي الذي هو هدف القفزة. في المقابل، يجادل وات بأن القصد المفاهيمي لمسلسل العودة واضح من سياقه الخاص، دون الحاجة إلى فحص وجهته. علاوة على ذلك، يكتب وات أن فئة من أجهزة التسلسل المعروفة باسم «''متسلسلات الهروب»''، والتي تُعرف باسم «جهاز التسلسل الذي ينهي تنفيذ أمر أو إجراء يتضمن نصًا»، يشمل كلا [[تدفق السيطرة|من الفواصل]] من الحلقات (بما في ذلك الفواصل متعددة المستويات) وبيانات الإرجاع. يلاحظ وات أيضًا أنه في حين تم تقييد متسلسلات القفز (gotos) إلى حد ما في لغات مثل سي، حيث يجب أن يكون الهدف داخل الكتلة المحلية أو كتلة خارجية شاملة، فإن هذا التقييد وحده لا يكفي لجعل القصد من جوتوز في سي سيلف - الوصف وبالتالي لا يزال بإمكانهم إنتاج «[[رماز متشابك|كود السباغيتي]]». يفحص وات أيضًا كيف تختلف متواليات الاستثناءات عن متواليات الهروب والقفز؛ للحصول على تفاصيل حول هذا راجع المقالة حول [[برمجة مهيكلة|البرمجة المهيكلة]].<ref name="WattFindlay2004">{{استشهاد بكتاب
| مؤلف1 = David Anthony Watt
| مؤلف2 = William Findlay
| عنوان = Programming language design concepts
| مسار = https://archive.org/details/programminglangu00watt_497
| سنة = 2004
| ناشر = John Wiley & Sons
| ISBN = 978-0-470-85320-7
| صفحات = [https://archive.org/details/programminglangu00watt_497/page/n233 215]-221
}}</ref>

ووفقا للدراسات التجريبية التي ذكرها [[إريك س روبرتس|اريك روبرتس S.]]، كان المبرمجين الطالب صعوبة وضع حلول صحيحة لعدة مشاكل بسيطة في لغة مثل [[باسكال (لغة برمجة)|باسكال]]، الذي لا يسمح نقاط الخروج متعددة. بالنسبة لمشكلة كتابة دالة للبحث الخطي عن عنصر في مصفوفة، وجدت دراسة أجراها هنري شابيرو عام 1980 (استشهد بها روبرتس) أنه باستخدام هياكل التحكم التي يوفرها باسكال فقط، تم إعطاء الحل الصحيح بنسبة 20٪ فقط من الأشخاص. بينما لم يكتب أي موضوع رمزًا غير صحيح لهذه المشكلة إذا سمح لكتابة إرجاع من منتصف الحلقة.<ref name="roberts">Roberts, E. [1995] “Loop Exits and Structured Programming: Reopening the Debate,” ACM SIGCSE Bulletin, (27)1: 268–272.</ref>

يجادل آخرون، بما في ذلك [[كينت بيك]] [[مارتن فاولر|ومارتن فاولر،]] بأن جملة أو أكثر من [[الحرس (علوم الكمبيوتر)|جمل الحماية]] - عبارات العودة «للخروج المبكر» الشرطي بالقرب من بداية الوظيفة - غالبًا ما تجعل قراءة الدالة أسهل من القراءة البديلة.<ref>Martin Fowler, Kent Beck, John Brant, William Opdyke, Don Roberts. [https://books.google.com/books?id=HmrDHwgkbPsC "Refactoring: Improving the Design of Existing Code (Google eBook)"]. section "Replace Nested Conditional with Guard Clauses". 2012. p. 237, p. 250. quote: "... one exit point mentality ... I don't follow the rule about one exit point from a method." {{Webarchive|url=https://web.archive.org/web/20150417222642/http://books.google.com/books?id=HmrDHwgkbPsC |date=17 أبريل 2015}}</ref> <ref>Kent Beck. [https://books.google.com/books?id=xLyXPCxBhQUC "Implementation Patterns"]. 2007. "Chapter 7: Behavior", section "Guard Clause". {{Webarchive|url=https://web.archive.org/web/20161001194511/https://books.google.com/books?id=xLyXPCxBhQUC&hl=en |date=1 أكتوبر 2016}}</ref> <ref>[http://www.javapractices.com/topic/TopicAction.do?Id=114 "Multiple return statements"] {{Webarchive|url=https://web.archive.org/web/20200801223025/http://www.javapractices.com:80/topic/TopicAction.do?Id=114|date=2020-08-01}}</ref> <ref>Fred Swartz. [http://www.leepoint.net/JavaBasics/methods/method-commentary/methcom-30-multiple-return.html "Return statements and the single exit fantasy"]. {{Webarchive|url=https://web.archive.org/web/20200223081346/http://leepoint.net:80/JavaBasics/methods/method-commentary/methcom-30-multiple-return.html|date=2020-02-23}}</ref>

المشكلة الأكثر شيوعًا في الإنهاء المبكر هي عدم تنفيذ عمليات التنظيف أو العبارات النهائية - على سبيل المثال، الذاكرة المخصصة ليست غير مخصصة، أو الملفات المفتوحة ليست مغلقة، مما يتسبب في حدوث تسريبات. يجب أن يتم ذلك في كل موقع إرجاع، حيث يكون هشًا ويمكن أن ينتج عنه أخطاء بسهولة. على سبيل المثال، في التطوير اللاحق، يمكن للمطور أن يتجاهل بيان الإرجاع، وقد لا يتم تنفيذ الإجراء الذي يجب تنفيذه في نهاية روتين فرعي (على سبيل المثال، [[تتبع (برمجيات)|بيان التتبع]]) في جميع الحالات. اللغات التي لا تحتوي على تعليمة عودة، مثل لغة [[باسكال (لغة برمجة)|باسكال القياسية، لا تعاني من]] هذه المشكلة. تستخدم بعض اللغات، مثل C ++ وبايثون، مفاهيم تسمح بتنفيذ الإجراءات تلقائيًا عند العودة (أو رمي الاستثناءات) مما يخفف من بعض هذه المشكلات - وغالبًا ما تُعرف هذه باسم «المحاولة / النهائية» أو ما شابه ذلك. يمكن تنفيذ وظائف مثل هذه الجمل «النهائية» من خلال الانتقال إلى نقطة العودة الفردية للروتين الفرعي. الحل البديل هو استخدام فك الرصة العادي (إلغاء التخصيص المتغير) عند خروج الوظيفة لإلغاء تخصيص الموارد، مثل عبر المدمرات على المتغيرات المحلية، أو آليات مماثلة مثل بيان بايثون «مع».

قامت بعض التطبيقات المبكرة للغات مثل باسكال و ++C الأصلي بتقييد الأنواع التي يمكن إرجاعها بواسطة دالة (على سبيل المثال، عدم دعم [[سجل (علوم الكمبيوتر)|أنواع التسجيلات]] أو [[Struct (لغة برمجة C)|الهياكل]]) لتبسيط [[مصرف (حوسبة)|مترجميها]].

في لغة البرمجة [[جافا (لغة برمجة)|جافا]] -واللغات المماثلة على غرار ذلك، مثل [[جافا سكريبت]] -من هو ممكن لتنفيذ التعليمات البرمجية حتى بعد بيان المقابل، لأن منع ''أخيرا'' من [[تدبير الحالات الاستثنائية|هيكل محاولة اللحاق]] يتم تنفيذ دائما. لذلك إذا تم وضع تعليمة ''الإرجاع في'' ''مكان ما داخل كتل تراي'' أو ''كاتش،'' فسيتم تنفيذ الكود في ''النهاية'' (إذا تمت إضافته). حتى أنه من الممكن تغيير قيمة الإرجاع لنوع غير بدائي (خاصية لكائن تم إرجاعه بالفعل) لأن الخروج يحدث بعد ذلك أيضًا.<ref>[http://docs.oracle.com/javase/tutorial/essential/exceptions/finally.html The finally Block,The Java Tutorials] {{Webarchive|url=https://web.archive.org/web/20210915154518/https://docs.oracle.com/javase/tutorial/essential/exceptions/finally.html |date=15 سبتمبر 2021}}</ref>

== بيانات العائد ==
عبارات كوزين تو ريترن هي عبارات [[بيان المحصول|العائد]]: حيث تؤدي العودة إلى ''إنهاء'' ''روتين فرعي''، يؤدي العائد إلى ''تعليق'' [[كوروتين|روتين ''مشترك.'']] سيستمر كوروتين لاحقًا من حيث تم تعليقه إذا تم استدعاؤه مرة أخرى. تعتبر كوروتين أكثر انخراطًا في التنفيذ من الإجراءات الفرعية، وبالتالي فإن العبارات الناتجة أقل شيوعًا من عبارات الإرجاع، ولكنها موجودة في عدد من اللغات.

== تسلسل المكالمة / العودة ==
'''عدد من تسلسلات الاستدعاء / الإرجاع المحتملة ممكنة اعتمادًا على مجموعة تعليمات الأجهزة، بما في ذلك ما يلي:'''

# تقوم <code>CALL</code> بدفع عنوان الإرشاد ''التالي'' على المكدس والفروع إلى العنوان المحدد. <code>RETURN</code> عنوان المرسل من المكدس إلى مؤشر التعليمات ويستأنف التنفيذ على هذا العنوان. (أمثلة x86، PDP-11).
# تضع تعليمات <code>CALL</code> ''عنوان التعليمات التالية'' في السجل والفروع على العنوان المحدد. <code>RETURN</code> عنوان المرسل من السجل في مؤشر التعليمات ويستأنف التنفيذ في ذلك العنوان. (مثال IBM System / 360).
# تضع تعليمات <code>CALL</code> ''عنوان التعليمات التالية'' (أو ''الحالية'') في موقع التخزين في عنوان المكالمة والفروع إلى العنوان المحدد + 1. <code>RETURN</code> إلى عنوان المرسل من خلال [[المراوغة|قفزة غير مباشرة]] إلى التعليمات الأولى من الروتين الفرعي. (أمثلة IBM 1130، SDS9XX).

== انظر أيضًا ==
* [[حالة الانتهاء|حالة الخروج]].
== مراجع ==
{{مراجع|2}}
{{شريط بوابات|علم الحاسوب}}

[[تصنيف:الوظائف الفرعية]]