التمرير المثالي

جزء من قسم Object Oriented Programming في رحلة C++ على Coddy — الدرس 84 من 104.

عند كتابة دالات القوالب (template functions) التي تقبل وسائط وتمررها إلى دالات أخرى، تظهر مشكلة: كيف تحافظ على ما إذا كان الوسيط الأصلي lvalue أو rvalue؟ يحل Perfect forwarding هذه المشكلة عن طريق تمرير الوسائط تماماً كما تم استلامها، مع الحفاظ على فئة قيمتها (value category).

المكونات الأساسية هي مراجع التمرير (forwarding references) (تُكتب كـ T&& في سياق القوالب) و std::forward. يمكن لمرجع التمرير الارتباط بكل من lvalues و rvalues، ويقوم std::forward بتحويل الوسيط (argument) بشكل مشروط إلى نوعه الأصلي:

#include <iostream>
#include <utility>

void process(int& x) { std::cout << "lvalue: " << x << "\n"; }
void process(int&& x) { std::cout << "rvalue: " << x << "\n"; }

template<typename T>
void wrapper(T&& arg) {
    process(std::forward<T>(arg));
}

int main() {
    int n = 10;
    wrapper(n);       // يستدعي process(int&) - تم الحفاظ على lvalue
    wrapper(20);      // يستدعي process(int&&) - تم الحفاظ على rvalue
}

بدون std::forward، تكون المعاملات المسماة دائمًا lvalues داخل الدالة، حتى لو تم تمرير rvalue. سيمنع هذا دلالات النقل (move semantics) من العمل بشكل صحيح عند التوجيه إلى المشيدات أو الدوال الأخرى.

يعد التمرير المثالي (Perfect forwarding) أمراً ضرورياً لكتابة دوال المصنع (factory functions)، وفئات الغلاف (wrapper classes)، وأي كود عام يحتاج إلى إنشاء كائنات أو استدعاء دوال مع الحفاظ على نية المستدعي فيما يتعلق بعمليات النقل مقابل النسخ.

التحدي

سهل

لنقم ببناء دالة مصنع (factory function) توضح التمرير المثالي (perfect forwarding) من خلال إنشاء كائنات مع الحفاظ على فئة القيمة (value category) للوسائط الممررة إليها. ستقوم بإنشاء دالة make_object عامة تقوم بتمرير الوسائط إلى منشئ الفئة (class constructor)، مما يضمن نسخ الـ lvalues ونقل الـ rvalues.

ستقوم بتنظيم الكود الخاص بك عبر ثلاثة ملفات:

Widget.h: قم بتعريف فئة Widget التي تتبع كيفية استلام بياناتها.
يجب أن تقوم فئة Widget بتخزين اسم من نوع std::string وقيمة من نوع int. قم بتوفير منشئين (constructors):
- واحد يأخذ const std::string& (مرجع lvalue) و int — يطبع "Widget constructed (copy): [name]"
- واحد يأخذ std::string&& (مرجع rvalue) و int — يطبع "Widget constructed (move): [name]" ويقوم بنقل السلسلة النصية
أضف أيضاً دالة display() تطبع "[name]: [value]".
Factory.h: أنشئ دالة المصنع ذات التمرير المثالي.
اكتب دالة قالب (template function) باسم make_object تقبل مرجع تمرير (forwarding reference) للاسم و int عادياً للقيمة. استخدم std::forward لتمرير وسيط الاسم إلى منشئ Widget مع الحفاظ على فئة قيمته الأصلية.

يجب أن تعيد الدالة كائن Widget الذي تم إنشاؤه بالقيمة (by value).
main.cpp: اقرأ مدخلين:
1. اسم (string)
2. قيمة (integer)
قم بتوضيح التمرير المثالي عن طريق إنشاء كائنين من نوع widget:
1. أولاً، قم بتخزين الاسم في متغير محلي ومرره إلى make_object كـ lvalue
2. ثانياً، قم بتمرير سلسلة نصية مؤقتة (نفس الاسم مضافاً إليه "_temp") مباشرة إلى make_object كـ rvalue
بعد إنشاء كل widget، استدعِ دالة display() الخاصة به.

على سبيل المثال، مع المدخلات Gadget و 42:

Widget constructed (copy): Gadget
Gadget: 42
Widget constructed (move): Gadget_temp
Gadget_temp: 42

مع المدخلات Device و 100:

Widget constructed (copy): Device
Device: 100
Widget constructed (move): Device_temp
Device_temp: 100

الفكرة الجوهرية هي أن دالة make_object لا تعرف ما إذا كانت قد استلمت lvalue أو rvalue—ولكن باستخدام std::forward، فإنها تحافظ على تلك المعلومات عند استدعاء منشئ Widget. يسمح هذا لعملية حل التحميل الزائد للمنشئ (constructor overload resolution) باختيار الإصدار المناسب، مما يتيح عمليات نقل فعالة للكائنات المؤقتة مع نسخ المتغيرات المسماة بأمان.

ورقة مرجعية

يسمح التمرير المثالي (Perfect forwarding) لدوال القوالب (template functions) بتمرير الوسائط إلى دوال أخرى مع الحفاظ على فئة القيمة الأصلية (lvalue أو rvalue).

تستخدم هذه الآلية مراجع التمرير (T&& في سياق القالب) مدمجة مع std::forward:

#include <utility>

template<typename T>
void wrapper(T&& arg) {
    process(std::forward<T>(arg));
}

يمكن لمرجع التمرير الارتباط بكل من lvalues و rvalues. يقوم std::forward<T> بتحويل الوسيط شرطياً إلى نوعه الأصلي.

بدون std::forward، يتم التعامل مع المعاملات المسماة داخل الدالة دائماً كـ lvalues، حتى لو تم تمرير rvalue. سيؤدي هذا إلى منع دلالات النقل (move semantics) من العمل بشكل صحيح.

مثال يوضح الحفاظ على فئة القيمة:

void process(int& x) { std::cout << "lvalue: " << x << "\n"; }
void process(int&& x) { std::cout << "rvalue: " << x << "\n"; }

template<typename T>
void wrapper(T&& arg) {
    process(std::forward<T>(arg));
}

int n = 10;
wrapper(n);       // Calls process(int&) - lvalue preserved
wrapper(20);      // Calls process(int&&) - rvalue preserved

يعد التمرير المثالي ضرورياً لدوال المصنع (factory functions)، وفئات الغلاف (wrapper classes)، والكود العام (generic code) الذي ينشئ الكائنات أو يستدعي الدوال مع الحفاظ على قصد المستدعي فيما يتعلق بالنقل مقابل النسخ.

جرّب بنفسك

#include <iostream>
#include <string>
#include "Widget.h"
#include "Factory.h"

using namespace std;

int main() {
    // قراءة المدخلات
    string name;
    int value;
    cin >> name >> value;
    
    // TODO: إنشاء أول widget عن طريق تمرير name كـ lvalue
    // قم بتخزين name في متغير محلي وتمريره إلى make_object
    
    
    // TODO: استدعاء display() على أول widget
    
    
    // TODO: إنشاء ثاني widget عن طريق تمرير سلسلة نصية مؤقتة كـ rvalue
    // قم بتمرير (name + "_temp") مباشرة إلى make_object
    
    
    // TODO: استدعاء display() على ثاني widget
    
    
    return 0;
}