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) يمكنه الاحتفاظ بأي كائن قابل للاستدعاء يطابق توقيعاً معيناً - الدوال، أو تعبيرات لامدا، أو كائنات الدوال:
#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 بشكل أساسي عندما تحتاج إلى إعادة ترتيب الوسائط (arguments) أو العمل مع الأكواد القديمة (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لتخزين العمليات وتنفيذها ديناميكيًا.يجب أن تحتوي الآلة الحاسبة الخاصة بك على:
- عضو خاص (private member) من نوع
std::function<int(int, int)>لتخزين العملية الثنائية الحالية setOperation(std::function<int(int, int)> op)— لتعيين العملية الحاليةcalculate(int a, int b)— لتنفيذ العملية المخزنة وإرجاع النتيجة
قم بتضمين الترويسات اللازمة (
<functional>) وتأكد من تضمين ترويسة MathOperations الخاصة بك.- عضو خاص (private member) من نوع
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 تكييف الدوال الموجودة عن طريق تثبيت بعض وسائطها.
جرّب بنفسك
#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