قوالب الدوال

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

تخيل كتابة دالة للعثور على القيمة العظمى لعددين صحيحين، ثم تدرك أنك بحاجة إلى نفس المنطق لأنواع doubles، ومرة أخرى للسلاسل النصية (strings). بدون القوالب (templates)، ستضطر لكتابة دوال متطابقة تقريبًا لكل نوع. تحل قوالب الدوال (Function templates) هذه المشكلة من خلال السماح لك بكتابة المنطق مرة واحدة وجعل المترجم (compiler) يقوم بإنشاء إصدارات مخصصة لكل نوع تلقائيًا.

يستخدم قالب الدالة الكلمة المفتاحية template متبوعة بمعلمات القالب داخل أقواس زاوية:

template <typename T>
T maximum(T a, T b) {
    return (a > b) ? a : b;
}

int main() {
    std::cout << maximum(5, 3) << std::endl;       // يستخدم نسخة int
    std::cout << maximum(3.14, 2.71) << std::endl; // يستخدم نسخة double
    std::cout << maximum('a', 'z') << std::endl;   // يستخدم نسخة char
}

يقوم المترجم (compiler) بفحص كل استدعاء وإنشاء دالة ملموسة لهذا النوع المحدد. تسمى هذه العملية بتمثيل القالب (template instantiation). يمكنك أيضاً تحديد النوع بشكل صريح عند الحاجة:

std::cout << maximum<double>(5, 3.14) << std::endl;  // يفرض نسخة double

يمكن للقوالب أن تحتوي على معلمات أنواع متعددة، مما يتيح تصميمات أكثر مرونة:

template <typename T, typename U>
void printPair(T first, U second) {
    std::cout << first << ", " << second << std::endl;
}

printPair(42, "hello");    // T=int, U=const char*
printPair(3.14, 100);      // T=double, U=int

توفر قوالب الدوال (Function templates) تعدد الأشكال في وقت التصريف (compile-time polymorphism) - حيث يتم تحديد النوع عند تصريف الكود، وليس في وقت التشغيل. وهذا يعني عدم وجود أي عبء إضافي في وقت التشغيل مقارنة بالدوال الافتراضية (virtual functions)، مما يجعل القوالب مثالية للكود العام الحساس للأداء.

التحدي

سهل

لنقم ببناء مجموعة أدوات برمجية باستخدام قوالب الدوال (function templates) لإنشاء عمليات قابلة لإعادة الاستخدام تعمل مع أي نوع متوافق. ستقوم بتنظيم دوالك العامة في ملف رأس (header file) وتوضيح مرونتها في برنامجك الرئيسي.

ستقوم بإنشاء ملفين:

MathUtils.h: حدد مجموعة من قوالب الدوال التي تؤدي عمليات شائعة:
minimum — دالة قالب تأخذ قيمتين من نفس النوع وتعيد القيمة الأصغر بينهما.
clamp — دالة قالب تأخذ ثلاثة معاملات: قيمة، وحد أدنى، وحد أقصى. تعيد القيمة مقيدة ضمن الحدود (تعيد الحد الأدنى إذا كانت القيمة أقل منه، والحد الأقصى إذا كانت القيمة أكبر منه، وإلا تعيد القيمة نفسها).
swapValues — دالة قالب تأخذ مرجعين (references) من نفس النوع وتبادل قيمتيهما.
main.cpp: اقرأ ستة مدخلات (كل منها في سطر منفصل):
1. العدد الصحيح الأول
2. العدد الصحيح الثاني
3. قيمة double لتقييدها (clamp)
4. الحد الأدنى (double)
5. الحد الأقصى (double)
6. حرف (character)
قم باستعراض قوالبك من خلال:
1. إيجاد القيمة الصغرى للعددين الصحيحين وطباعة: Min of <a> and <b>: <result>
2. إيجاد القيمة الصغرى بين الحرف 'm' والحرف الذي تم إدخاله، وطباعة: Min of m and <char>: <result>
3. تقييد قيمة double وطباعة: Clamp <value> to [<low>, <high>]: <result>
4. تقييد العدد الصحيح الأول ضمن النطاق [0, 100] وطباعة: Clamp <value> to [0, 100]: <result>
5. تبديل العددين الصحيحين وطباعة: After swapValues: <a>, <b>

على سبيل المثال، مع المدخلات 25، 10، 3.7، 1.0، 5.0، و z:

Min of 25 and 10: 10
Min of m and z: m
Clamp 3.7 to [1, 5]: 3.7
Clamp 25 to [0, 100]: 25
After swapValues: 10, 25

لاحظ كيف تعمل كل دالة قالب بسلاسة مع الأعداد الصحيحة، والكسور العشرية (doubles)، والحروف — حيث يقوم المترجم بإنشاء النسخة المناسبة لكل نوع تستخدمه. يجب أن تقوم دالة swapValues بتعديل المتغيرات الأصلية من خلال المراجع، مما يوضح أن القوالب تعمل مع معاملات المراجع تماماً مثل الدوال العادية.

ورقة مرجعية

تسمح لك قوالب الدوال (Function templates) بكتابة دوال عامة تعمل مع أنواع متعددة. استخدم الكلمة المفتاحية template متبوعة بمعاملات القالب:

template <typename T>
T maximum(T a, T b) {
    return (a > b) ? a : b;
}

يقوم المترجم تلقائيًا بإنشاء إصدارات خاصة بالأنواع من خلال استنساخ القالب (template instantiation):

maximum(5, 3);        // ينشئ إصدار int
maximum(3.14, 2.71);  // ينشئ إصدار double
maximum('a', 'z');    // ينشئ إصدار char

يمكنك تحديد النوع صراحة عند الحاجة:

maximum<double>(5, 3.14);  // يفرض إصدار double

تدعم القوالب معاملات أنواع متعددة:

template <typename T, typename U>
void printPair(T first, U second) {
    std::cout << first << ", " << second << std::endl;
}

printPair(42, "hello");  // T=int, U=const char*

تعمل القوالب مع معاملات المراجع (reference parameters) لتعديل القيم الأصلية:

template <typename T>
void swapValues(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

توفر قوالب الدوال تعدد أشكال في وقت الترجمة (compile-time polymorphism) بدون أي عبء إضافي في وقت التشغيل، مما يجعلها مثالية للأكواد العامة التي تتطلب أداءً عاليًا.

جرّب بنفسك

#include <iostream>
#include "MathUtils.h"
using namespace std;

int main() {
    // قراءة المدخلات
    int a, b;
    double value, low, high;
    char ch;
    
    cin >> a;
    cin >> b;
    cin >> value;
    cin >> low;
    cin >> high;
    cin >> ch;
    
    // TODO: استخدم قالب minimum لإيجاد القيمة الصغرى لعددين صحيحين
    // طباعة: "Min of <a> and <b>: <result>"
    
    // TODO: استخدم قالب minimum لإيجاد القيمة الصغرى لـ 'm' والحرف المدخل
    // طباعة: "Min of m and <char>: <result>"
    
    // TODO: استخدم قالب clamp على قيمة double
    // طباعة: "Clamp <value> to [<low>, <high>]: <result>"
    
    // TODO: استخدم قالب clamp على العدد الصحيح الأول مع النطاق [0, 100]
    // طباعة: "Clamp <value> to [0, 100]: <result>"
    
    // TODO: استخدم قالب swapValues على العددين الصحيحين
    // طباعة: "After swapValues: <a>, <b>"
    
    return 0;
}