الدوال: الخلاصة والتحديات

ما حقّقته الوحدة

وضعت الوحدة لنفسها غاية أن تعلّم تفكيك المسألة إلى أجزاء ذات أسماء، لكلٍّ منها واجهة وعقد، وحلّ المسائل بالاستدعاء الذاتي. وقد تحقّقت الغاية بالاستناد فقط إلى ما أعلنت المقدمة أنه معلوم: حلقات الوحدة 4، بلامتغيرها ومتغايرها، ومواصفات الدرس 1.1، ونموذج الذاكرة في الوحدة 2. وبرنامج العددين المتحابين، الذي كانت حلقته المنسوخة تجمع قواسم العدد الخطأ، يُكتب الآن بدالة واحدة، تحقّقنا منها مرة واحدة مقابل عقدها.

الدوال

علّم درس الدوال التصريح بالدالة وتعريفها واستدعاءها، وميّز ثلاث لحظات: عند الترجمة يُفحص كل استدعاء مقابل تصريح سبقه؛ وعند الربط يُبحث عن التعريف؛ وعند التنفيذ تُحسب القيم الممرَّرة، ويُنشأ إطار في مكدس الاستدعاءات، وينتقل التحكم إلى الجسم. وبيّن أن بلوغ نهاية دالة ليست void من غير return سلوك غير معرَّف، واختتم بالعقد، أي الشرط المسبق والشرط اللاحق، الذي يوزّع المسؤوليات بين من يستدعي والدالة.

الوسائط ونطاق الرؤية

درس درس الوسائط ونطاق الرؤية الطرق التي تدخل منها البيانات وتخرج منها النتائج: الوسيط بالقيمة نسخة؛ والوسيط بالمرجع اسم ثانٍ لخانة من يستدعي؛ والمرجع الثابت يقرأ دون نسخ. ويلزم عن ذلك قاعدة الاختيار (القيمة للصغير، والمرجع الثابت للكبير الذي يُقرأ، والمرجع فقط إن كان التعديل هو الغاية)، وللنتائج المتعددة std::pair وstd::tuple مع الربط المهيكل. وميّز نطاق رؤية الاسم، وهو خاصية للنص، من مدة حياة المتغير، وهي خاصية للتنفيذ، وانتهى بالمرجع الذي يبقى بعد زوال خانته.

التصميم بالدوال

علّم درس التصميم بالدوال كيف نقرّر أيّ الدوال نكتب، بالتنقيح التدريجي: main قصيرة تستدعي دوال مصرَّحًا بها فقط، ثم النزول إلى كل واحدة منها، بحيث يُرسم التفكيك شجرةً. ووضع معايير الواجهة الجيدة، وقاعدة «دالة واحدة، مهمة واحدة» بعلاماتها (حرف العطف في الاسم، والدالة التي لا تتسع لها شاشة، والراية) وبالآثار الخفية، كالمتغير العام؛ وقدّم التحميل الزائد بترتيب أفضليته وبالاستدعاء الملتبس؛ وأعاد كتابة خوارزميات الوحدة 4 دوالَّ مختبَرة كلٌّ على حدة.

الاستدعاء الذاتي

علّم درس الاستدعاء الذاتي أن الدالة تستطيع أن تستدعي نفسها لتحلّ نسخة أصغر من المسألة. وأثبت الصحة بالاستقراء، بافتراض صحة الاستدعاء الأصغر، والتوقّف بمقياس طبيعي متناقص؛ وتتبّع في المكدس الأطر التي تتراكم ثم تُزال، وبيّن كيف ينفد؛ ونبّه إلى أن نوع النتيجة يفيض قبل المكدس بكثير؛ وقارن فيبوناتشي التراجعي بالتكراري: $2\,692\,537$ استدعاءً مقابل 29 عملية جمع لحساب $F_{30}$.