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

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

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

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

#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) من العمل بشكل صحيح عند التوجيه إلى المنشئات (constructors) أو دوال أخرى.

يعد التمرير المثالي (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) باختيار الإصدار المناسب، مما يتيح عمليات نقل فعالة للكائنات المؤقتة مع نسخ المتغيرات المسماة بأمان.

جرّب بنفسك

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

using namespace std;

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