std::function و std::bind
جزء من قسم Object Oriented Programming في رحلة C++ على Coddy — الدرس 86 من 104.
بينما تُعد تعبيرات لامبدا (lambdas) قوية، قد تحتاج أحياناً إلى تخزين كائنات قابلة للاستدعاء (callable objects) ذات أنواع مختلفة بطريقة موحدة، أو تكييف الدوال الموجودة لتناسب توقيعاً (signature) مطلوباً. توفر std::function و std::bind من الترويسة <functional> حلولاً لهذه المشكلات.
std::function هو غلاف ممسوح النوع (type-erased wrapper) يمكنه الاحتفاظ بأي كائن قابل للاستدعاء يطابق توقيعاً محدداً - الدوال، أو تعبيرات لامبدا (lambdas)، أو كائنات الدوال:
#include <iostream>
#include <functional>
int add(int a, int b) { return a + b; }
int main() {
std::function<int(int, int)> operation;
operation = add; // دالة عادية
std::cout << operation(3, 4) << "\n"; // 7
operation = [](int a, int b) { return a * b; }; // لامدا
std::cout << operation(3, 4) << "\n"; // 12
}يقوم std::bind بإنشاء كائن قابل للاستدعاء (callable) جديد عن طريق تثبيت بعض وسائط دالة موجودة. استخدم std::placeholders::_1، و _2، وما إلى ذلك لتمييز الوسائط التي تظل متغيرة:
#include <iostream>
#include <functional>
void greet(const std::string& greeting, const std::string& name) {
std::cout << greeting << ", " << name << "!\n";
}
int main() {
using namespace std::placeholders;
auto sayHello = std::bind(greet, "Hello", _1);
sayHello("Alice"); // Hello, Alice!
auto swapped = std::bind(greet, _2, _1);
swapped("Bob", "Hi"); // Hi, Bob!
}تعد هذه الأدوات مفيدة بشكل خاص في البرمجة كائنية التوجه (OOP) لتخزين الاستدعاءات الراجعة (callbacks) كأعضاء في الفئة أو تنفيذ نمط الاستراتيجية (Strategy pattern). ومع ذلك، تفضل لغة C++ الحديثة غالباً تعبيرات لامبدا (lambdas) على std::bind لتحسين قابلية القراءة والأداء - استخدم std::bind بشكل أساسي عندما تحتاج إلى إعادة ترتيب الوسائط أو العمل مع الكود القديم (legacy code).
التحدي
سهللنقم ببناء آلة حاسبة قابلة للتكوين توضح قوة std::function و std::bind. ستقوم بإنشاء نظام حيث يمكن تخزين العمليات الرياضية وتبديلها وتخصيصها في وقت التشغيل — مما يوضح كيف تمكن هذه الأدوات من إدارة عمليات الاستدعاء (callbacks) المرنة.
ستقوم بتنظيم الكود الخاص بك عبر ثلاثة ملفات:
MathOperations.h: قم بتعريف مجموعة من الدوال الرياضية المستقلة التي ستكون بمثابة مكتبة العمليات الخاصة بك.أنشئ هذه الدوال:
add(int a, int b)— تعيد المجموعsubtract(int a, int b)— تعيد الفرق (a - b)multiply(int a, int b)— تعيد حاصل الضربpower(int base, int exponent, int multiplier)— تعيدmultiplier * (base ^ exponent). استخدم حلقة بسيطة لحساب القوة (افترض أن الأسس غير سالبة).
Calculator.h: قم بتعريف فئةCalculatorتستخدمstd::functionلتخزين وتنفيذ العمليات ديناميكيًا.يجب أن تحتوي الآلة الحاسبة الخاصة بك على:
- عضو خاص
std::function<int(int, int)>لتخزين العملية الثنائية الحالية setOperation(std::function<int(int, int)> op)— لتعيين العملية الحاليةcalculate(int a, int b)— لتنفيذ العملية المخزنة وإرجاع النتيجة
قم بتضمين العناوين اللازمة (
<functional>) وتأكد من تضمين عنوان MathOperations الخاص بك.- عضو خاص
main.cpp: اقرأ ثلاثة مدخلات:- اسم العملية:
add،subtract،multiply، أوsquare - الرقم الأول (عدد صحيح)
- الرقم الثاني (عدد صحيح)
أنشئ
Calculatorوقم بتكوينها بناءً على اسم العملية:- بالنسبة لـ
addوsubtractوmultiply: قم بتعيين الدالة المقابلة مباشرة للآلة الحاسبة - بالنسبة لـ
square: استخدمstd::bindلإنشاء نسخة متخصصة منpowerتستخدم دائمًا الأس 2 والمضاعف 1. يجب أن تقبل الدالة المرتبطة وسيطين حيث يتم استخدام الأول فقط كأساس (يمكن تجاهل الوسيط الثاني باستخدام placeholder).
بعد تعيين العملية، استدعِ
calculate()مع الرقمين الخاصين بك واطبع:Result: [value]ثم وضح تبديل العمليات عن طريق تعيين lambda تعيد
a + b + 100للآلة الحاسبة، وتشغيلها بنفس المدخلات، وطباعة:With bonus: [value]- اسم العملية:
على سبيل المثال، مع المدخلات add و 10 و 5:
Result: 15
With bonus: 115مع المدخلات multiply و 7 و 3:
Result: 21
With bonus: 110مع المدخلات square و 4 و 0:
Result: 16
With bonus: 104يوضح هذا التحدي كيف توفر std::function طريقة موحدة لتخزين أنواع مختلفة قابلة للاستدعاء (الدوال العادية، الدوال المرتبطة، و lambdas)، بينما تتيح لك std::bind تكييف الدوال الموجودة عن طريق تثبيت بعض وسائطها.
ورقة مرجعية
يوفر الترويسة <functional> كلاً من std::function و std::bind للتعامل مع الكائنات القابلة للاستدعاء (callable objects) بطريقة مرنة.
std::function هو غلاف ممسوح النوع (type-erased wrapper) يمكنه تخزين أي كائن قابل للاستدعاء يطابق توقيعاً (signature) معيناً:
#include <functional>
std::function<int(int, int)> operation;
operation = add; // دالة عادية
operation = [](int a, int b) { return a * b; }; // Lambdaيقوم std::bind بإنشاء كائن جديد قابل للاستدعاء عن طريق تثبيت بعض وسائط (arguments) دالة موجودة. استخدم std::placeholders::_1، و _2، وما إلى ذلك للوسائط المتغيرة:
#include <functional>
void greet(const std::string& greeting, const std::string& name) {
std::cout << greeting << ", " << name << "!\n";
}
using namespace std::placeholders;
auto sayHello = std::bind(greet, "Hello", _1); // تثبيت الوسيط الأول
sayHello("Alice"); // Hello, Alice!
auto swapped = std::bind(greet, _2, _1); // إعادة ترتيب الوسائط
swapped("Bob", "Hi"); // Hi, Bob!هذه الأدوات مفيدة لتخزين الاستدعاءات الراجعة (callbacks) كأعضاء في الفئات (class members) أو لتنفيذ أنظمة استدعاء راجع مرنة. غالباً ما تفضل لغة C++ الحديثة استخدام lambdas بدلاً من std::bind لتحسين قابلية القراءة.
جرّب بنفسك
#include <iostream>
#include <string>
#include <functional>
#include "Calculator.h"
using namespace std;
int main() {
// قراءة المدخلات
string operation;
int num1, num2;
cin >> operation >> num1 >> num2;
// إنشاء مثيل من Calculator
Calculator calc;
// TODO: تهيئة الآلة الحاسبة بناءً على اسم العملية
// بالنسبة لـ "add" و "subtract" و "multiply": قم بتعيين الدالة المقابلة مباشرة
// بالنسبة لـ "square": استخدم std::bind لإنشاء نسخة متخصصة من power
// التي تستخدم دائماً الأس 2 والمضاعف 1
// تلميح: استخدم std::placeholders::_1 لمعامل الأساس
if (operation == "add") {
// اكتب الكود الخاص بك هنا
} else if (operation == "subtract") {
// اكتب الكود الخاص بك هنا
} else if (operation == "multiply") {
// اكتب الكود الخاص بك هنا
} else if (operation == "square") {
// اكتب الكود الخاص بك هنا - استخدم std::bind مع دالة power
}
// TODO: استدعِ calculate() واطبع النتيجة
// التنسيق: "Result: [value]"
// TODO: توضيح تبديل العمليات
// قم بتعيين lambda تعيد a + b + 100 إلى الآلة الحاسبة
// استدعِ calculate() مرة أخرى واطبع النتيجة
// التنسيق: "With bonus: [value]"
return 0;
}
يتضمن هذا الدرس اختبارًا قصيرًا. ابدأ الدرس للإجابة عليه وتتبّع تقدمك.
جميع دروس Object Oriented Programming
1أساسيات الـ OOP
الملفات الخارجيةبناء وتجميع (Compilation) لغة C++ملفات الـ Header وملفات الـ Sourceالـ Namespaces والـ Scopeمقدمة في الـ OOP في C++الـ Classes مقابل الـ Objectsالمؤشر 'this'الـ Methods (الدوال الأعضاء)الـ Attributes (بيانات الأعضاء)أساسيات الـ Ctors والـ Dtorsمراجعة - آلة حاسبة بسيطة4خصائص الـ Class
أعضاء الـ Instance مقابل الـ Staticدوال الـ Getters والـ Settersدوال الأعضاء الثابتة (Const)الكلمة المفتاحية Mutableالدوال والمتغيرات الساكنة (Static)الدوال والفئات الصديقة (Friend)مراجعة - مدير الحساب البنكي7الوراثة
الوراثة الأساسيةمستويات الوصول في الوراثةترتيب استدعاء الـ Ctor والـ Dtorإعادة تعريف الدوال (Method Overriding)الدوال الافتراضية والـ VTableالوراثة المتعددةالوراثة الافتراضيةمراجعة - هيكلية الموظفين10نظرة عامة على STL
نظرة عامة وفلسفة STLحاويات STLالـ Iteratorsخوارزميات STLالـ Functors وتعبيرات Lambdaمراجعة - تكرار الكلمات13أنماط التصميم - الجزء الأول
مقدمة في أنماط التصميمنمط Singletonنمط Factory و Abstract Factoryنمط Builderنمط Observerنمط Strategy2إدارة الذاكرة
ذاكرة Stack مقابل Heapالمؤشرات والمراجعالذاكرة الديناميكية (new/delete)المؤشرات الذكية في C++RAII في C++مراجعة - مدير المصفوفات الديناميكية5التغليف (Encapsulation)
محددات الوصول في C++محددات الوصول بشكل متعمقإخفاء المعلوماتStruct مقابل Classالأصناف المتداخلة والداخليةمراجعة - نظام سجلات الطلاب8تعدد الأشكال (Polymorphism)
تعدد الأشكال: وقت التجميع مقابل وقت التشغيلالتحميل الزائد للدوال (Function Overloading)مراجعة الدوال الافتراضية (Virtual Functions)الدوال الافتراضية البحتة (Pure Virtual Functions)الأصناف المجردة (Abstract Classes)تصميم الواجهات (Interface) في C++التحويل الديناميكي (Dynamic Casting) و RTTIملخص - حاسبة الأشكال11مفاهيم OOP المتقدمة
التركيب مقابل الوراثةالـ Mixins عبر CRTPنمط Pimplمحو النوع (Type Erasure)أصناف Enum والأنواع القويةمعالجة الاستثناءات في OOPتسلسلات الاستثناءات المخصصة14أنماط التصميم - الجزء الثاني
نمط الأمرنمط المحولنمط المزيننمط قالب الطريقةنمط الحالةنمط التركيبRAII كنمط3المنشئات والموادم
المنشئ الافتراضيالمنشئ ذو المعاملاتمنشئ النسخمنشئ النقلقوائم تهيئة المنشئالمنشئات المفوضةتعمق في الموادمقاعدة الثلاثة / الخمسة / الصفرمراجعة - فئة String6تحميل العوامل (Operator Overloading)
مقدمة في تحميل العواملتحميل العوامل الحسابيةتحميل عوامل المقارنةعوامل Streamتحميل عامل التعيينتحميل العوامل [] و ()عوامل تحويل النوعمراجعة - Matrix Class9القوالب
قوالب الدوالقوالب الأصنافتخصيص القوالبالقوالب المتغيرةأساسيات SFINAE و Type Traitsمراجعة - الحاويات العامة12ميزات C++ الحديثة
دلالات النقل و Rvaluesالتمرير المثاليتعبيرات Lambda بعمقstd::function و std::bindconstexpr و constevalالارتباطات المهيكلةoptional و variant و any